hw2 - EECS 203 HOMEWORK 2 Section1.2 Problem 10 (E): Show...

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

View Full Document Right Arrow Icon
EECS 203 – HOMEWORK 2 Section1.2 Problem 10 (E): Show that each of these conditional statements is a tautology by using truth tables a) [~p (p q)] q b) [(p q) (q r)] (p r) c) [(p (p q)] q d) [(p q) (p r) (q r)] r Section 1.2 Problem 16 (E): Show that p q and (p q) (~p ~q) are equivalent. Section 1.2 Problem 60 (E): Which of these compound propositions are satisfiable? a) (p q ~r) (p ~q ~s) (p ~r ~s) (~p ~q ~s) (p q ~s) b) (~p ~q r) (~p q ~s) (p ~q ~s) (~p ~r ~s) (p ~r ~s) c) (p q r) (p ~q ~s) (q ~r s) (~p r s) (~p q ~s) (p ~q ~r) (~p ~q s) (~p ~r ~s) Section 1.3 Problem 10(E): Let C(x) be the statement “x has a cat”, let D(x) be the statement “x has a dog”, and let F(x) be the statement “x has a ferret”. Express each of these statements in terms of C(x), D(x), F(x), quantifiers, and logical connectives. Let the domain consist of all students in your class.
Background image of page 1

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

View Full DocumentRight Arrow Icon
a) A student in your class has a cat, a dog and a ferret. b) All students in your class have a cat, a dog or a ferret.
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 04/01/2008 for the course EECS 203 taught by Professor Yaoyunshi during the Winter '07 term at University of Michigan.

Page1 / 5

hw2 - EECS 203 HOMEWORK 2 Section1.2 Problem 10 (E): Show...

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

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