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

Материал из Мегапедии
Перейти к: навигация, поиск
Строка 7: Строка 7:
 
=== Дополнительные законы: ===
 
=== Дополнительные законы: ===
 
[[файл:ЛЗ03.JPG]]
 
[[файл:ЛЗ03.JPG]]
 +
[[файл:ЛЗ03.png]]
 
=== Эквиваленции: ===
 
=== Эквиваленции: ===
 
[[файл:ЛЗ04.JPG]]
 
[[файл:ЛЗ04.JPG]]

Версия 19:15, 28 января 2023

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

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

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

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

Аксиомы:

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

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

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

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

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
  • Логический закон является тождественно-истинным предикатом, определённым на множестве {0,1}.

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

Ссылки