Ex Falso Quodlibet: A & ¬A |- B
       
1
2
1,2
1,2
1
1

(1)
(2)
(3)
(4)
(5)
(6)

 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
       

 


Visitors: 16513