Set Theory and Predicate Calculus (12 points)(adsbygoogle = window.adsbygoogle || []).push({});

Given: P ⊆ Q

Q ⊆ (S ∩ T)

S ⊆ (R ∪ T^c)

x(sub)1 ∈ P

Use predicate calculus to prove x(sub)1 ∈ R.

Studying for a test but I don't have this worked out for me. I honestly don't even know where to start. I know what union, intersect, etc and all the symbols mean I'm just bad at the Predicate Calculus.

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Set Theory and Predicate Calculus?

**Physics Forums | Science Articles, Homework Help, Discussion**