Основные законы логики высказываний
Логика высказываний является простейшей логикой, максимально близкой к человеческой логике неформальных рассуждений. Законы де Моргана: Закон контрапозиции: Законы поглощения: Законы дистрибутивности: Доказать законы логики можно: 1) с помощью таблиц истинности; 2) с помощью равносильностей. 5) Тождественная истинность и тождественная ложность формул. Тождественно истинные формулы (тавтологии). Формула является тождественно истинной, если она истинна при любых значениях входящих в неё переменных. Например Законы де Моргана: Тождественно-ложные формулы являются ложными при всех наборах истинностных значений входящих в них переменных, представляют собой отрицание тождественно-истинных формул и являются нарушением логических законов.
|
