Relațiile dintre judecățile simple comparabile sunt reprezentate schematic cu ajutorul unui pătrat logic, dezvoltat de logicii medievali.
Vitezele unui pătrat denotă patru tipuri de judecăți simple, iar laturile și diagonalele sunt relațiile dintre ele. Astfel, judecățile formelor A și I, precum și hotărârile formulei E și ale formulei O se află în relația subordonării. Hotărârile din formularul A și formularul E sunt contrare, iar judecățile formelor I și O sunt coincidențe parțiale. Hotărârile din formularul A și formularul O, precum și hotărârile formularelor E și I, sunt în contradicție. Nu este surprinzător faptul că un pătrat logic nu reprezintă o relație de echivalență, deoarece în acest sens există aceleași judecăți de același fel; echivalență - este raportul dintre propozițiile A și A, I, I, E, E, G și O. Pentru a stabili o relație între cele două hotărâri este suficient pentru a determina ce specii aparține fiecare dintre ele. De exemplu, trebuie să aflăm în ce măsură judecățile sunt: Toți oamenii au studiat logica și Unii oameni nu au studiat logica. Văzând că prima propoziție este universală afirmativă (A) și a doua chastnootritsatelnym (O), putem stabili cu ușurință relația dintre ele folosind pătrat logică - o contradicție. De asemenea judecăți: logica logica · Toti oamenii au studiat (A) Unii oameni au studiat (I) sunt în relația de subordonare și judecata: Toți oamenii au studiat logica (A) și toți oamenii care nu au studiat logica (E) sunt în ceea ce privește opoziția.
Așa cum am menționat deja, o proprietate importantă a judecăților (spre deosebire de concepte este că ele pot fi adevărate sau false). În ceea ce privește judecățile comparabile, valorile adevărului fiecăruia sunt într-un anumit mod legate de valorile adevărului celorlalți.
Toate cazurile de relații între valorile de adevăr ale unor judecăți simple comparabile sunt după cum urmează:
1. Dacă o propoziție a formulei A este adevărată, atunci propoziția formei I este de asemenea adevărată, iar judecățile formelor E și O sunt false.
2. În cazul în care hotărârea de forma A este falsă, atunci judecata de tip I de valabilitate este incert (adică, poate fi fie adevărat sau fals, în funcție de ceea ce va intra în ea), hotărârea de forma E este, de asemenea, incert în adevăr, și o propoziție a formei O este adevărată. (Mai mult, vom folosi abrevieri, de exemplu, în loc de expresia "judecata formei A" vom spune "A" și în loc de "este adevărat" # 8209; pur și simplu "adevărat").
3. Dacă E este adevărat, atunci A este fals, eu sunt fals, O este adevărat.
4. Dacă E este falsă, atunci A este vagă în adevăr, eu sunt adevărat, O este vagă în adevăr.
5. Dacă eu sunt adevărat, atunci A este vag în adevăr, E este fals, O este vag în adevăr.
6. Dacă eu sunt fals, atunci A este fals, E este adevărat, O este adevărat.
7. Dacă O este adevărat, atunci A este fals, E este vag în adevăr, eu sunt vag în adevăr.
8. Dacă O este falsă, atunci A este adevărat, E este falsă, eu sunt adevărat.
Folosind regulile de mai sus, putem trage concluzii cu privire la adevărul judecăților simple comparabile folosind un pătrat logic (sau, după cum se spune deseori în logică, # 8209; prin pătrat logic).