Page 2 of 2 FirstFirst 12
Results 16 to 17 of 17

Math Help - Sets question.

  1. #16
    Senior Member
    Joined
    Nov 2008
    From
    Paris
    Posts
    354
    You're talking about formal proof system, and I was talking about formula satisfaction in structures.. But equivalent formulas for any structure are equivalent formulas in the formal system. (And conversely, thanks to the completness theorem (Gödel, 1930)).

    Has your system 3 original axioms and 2 deduction rules? (plus the predicate calculus tautologies)
    Follow Math Help Forum on Facebook and Google+

  2. #17
    Flow Master
    mr fantastic's Avatar
    Joined
    Dec 2007
    From
    Zeitgeist
    Posts
    16,948
    Thanks
    5

    Thread closed

    The logical thing to do here is close the thread, I think.

    Edit:
    Quote Originally Posted by archidi View Post
    My dear Plato [snip]
    I'm not sure how expensive (dear) Forum Moderator Plato's tutoring rates are so I'm not sure about that observation. I do know we are all fortunate to have his expertise and experience available for free at MHF.

    Quote Originally Posted by archidi View Post
    [snip]don't you know the answer, or you agree with clic clac's proof??
    Option 3: Maintaining a dignified silence.
    Follow Math Help Forum on Facebook and Google+

Page 2 of 2 FirstFirst 12

Similar Math Help Forum Discussions

  1. Question about sets
    Posted in the Discrete Math Forum
    Replies: 17
    Last Post: December 3rd 2011, 12:06 PM
  2. Question about sets
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: November 16th 2010, 12:45 PM
  3. Question about sets
    Posted in the Statistics Forum
    Replies: 2
    Last Post: December 24th 2009, 08:01 AM
  4. question on sets
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: September 28th 2008, 07:02 AM
  5. Sets question
    Posted in the Math Topics Forum
    Replies: 3
    Last Post: May 29th 2008, 05:53 AM

Search Tags


/mathhelpforum @mathhelpforum