Observe agora a comprovação da implicação lógica de MP - Modus Ponens:
|
p → q p ______ q |
1º) Juntam-se as premissas por meio da conjunção (p → q) ∧ p.
2º) Verifica-se a implicação de (p → q) ∧ p ⇒ q.
Ou seja:
| p | q | p → q | (p → q) ∧ p | ((p → q) ∧ p) → (q) | |
| Linha 1. | V | V | V | V | V |
| Linha 2. | V | F | F | F | V |
| Linha 3. | F | V | V | F | V |
| Linha 4. | F | F | V | F | V |
Tautologia da condicional está comprovada! Logo, a implicação lógica também.