Results 1 to 5 of 5

Math Help - First order logic! need help

  1. #1
    Newbie
    Joined
    Jan 2013
    From
    hell
    Posts
    4

    First order logic! need help

    hello guys. in a few days i have an exam. i have two problems to solve, but i couldn't do it. so please help me

    1) show that "a" is false in a given interpretation if and only if "-a" (negation of a) is true in the same interpretation. and "a" is true if and only if "-a" false.

    2) show that none of the formula of First order can't be false and true at the same time.

    please guys help me. and if u can please keep it as simple and as "short" as it can be.
    Last edited by jetro; January 22nd 2013 at 03:32 PM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,527
    Thanks
    773

    Re: First order logic! need help

    Could you post the definition of when a formula is true in an interpretation?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Jan 2013
    From
    hell
    Posts
    4

    Re: First order logic! need help

    Formula "a" is true in a given interpretation if and only if it is implemented or it happens(didn't find the right word ) in any sequence of ∑. if ∑ is set of every countably sequence, Whose elements are from D. D is area of that interpretation. didn't understood it clearly but hope this is what u asked for.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,527
    Thanks
    773

    Re: First order logic! need help

    Quote Originally Posted by jetro View Post
    Formula "a" is true in a given interpretation if and only if it is implemented or it happens(didn't find the right word ) in any sequence of ∑. if ∑ is set of every countably sequence, Whose elements are from D. D is area of that interpretation.
    This may be the final part of the definition that relies on the definition of "happens" (or whatever it is). The latter concept is most likely the heart of the matter and is defined by recursion on formulas. The part about countable sequences of elements of the domain D has to do with free variables and quantifiers, and it is needed for first-order logic. However, what is important to understand is why 1) and 2) hold for propositional logic, where the truth value is defined by recursion on formulas.

    So, several questions.

    (a) What source are you using? Is it not "Introduction to Mathematical Logic" by E. Mendelson by chance?
    (b) What language are you using? What word did you translate as "happens"?
    (c) Do you know the definition of truth of a propositional formula? Do you understand it?
    (d) Can you show 1) and 2) for propositional formulas?
    (e) What don't you understand about the definition of the truth of first-order formulas?
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Newbie
    Joined
    Jan 2013
    From
    hell
    Posts
    4

    Re: First order logic! need help

    i got even confused. ok forget that. (
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Graphs and first-order logic.
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: January 7th 2013, 04:54 AM
  2. First order logic
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: November 16th 2011, 08:41 AM
  3. First order logic
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: February 10th 2011, 07:10 AM
  4. First order Logic
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: January 16th 2011, 04:41 AM
  5. First order Logic!
    Posted in the Discrete Math Forum
    Replies: 9
    Last Post: January 3rd 2011, 10:55 AM

Search Tags


/mathhelpforum @mathhelpforum