exer1-11 - MACM 101 Discrete Mathematics I Exercises on...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
MACM 101 — Discrete Mathematics I Exercises on Propositional Logic. Due: Friday, Septem- ber 30th (at the beginning of the class) Reminder: the work you submit must be your own. Any collaboration and consulting outside resources must be explicitly mentioned on your submission. Please, write with a pen, not a pencil. 30 points will be taken off the mark of works written in pencil. 1. Construct a truth table for the following compound statement: ( p q ) ( q ⊕¬ r ). 2. Determine whether the following compound statement is a tautology ( ¬ p ( p q )) → ¬ q. 3. Show that ( p r ) ( q r ) and ( p q ) r are logically equivalent. 4. Show that ( p q ) r and ( p r ) ( q r ) are not logically equivalent. Do not use truth tables. 5. Simplify the compound statement ¬ ( p ( q r ) (( p q ) r )) . 6. Prove that the Rule of Syllogism is a valid argument. 7. Each of two rooms (room I and room II) contains either a lady or a tiger. If a room
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 09/25/2011 for the course CHEM 281 taught by Professor Williams during the Spring '11 term at Simon Fraser.

Page1 / 2

exer1-11 - MACM 101 Discrete Mathematics I Exercises on...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online