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