Jde o diagram ukazující základní logické zákony. Jeho původ se vidí v Aristotelově díle De interpretatione (4. stol. př.
Kr.), sám diagram jako ilustrace se objevuje ve 2. stol. u Boethia. V lingvistice se využívá při zkoumání negace, kvantifikátorů / determinátorů, a rovněž v teorii implikatur.