Отношения между простыми суждениями обычно рассматриваются с помощью мнемонической схемы, называемой логическим квадратом. Его вершины символизируют простые категорические суждения — А, Е, I, О; стороны и диагонали — отношения между суждениями. Верхняя сторона А-Е – противоположность; нижняя сторона I-O – частичная совместимость; две вертикальные стороны А-I (левая), Е-О (правая) – подчинение; диагонали – противоречие. Истинность с помощью квадрата определяется следующим образом: 1. Суждения типа А-Е не могут быть одновременно истинными, но могут быть одновременно ложными. Если одно из них истинно, то второе – неопределенно. 2. Из двух суждений типа I-O оба не могут быть одновременно ложными, но могут быть одновременно истинными. Если одно из них ложно, то второе неопределенно. Если одно истинно, то и второе истинно. 3. Из двух суждений попарно A-O и E-I если одно истинно, то второе ложно и наоборот. 4. Из двух суждений попарно – A-I и E-O если общее является истинным, то и частное истинно. Если частное ложно, то и общее ложно.