Wednesday, August 19, 2015

Propositional Calculus Proofs (2)

Th3) ⊢ P ⇒ P
1.) ⊢ P ⇒ [ (P ⇒ P) ⇒ P ]                                                                        Lk1
2.) ⊢ [ P ⇒ (P ⇒ P) ] ⇒ (P ⇒ P)                                                             Th2
3.) ⊢  P ⇒ (P ⇒ P)                                                                                    Lk1
4.) ⊢ P ⇒ P                                                                                                MP 2,3
Posted by at

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)