Логический закон — различия между версиями
Материал из ALL
м |
|||
(не показано 7 промежуточных версий этого же участника) | |||
Строка 1: | Строка 1: | ||
'''Логический закон''' — это формула из логических выражений в виде равенства, принимающая только истинное значение при любых значениях переменных. | '''Логический закон''' — это формула из логических выражений в виде равенства, принимающая только истинное значение при любых значениях переменных. | ||
− | |||
== Виды логических законов: == | == Виды логических законов: == | ||
=== Основные законы: === | === Основные законы: === | ||
− | [[файл:ЛЗ01. | + | [[файл:ЛЗ01.png]] |
− | + | ||
=== Аксиомы: === | === Аксиомы: === | ||
− | [[файл:ЛЗ02. | + | [[файл:ЛЗ02.png]] |
− | + | ||
=== Дополнительные законы: === | === Дополнительные законы: === | ||
− | [[файл:ЛЗ03. | + | [[файл:ЛЗ03.png]] |
− | + | ||
=== Эквиваленции: === | === Эквиваленции: === | ||
− | [[файл:ЛЗ04. | + | [[файл:ЛЗ04.png]] |
− | + | *Логический закон является тождественно-истинным [[предикат]]ом, определённым на множестве '''{0,1}'''. | |
− | * Логический закон является тождественно-истинным [[предикат]]ом, определённым на множестве '''{0,1}'''. | + | == [[Логические понятия|Другие понятия:]] == |
− | + | {{Список ЛПон}} | |
− | == Другие понятия: == | + | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
== Ссылки == | == Ссылки == | ||
− | * [[Участник:Logic-samara]] | + | *[[Участник:Logic-samara]] |
− | [[Категория:Дискретная математика]][[Категория:Логика]] | + | [[Категория:Математика]][[Категория:Дискретная математика]][[Категория:Логика]] |
Текущая версия на 05:27, 13 января 2024
Логический закон — это формула из логических выражений в виде равенства, принимающая только истинное значение при любых значениях переменных.
Содержание
Виды логических законов:
Основные законы:
Аксиомы:
Дополнительные законы:
Эквиваленции:
- Логический закон является тождественно-истинным предикатом, определённым на множестве {0,1}.
Другие понятия:
- Логический закон;
- Логические функции:
- отрицание;
- дизъюнкция;
- конъюнкция;
- разделительная дизъюнкция;
- импликация;
- обратная импликация;
- эквиваленция;
- стрелка Пирса;
- штрих Шеффера;
- полином Жегалкина;
- Нормальные формы:
- совершенная дизъюнктивная нормальная форма;
- совершенная конъюнктивная нормальная форма;
- минимальная дизъюнктивная нормальная форма;
- минимальная конъюнктивная нормальная форма;
- алгебраическая нормальная форма;