1. Prove or disprove the following using a logical argument.

The universe of discourse for x,y,z is integers.

"x [p(x) Úq(x)] Ü"x p(x) Ú"x q(x)

Printable View

- Feb 21st 2010, 08:37 PMaaronrjPredicate Logic
1. Prove or disprove the following using a logical argument.

The universe of discourse for x,y,z is integers.

"x [p(x) Úq(x)] Ü"x p(x) Ú"x q(x) - Feb 21st 2010, 08:39 PMaaronrjSet Theory
1. Simplify the following using the set rules of inference. Show all your work:

[ ( (A - B) È (A Ç C )) Ç (A Ç B)c]c

Where A, B, and C are subsets of the Universe