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
No comments:
Post a Comment