# Thread: Predicate Logic

1. ## Predicate 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)

2. ## Set 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