Законы логики (свойства логических операций)Следующие формулы являются законами логики. 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. Для доказательства любого из приведенных выше законов можно использовать следующие способы: 1. Построить таблицы истинности для левых и правых частей эквивалентности и убедиться, что получены одинаковые значения для всех значений атомов. 2. Построить значение всей формулы и убедится, что формула является тавтологией. Пример. Докажем закон отрицания конъюнкции ( 1. Найдем значения для
2. Найдем значение
|
- закон двойного отрицания.
- закон коммутативности конъюнкции.
- закон коммутативности дизъюнкции.
- закон ассоциативности конъюнкции.
- закон ассоциативности дизъюнкции.
- закон дистрибутивности конъюнкции относительно дизъюнкции.
- закон дистрибутивности дизъюнкции относительно конъюнкции.
- закон отрицания дизъюнкции.
- закон отрицания конъюнкции.
- закон отрицания импликации.
- закон выражения эквивалентности через конъюнкцию и импликацию.
- закон контрапозиции.
- закон силлогизма.
и 
и сравним их.
