Results 1 to 2 of 2

Math Help - Representing Set Theory with Predicate Calculus?

  1. #1
    Newbie
    Joined
    Oct 2009
    Posts
    3

    Representing Set Theory with Predicate Calculus?

    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?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member
    Joined
    Aug 2009
    From
    Israel
    Posts
    976
    Quote Originally Posted by thename1000 View Post
    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?
    Your solution is correct.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. set theory / predicate logic math language problem
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: December 7th 2010, 12:21 AM
  2. Theory in Predicate Logic. Please Help!
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: March 23rd 2010, 12:31 AM
  3. predicate calculus
    Posted in the Discrete Math Forum
    Replies: 8
    Last Post: December 13th 2009, 11:01 AM
  4. Predicate Calculus
    Posted in the Calculus Forum
    Replies: 1
    Last Post: May 21st 2009, 05:19 PM
  5. Predicate Calculus help
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: March 6th 2009, 10:19 PM

Search Tags


/mathhelpforum @mathhelpforum