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
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 |