| Какво трябва да знаем:
Логически операции |
Елементи на ...
Съдържание на висша математика I част |
|
"Modus ponens" - доказване чрез доказаното. Ако твърдението a е вярно и е вярно, че от a следва b, то твърдението b е вярно. ( a ∧ (a → b) ) → b |
|
"Modus tollens" - доказателство, което отрича чрез отрицание. Ако от предпоставка следва следствие и следствието е невярно, то и предпоставката е невярна. ( (a → b) ∧ ( ¬ b ) ) → (¬ a) |
|
Закон за изключеното трето. За всяко твърдение е вярно, че то е вярно или е вярно неговото отрицание. ( a ∧ (¬ a)) ↔ 1 |
|
Modus tollendo ponens - доказване чрез отрицание. Ако е вярна дизюнкцията на две твърдения и едното е невярно, то другото е вярно. ( (a ∨ b) ∧ (¬ a) ) → b |