Ass 1 - MACM 101 Discrete Mathematics I, Fall 2010...

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, Fall 2010 Assignment 1. Due: Friday, September 24 (at the beginning of class) Reminder: the work you submit must be your own. Any collaboration and consulting outside resourses must be explicitly mentioned on your submission. Please, use a pen. 30 points will be taken off for pencil written work. 1. Construct a truth table for the following compound proposition: ( ¬ p ↔ ¬ q ) ( q r ). 2. Show that the following compound statement is a contradiction (( p q ) ( p r )) ( p ( q r )) . 3. Show that ( p q ) and ( ¬ p ↔ ¬ q ) 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 ( ¬ p ∧¬ q r )) . 6. Prove that the Rule of Disjunctive Syllogism is a valid argument. 7. For each of these sets of premises, what relevant conclusion or conclusions can be drawn? Explain the rules of inference used to obtain each conclusion from the premises.
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.

Page1 / 2

Ass 1 - MACM 101 Discrete Mathematics I, Fall 2010...

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