Quadrato logico
Tutti i greci sono belli
universale affermativa
Nessun greco è bello
universale negativa
se A è vera D è falsa
A
B
Qualche greco non è bello
particolare negativa
D
click to edit
contrarie
click to edit
contraddittorie
Qualche greco è bello
particolare affermativa
C
La relazione di contraddittorietà è più forte di quella di contrarietà, perché la verità di una proposizione categorica implica la falsità della sua contraddittoria, mentre la verità di una proposizione può coesistere con la falsità del suo contrario
se tutti i greci sono belli (A) è vera, la contraddittoria che qualche greco non è bello (D) è necessariamente falsa, ma se tutti i greci sono belli (A) è falsa, anche nessun greco è bello (B) può essere falsa perché c'è qualche greco bello (C)