Метод контрприкладу
Перевірка на тавтологію контрприкладом
Як вводити формули
| Операція | Як вводити |
|---|---|
| заперечення | ¬p ~p !p -p not p |
| кон'юнкція | p ∧ q p & q p * q p ^ q p and q |
| диз'юнкція | p ∨ q p | q p + q p or q |
| сума за модулем 2 | p ⊕ q p xor q |
| імплікація | p → q p -> q p => q |
| еквіваленція | p ↔ q p <-> q p <=> q p ~ q p = q |
| константи | 0 1 |
Пріоритет від сильнішого до слабшого: ¬, ∧, ∨, →, ⊕, ↔.
Наприклад, p → q ⊕ r читається як (p → q) ⊕ r, а p ∧ q ∨ r як (p ∧ q) ∨ r.
Імплікація правоасоціативна: p → q → r = p → (q → r). Дужки працюють як завжди.