CSC_226_Midterm_2

CSC_226_Midterm_2 - B Premise (2) C (A D) Premise (3) (B D)...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
4. (1) a (b c) Premise (2) b c Premise (3) c a Premise (4) ¬ a Contradictory Hypothesis (5) b c (6) ¬ c (7) b Disjunctive Syllogism (2) & (6) (8) c (9) ¬ c c (10) a By Contradiction 5. A : Ang loves the emperor B : Bao loves the emperor C : Chang loves the emperor D : Di loves the emperor E : Eng loves the emperor (1) A
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: B Premise (2) C (A D) Premise (3) (B D) (A E) Premise (4) E Premise (5) C Contradictory Hypothesis (7) A D Modus Ponens (2) & (5) (8) A Simplification (7) (9) D Simplification (7) (10) B Modus Ponens (1) & (8) (11) B D Conjunction (9) & (10) (12) A E Modus Ponens (3) & (11) (13) E Simplification (12) (14) E E Conjunction (4) & (13) (Contradiction) (15) C By Contradiction...
View Full Document

This note was uploaded on 04/28/2009 for the course CSC 226 taught by Professor Watkins during the Spring '08 term at N.C. State.

Ask a homework question - tutors are online