| Ex Falso Quodlibet: A & ¬A |- B | |||
| 1 2 1,2 1,2 1 1 | (1) | A & ¬A ¬B (A & ¬A) & ¬B A & ¬A ¬¬B B | Assumption Assumption (for Reductio) 1,2 &Introduction 3 &Elimination 2,4 Reductio ad Absurdum 5 Double Negation Elimination |
Iscriviti a:
Commenti sul post (Atom)
2 commenti:
Ovvero?
Da una contraddizione (A & non A) si può derivare qualsiasi tesi
Posta un commento