Логический закон

Материал из ALL
Версия от 15:05, 15 ноября 2015; Ws (обсуждение | вклад) (Восстановление статей Logic-samara)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

Логический закон — это формула из логических выражений в виде равенства, принимающая только истинное значение при любых значениях переменных.

Виды логических законов:

Основные законы:

ЛЗ01.JPG

Аксиомы:

ЛЗ02.JPG

Дополнительные законы:

ЛЗ03.JPG

Свойства:

ЛЗ04.JPG

Ссылки