CSC midterm

# CSC midterm - Jason Krontz CSC 226 MIDTERM 1 p T T T T F F...

This preview shows pages 1–3. Sign up to view the full content.

Jason Krontz 3-9-09 CSC 226 MIDTERM 1.) a.) p (q v r) (p q) v (p r) T T T T T T T T T T T T T T T T F F T T T T T T T F T T F F T T T T F T T T T T T F F F T T T F T T T F F T T T T T F T T T F T T F F T F F T F T T F F F F F F F F T T F F F F F T T b.) (q r) v p (q v p) (r v p) T T T T T T T T T T T T T T T F T T T T T T T F F T F T T T T T F F T T T T T F F F F T T F F T F F F T T T T F F T T F F F T F F T T F F F T T F F F F F F F T T F F T F F F F T F F F F F F F T F F F F F F F 2.) T(x): x is a train. C(x): x is a car. F(x,y): x is faster than y. D(x,y): x is driven by y. J: Jeff Gordan a.) F( 2200 xT(x), 2200 yC(y)) b.) F( 5 xT(x), 5 yC(y)) c.) F(D( 5 xC(x),J), 2200 yT(y)) 3.) If it is a woman, than she has a father and she loves him.

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
4.) 1. a (b c) Premise 2. b c Premise Conclusion: a 3. c a Premise 4. ¬ a 1, assumption (proof by contradiction) 5. (b c) 1,4, disjunctive syllogism 6. ¬ c 3,4, Modus Tollens 7. ¬ c ¬ b 5, contrapositive 8. ¬ b 6,7, Modus Ponens 9. a 2,6,8, proof my 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.
This is the end of the preview. Sign up to access the rest of the document.

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

### Page1 / 7

CSC midterm - Jason Krontz CSC 226 MIDTERM 1 p T T T T F F...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online