Results 1 to 4 of 4

Math Help - Theory in Predicate Logic. Please Help!

  1. #1
    Newbie
    Joined
    Mar 2010
    Posts
    2

    Theory in Predicate Logic. Please Help!

    Hi all,

    I have a predicate logic assignment due in a couple hours and need help with a theory question.

    The question is:

    Suppose some sentence of PL is true one every interpretation with a one-member Universe of Discourse. Does it follow that the sentence is quantificationally true? Explain, making sure that your answer proves your position. (ie. show that no other alternative is possible)

    Your help is greatly appreciated!
    Last edited by mr fantastic; March 22nd 2010 at 08:17 PM. Reason: Removed excessive !'s in post title
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,535
    Thanks
    778
    Does "quantificationally true" mean "valid", i.e., "tautology", or "true in every interpretation"? (Have not heard this term before.)

    Then of course it does not follow. The sentence \forall x\,x=x is true in all one-element interpretations but is not valid.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Mar 2010
    Posts
    2
    Yes, quantificationally true means valid and that it is a tautology.
    I need an example that proves that this is not the case.

    How does prove this?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,535
    Thanks
    778
    I am sorry, I meant \forall xy.\,x=y.
    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. Predicate Logic
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: November 5th 2010, 07:53 AM
  3. Predicate Logic
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: April 29th 2010, 03:51 PM
  4. predicate logic
    Posted in the Discrete Math Forum
    Replies: 10
    Last Post: March 6th 2009, 06:04 AM
  5. Help with predicate logic
    Posted in the Discrete Math Forum
    Replies: 0
    Last Post: December 10th 2008, 05:05 PM

Search Tags


/mathhelpforum @mathhelpforum