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
 Spring '08
 yang
 Logic, Interest Rates, Greatest common divisor, a. b. c., b. c. d.

Click to edit the document details