Thursday 12 November 2020

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

 Two methods:

1.     (x)(x = c ⊃ Nc)

∴ Nc

2.     c = c ⊃ Nc

3.     c = c

4.     Nc

 

 

1 UI

Id

2,3 MP

 

 

1.     (x)(x = c ⊃ Nc)

∴ Nc

2.     ~ Nc

3.     c = c ⊃ Nc

4.     c ≠ c

5.     ~ ~ Nc

6.     Nc

 

 

AIP

1 UI

2,3 MT

2-4 IP

5 DN

Posted by at
Labels:

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)