Professional Documents
Culture Documents
Consequent I A Mirabilis
Consequent I A Mirabilis
(consequentia mirabilis)
Consider the proposition (¬φ→φ)→φ!
“I exist”
[¬φ→φ]1 [¬φ]2
——————————— →E
φ [¬φ]2
—————— →E
!
! ⊥
The derivation of (¬φ→φ)→φ
——— RAA2 crucially rests upon RAA!
φ
—————— →I1
(¬φ→φ)→φ