Friday 8 January 2021

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

 

1.     (x)(Rax ⊃ ~ Rxc)

2.     (x)Rxx

∴ c ≠ a

3.     c = a

4.     Raa

5.     Raa ⊃ ~ Rac

6.     ~ Rac

7.     ~ Raa

8.     Raa • ~ Raa

9.     c ≠ a

 

 

 

AIP

2 UI

1 UI

4,5 MP

3,6 Id

4,7 Conj

3-8 IP

Posted by at
Labels:

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)