Two methods:
1. (x)(x = c ⊃ Nc)
∴ Nc
2. c = c ⊃ Nc
3. c = c
4. Nc
1 UI
Id
2,3 MP
2. ~ Nc
3. c = c ⊃ Nc
4. c ≠ c
5. ~ ~ Nc
6. Nc
AIP
2,3 MT
2-4 IP
5 DN
No comments:
Post a Comment