Given: P ⊆ Q
Q ⊆ (S ∩ T)
S ⊆ (R ∪ T^c)
x(sub)1 ∈ P
Use predicate calculus to prove x(sub)1 ∈ R.
I can break it down like so:
Image - TinyPic - Free Image Hosting, Photo Sharing & Video Hosting
However I'm really bad at predicate calculus and not sure how to say that.
Anybody?