Закон конъюнкции

а	в	а Ù в
и	и	и
и	л	л
л	и	л
л	л	л

Конъюнкция истинна тогда и только тогда, когда все составляющие её простые суждения истинны.

Закон слабой дизъюнкции

а в а Ú в

и и и

и л и

л и и

л л л

Слабая дизъюнкция истинна тогда, когда по крайней мере одна из альтернатив истинна.

Закон строгой дизъюнкции

а	в	а Ú* в
и	и	л
и	л	и
л	и	и
л	л	л

Строгая дизъюнкция истинна тогда, когда одна альтернатива истинна, а другая ложна.

Закон импликации

а	В	а ® в
и	и	и
и	л	л
л	и	и
л	л	и

Импликация истинна во все случаях кроме одного, когда основание истинно, а следствие ложно.

Закон эквиваленции

а	в	а º в
и	и	и
и	л	л
л	и	л
л	л	и

Эквиваленция истинна тогда, когда основание и следствие одновременно истинны или ложны.

Схема 21. Отрицание суждений

Отрицание суждения - это логическая операция, в результате которой получается суждение, находящееся в отношении противоречия к исходному суждению.

Закон двойного отрицания: Ø Ø а «а

Отрицание простых суждений:

Ø А «О

Ø О «А

Ø Е «I

Ø I «Е

Отрицание сложных суждений:

Законы де Моргана: 1) Ø (а Ù в) «(Ø а Ú Ø в)

2) Ø (а Ú в) «(Ø а Ù Ø в)

Законы отрицания импликации:

1) Ø (а ® в) «(а Ù Ø в)

2) Ø (а ® в) «Ø (Ø а Ú в)

Закон контрапозиции: (а ® в) «(Ø в ® Ø а)

Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями: