Question Home

Position:Home>Philosophy> Help me construct this proof!?


Question: Help me construct this proof!!?
This should take five lines, using the eight rules of implication and five rules of replacement

1!. (M v N) > (C & D)
2!. ~C / ~M
Www@QuestionHome@Com


Best Answer - Chosen by Asker:
1!. (M v N) > (C & D)
2!. ~C

3!. ~C v ~D !.!.!.!. 2 Addition (Disjunct Introduction)
4!. ~(C & D) !.!.!.!. 3 DeMorgans Rule
5!. ~(M v N) !.!.!.!. 1,4 Modus Tollens (Denying the Consequence)
6!. ~M & ~N !.!.!.!.!. 5 DeMorgans Rule
7!. ~M !.!.!.!.!.!.!.!.!.!.!.!. 6 Simplification (Conjunct Elimination)Www@QuestionHome@Com