Логіка висловлювань і доведення
- Рядки таблиці істинності
- 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.
- Щоб заперечити твердження з квантором, перенесіть ¬ досередини, поміняйте ∀ і ∃ та заперечте внутрішню формулу.