Unformatted text preview: such a conclusion e. Since e is not a tautology, some set of truth values for p and q must make e false. But if r is true, then both the premises (,p) ~ rand r V q are true regardless of the values of p and q. This contradicts e being a valid conclusion for this argument. 8. (a) [BB] p 1\ q is true precisely when p and q are both true. (b) By 8(a), we can replace pl\qby the twopremisesp and q. Using modus ponens, p andp ~ r lead to the conclusion r. Using modus tollens, q and 8 ~ (,q)) lead to the conclusion '8. Finally, 8(a) says we can replace '8 and r with ('8) I\r. 9. By Exercise 8(a), the final premise is equivalent to the list of premises q1. q2, ... ,qn. Now...
View
Full
Document
This note was uploaded on 11/08/2010 for the course MATH discrete m taught by Professor Any during the Summer '10 term at FSU.
 Summer '10
 any
 Graph Theory

Click to edit the document details