Reply
Mon 17 Jun, 2013 07:06 pm
I am a beginner taking intro to logic at my university and I am someone confused about this problem. It is:
1. A⊃ (A•B)
2. C⊃A
Prove that [C⊃(A•B)] • (C⊃A) follows, or is the valid conclusion using the 8 argument forms. The eight forms obviously being MP, MT, DS, HS, Conj, SIMP, ADD and CD.
Can someone please explain this to me?