Friday, 25 December 2020

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

 

1.     (x)[Rx ⊃ (Hx • x = m)]

∴ Rc ⊃ Hm

2.     Rc

3.     Rc ⊃ (Hc • c = m)

4.     Hc • c = m

5.     Hc

6.     c = m • Hc

7.     c = m

8.     Hm

9.     Rc ⊃ Hm

 

 

ACP

1 UI

2,3 MP

4 Simp

4 Com

6 Simp

5,7 Id

2-8 CP

No comments:

Post a Comment