Сравнение простых суждений и установление их истинности с помощью логического квадрата.
Квадрат логический (квадрат противоположностей) был предложен Михаилом Пселлом (11 в.). Служит в качестве мнемонического приема для запоминания отношений между четырьмя основными видами суждений аристотелевской логики. Имеет вид диаграммы, на которой наглядно показаны эти отношения. Буквы А, E, I, О символизируют соответственно общеутвердительное, общеотрицательное, частноутвердительное и частноотрицательное суждения.
Отношение подчинения характеризуется тем, что истинность подчиняющего суждения (А или Е) обусловливает истинность соответствующего подчиненного суждения (I или О), а ложность подчиненного суждения обусловливает ложность подчиняющего суждения; отношение подпротивности (субконтрарности) характеризуется тем, что ложность одного из подпротивных суждений обусловливает истинность другого.