Homework 2

Table of Contents

Homework 2

Provide Rules based proofs

2.3 i) A ? ( B ? C) = (A ? B) ? (A ? C)

2.3 iii) A \ (B ? C) = (A \ B) ? (A \ C)

2.4 iii) A \ B ? A

Exercise 2.6

2.6 iv) ? p ? (p ? q) ? ? p ? q

Exercise 2.6 vi) (p ? r) ? (q ? r) ? (p ? q ? r)

Exercise 2.6 vi) (p ? r) ? (q ? r) ? (p ? q ? r)

2.6 viii) ? (p ? q) ? ? p ? ? q

2.12 Consider these: which are =?

2.12 Consider these: which are =?

2.13 Prove: ? x ? ? y ? x R y ? ? y ? ? x ? x R y

Email: riggs@cis.famu.edu

Home Page: http://www.cis.famu.edu/~riggs/riggs.html

Other information:
Homework 2 CEN5016 Notes