Логический закон — различия между версиями

Версия 10:30, 17 ноября 2015

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

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

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

Аксиомы:

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

Эквиваленции:

• Логический закон - это тождественно-истинный предикат, определённый на множестве {0,1}.

Ссылки

• Участник:Logic-samara

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

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

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

Аксиомы:

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

Эквиваленции:

• Логический закон является тождественно-истинным предикатом, определённым на множестве {0,1}.

Другие понятия:

• логическая функция;
• предикат;
• таблица истинности;
• карта Карно;
• трёхмерная карта Карно.

Ссылки

• Участник:Logic-samara