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

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

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

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

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

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

Аксиомы:

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

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

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

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

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

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

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

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

• логический закон;
• логическая функция:

1. совершенная дизъюнктивная нормальная форма;
2. совершенная конъюнктивная нормальная форма;
3. минимальная дизъюнктивная нормальная форма;
4. минимальная конъюнктивная нормальная форма;
5. алгебраическая нормальная форма;

• таблица истинности;
• карта Карно;
• трёхмерная карта Карно;
• полином Жегалкина;
• предикат;
• секвенции;
• суждение;
• умозаключения:

1. превращения;
2. обращения;
3. противопоставления предикату;
4. противопоставления субъекту;
5. чисто условные;
6. силогизмы;
7. условно-категорические;
8. разделительно-категорические;
9. эквивалентно-категорические.

Ссылки

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