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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Ø О «А

Ø Е «I

Ø I «Е

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

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

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

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

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

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

Тема 5. Основы теории умозаключения

Дата добавления: 2015-07-20