Логічний КВАДРАТ (квадрат протилежностей) - ді-аграмма, що служить для мнемонічного запам'ятовування Незнач-яких логічних співвідношень між Общеутвердітельное (A), Общеотріцательное (Е), Частноутвердітельное (I) і частноотріцательное судженнями (О). Логічний квадрат поки-зан на малюнку. Ухвалені закони суперечать, контрадікторние судження (А і О; Е і I) не можуть бути одночасно істинними і помилковими: якщо одне з них істинно, то інше брехливо. Так, якщо судження "Всі метали є електропровідними" (A) істинно, то судження "Деякі метали не є електропровідними" помилково. Якщо судження "Деякі метали не є твер-дими" (О) істинно, то судження "Всі метали є твер-дими" (А) помилково. Неприємні судження (A і Е), на відміну від суперечать, можуть обидва виявитися помилковими, але не можуть бути обидва істинними. Так, судження "Усі студенти є шахістами" (A) і "Жоден студент не є шахістом" (Е) обидва хибні. При ис-тінності ж одного з них друге є помилковим. Так, якщо судження "Всі кенгуру є ссавцями" (A) істин-но, то судження "Жоден кенгуру не є ссавцем" (Е) помилково. Подпротівние судження (I і О) не можуть бути одно-тимчасово помилковими. Так, якщо судження "Деякі метали не є електропровідними" (О) помилково, то судження "Деякі метали є електропровідними" (I) (т. Е. "Спричи-обхідних метали, які електропровідні") є істин-ним. Подпротівние судження можуть виявитися і обидва істинними. Такі судження "Деякі метали є твердими" (O)
і "Деякі метали не є твердими" (О). Судження, що знаходяться в відно-шении підпорядкування (A. I і Е, О), від-личать, напр. тим важливим свій-ством, що при істинності загальних суджень відповідні їм годину-тні також є істинними. Так, істинність судження "Всі гази є стисливими" (A) тягне істинність підлеглого йому судження (I) "Деякі гази є стисливими".