Некоторые виды логических отношений между простыми суждениями:

• Равнозначность. 1 Возникает между суждениями, имеющими совпадающие субъекты, предикаты, связки и кванторы. 1 Например: «Лев Николаевич Толстой является русским писателем» и «Автор романа „Война и мир“ является русским писателем». 1
• Подчинение. 13 Возникает между суждениями, имеющими совпадающие предикаты и связки, причём субъекты их находятся в отношении вида и рода. 1 Например: «Все млекопитающие являются животными» и «Все тигры являются животными» (тигры — это некоторые млекопитающие). 1
• Субконтрарность (частичное совпадение). 1 Возникает между суждениями, имеющими совпадающие субъекты и предикаты и разные связки. 1 Например: «Некоторые фрукты являются несъедобными» и «Некоторые фрукты являются съедобными». 1 Этим отношением могут связываться только частные суждения — частноотрицательные (O) и частноутвердительные (I). 1
• Контрарность (противоположность). 13 Этот тип отношений складывается между двумя суждениями, имеющими одинаковые субъекты и предикаты и различные связки. 1 Например: «Все пакеты сделаны из полиэтилена» и «Ни один пакет не сделан из полиэтилена» находятся в отношении контрарности. 1
• Контрадикторность (противоречие). 1 Этот тип отношений складывается между суждениями, имеющими совпадающие предикаты и различные связки, причём субъекты находятся в отношении вида и рода (подчинения) — отличаются по объёму. 1