Sunday, 3 January 2021

A Concise Introduction to Logic, Patrick J. Hurley, Wadsworth, 2006, 9th ed,. 8.7, II, 14, p. 447

 

1.     (∃x)Gx ⊃ (∃x)(Kx • x =i)

∴ Gn ⊃ Ki

2.     Gn

3.     (∃x)Gx

4.     (∃x)(Kx • x =i)

5.     Kr • r = i

6.     Kr

7.     r = i • Kr

8.     r = i

9.     Ki

10. Gn ⊃ Ki

 

 

ACP

2 EG

1,3 MP

4 EI

5 Sim

5 Com

7 Sim

6,8 Id

2-9 CP

Posted by at
Labels:

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)