Закон непротиворечия

Ø(А &ØА)

Два противоречащих друг другу высказывания не могут быть одновременно истинными.

Закон исключенного третьего

А Ú ØА

Из двух противоречащих друг другу высказываний по крайней мере одно истинно.

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

ØØА É А

Двойное отрицание высказывания равнозначно его утверждению.

Закон утверждения консеквента

А É (В É А)

Заведомо истинное высказывание вытекает из чего угодно.

Закон отрицания антецедента (или Закон Дунса Скота)

ØА É (А É В)

Из заведомо ложного высказывания вытекает что угодно.

Законы Де Моргана

Ø(А & В) É ØАÚØВ

Отрицание конъюнкции равнозначно дизъюнкции двух отрицаний.

Ø(А Ú В) É ØА & ØВ

Отрицание дизъюнкции равнозначно конъюнкции двух отрицаний.

Закон контрапозиции

(A É В) É (ØВ É ØА)

Если из одного высказывания вытекает второе, то из отрицания второго вытекает отрицание первого.

Закон транзитивности импликации

((AÉВ) & (ВÉС)) É (АÉС)

Если из одного высказывания вытекает второе, а из него – третье, то и из первого высказывания вытекает третье.

Законы дистрибутивности Ú относительно & и наоборот.

А Ú (В & С) É (А Ú В) & (А Ú c)

А & (В Ú С) É (А & В) Ú (А & c)

Дата добавления: 2015-06-30; просмотров: 144; Нарушение авторских прав

Мы поможем в написании ваших работ!