Противопоставление предикату как преобразованию простого суждения

Состоит в том, что сначала суждение подвергается превращению, а потом обращению.

Н: все акулы являются рыбами / все акулы не являются не рыбами.

Превращение: все не рыбы не являются акулами.

Н: все учебники являются книгами, некоторые книги являются учебниками. Превращение: все учебники не являются не книгами, все не книги не являются учебниками.

Сложное суждение

Сложное суждение содержит в себе не одно, а несколько утверждении и отрицании и может рассматриваться как образованное из нескольких исходных суждении. От того каким образом, при помощи какого союза они связаны в рамках сложного суждения, зависят логические особенности последнего. Союзы называются пропозициональными. Основными структурными элементами сложного суждения являются исходные суждения, из которых оно образовано. Входящие в состав этих исходных суждении понятия не принимаются во внимание. В схемах сложных суждении используются переменные (p, q, r) каждая из которых представляет суждение как не членимое целое.

Виды сложных суждении.

1) конъюнкция (логический союз и).
Соединяя союзом и несколько предложении можно показать одновременность нескольких событии, их последовательность, результат какого-то действии и т.д. Два суждения связанные союзом и обычно хотят показать, что описываемые в каждом из них факты равным образом имеют место, т.е. что оба исходных суждения истинны.
Конъюнкция – такая связь исходных суждении, при которой они полагаются истинными.
Н: лето прошло, и оно было интересным.

Матрица конъюнкции

p	q	p или q
и	и	и
и	л	л
л	и	л
л	л	л

Из всех свойств союза «И», логика выбирает одно. Его способность быть показателем со истинности нескольких суждении.
Союзы конъюнкции: а, но, да, когда как, несмотря на то что, и другие.
Условием истинности n-членной конъюнкции является истинность каждого из её членов.

Дизъюнкция.

слабая дизъюнкция. Логическое или (p или q). Слабая дизъюнкция истинна в том случае, когда истина – одно из исходных суждении. Этот вид связи не исключает, хотя и не предполагает истинности суждении.
Н: у девочки талант от природы или она много занимается.

Матрица слабой дизъюнкции

p	q	p или q
и	и	и
и	и	и
и	л	и
л	и	и
л	л	л

сильная дизъюнкция. Логическое «либо/либо». Сильная дизъюнкция истинна тогда когда одно из исходных суждений истинно, а другое ложно. Сильная дизъюнкция в отличий от слабой исключает истинность исходных суждении.
Н: Иванов учится на 1-ом курсе либо Иванов учится на 2-ом курсе.