This preview shows pages 1–8. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: 2200 x) ( 2200 y)(C(x) ∧ P(y)>S(x,y)) C: ( 5 x)( 5 y)(C(x) ∧ F(y) ∧ S(x,y)) > ( 2200 x) ( 2200 y)(C(x) ∧ P(y)>S(x,y)) Negation • The network is slow or not functioning well.” A. The network is fast but not functioning well. B. The network is either fast or functioning well. C. The network is fast and functioning well. D. Other Negation • Every website either has text or video. A. Some website either has text or video. B. Every website has no text and no video. C. Some website has no text and no video. D. Some website has no text or no video. E. Other Proof – truth table 1. A ∨ (B ∧ A’) ⇔ A ∨ B A B A’ B ∧ A’ A v (B ∧ A’) AvB T T F F T T T F F F T T F T T T T T F F T F F F Proof Sequence • (C’ ∨ A) ∧ (A > B) ∧ C > B is a valid argument 1. C’ v A hyp. 2. A>B hyp. 3. C hyp. 4. C>A 1, imp 5. A 3,4,mp 6. B 5,2, mp The end....
View
Full
Document
This note was uploaded on 10/23/2008 for the course CS 130 taught by Professor Yang during the Spring '08 term at Cal Poly Pomona.
 Spring '08
 yang

Click to edit the document details