This preview shows page 1. Sign up to view the full content.
Unformatted text preview: ...,q (...,q) V r T T T F F F F T T T F T T T F F T F T F T T T T F T T F F F F T T F F T T T T T F T F T T F F F F F T F T F 'T T F F F T T F T T (p /\ (q + (...,r))) + ((. ..,q) V r) T F T T T T T T 2. We have. ..,r is F, so (...,r) /\ s is F. Since q is T, this means q + ((. ..,r) /\ s) is F. Butp is T, so P V (q + ((. ..,r) /\ s)) is T. Also r /\ t is T. Hence the entire statement has truth value T. 3. (a) A truth table shows this is a contradiction. P q ...,q ...,p P /\ (...,q) (. ..,p)Vq [p /\ (...,q)]/\ [(. ..,p) V q] T T F F F T F T F T F T F F F T F T F T F F F T T F T F...
View Full
Document
 Summer '10
 any
 Logic, Graph Theory

Click to edit the document details