{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

08 PS2 - Section 1.6 exercises on pp 85 86 5 Exercise 12 p...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
Handout #8 CS103 April 5, 2010 Robert Plummer Problem Set #2—Due Monday, April 12 in class In these problems, list the propositional symbols and predicates you are using and their meanings (if they are not given in the problem statement). For example, in the first problem, your list might begin "R: it rains", and in the second problem, your list for (a) might begin "U(x): x is enrolled in the university". Except where noted, your proofs should be statement/reason charts similar to Example 6, p.67), or you may use the more formal format shown in class. Be sure to justify your steps. Section 1.5, exercises on pp.72 - 74 1. Exercise 10, p. 73 2. Exercise 16, pp. 73-74. For each argument that is correct, provide a proof in the style of Example 13, p. 71 (a statement/reason chart). 3. Exercise 26, p. 74. 4. Exercise 28, p. 74.
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Section 1.6, exercises on pp. 85 - 86 5. Exercise 12, p. 85. Give a proof in paragraph style, similar to Examples 1 and 2, p. 77. 6. Exercise 26, p. 85. Note that you are proving a Biconditional . Give a proof in paragraph style. 7. Exercise 36, p. 86. Give a proof in paragraph style. Section 1.7, exercises on pp. 102 – 104 8. Exercise 28, p. 103. Give a proof in paragraph style. 9. Exercise 34, p. 103. Give a proof in paragraph style. Supplementary exercises on pp. 106 - 108 10. Exercise 24, p, 107. Justify your answer. Note: You will find Errata for the Rosen book at: https://highered.mcgraw-hill.com/sites/dl/free/0072880082/299357/Rosen_errata.pdf A few of these are important. If the correction does not apply, then it has already been made in your printing....
View Full Document

{[ snackBarMessage ]}

Ask a homework question - tutors are online