Логика высказываний и доказательства
- Строки таблицы истинности
- 2ⁿ
- Импликация
- p → q ≡ ¬p ∨ q ≡ ¬q → ¬p
- Отрицание импликации
- ¬(p → q) ≡ p ∧ ¬q
- Эквиваленция
- p ↔ q ≡ (p → q) ∧ (q → p)
- Законы де Моргана
- ¬(p ∧ q) ≡ ¬p ∨ ¬q, ¬(p ∨ q) ≡ ¬p ∧ ¬q
- Законы дистрибутивности
- p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r), p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
- Отрицание кванторов
- ¬∀x P(x) ≡ ∃x ¬P(x), ¬∃x P(x) ≡ ∀x ¬P(x)
- Modus ponens, modus tollens
- p → q, p ⊢ q; p → q, ¬q ⊢ ¬p
Метод
- Подсчитайте различные переменные: в таблице истинности 2ⁿ строк, и начинается она со строки, где все переменные равны 1.
- Отведите каждой подформуле отдельный столбец и заполняйте столбцы изнутри наружу.
- Применяйте правило каждой связки: → равно 0 только для 1 → 0, ↔ равно 1, когда обе части совпадают.
- Для эквивалентностей сравнивайте последние столбцы строка за строкой; для рассуждения смотрите только на строки, в которых все посылки равны 1.
- Чтобы отрицать высказывание с квантором, переносите ¬ внутрь, меняйте ∀ и ∃ местами и отрицайте внутреннюю формулу.