Results 1 to 5 of 5

Math Help - Predicate Calculus help (interpretation of equality in a model of equality)

  1. #1
    Newbie
    Joined
    Dec 2011
    Posts
    5

    Predicate Calculus help (interpretation of equality in a model of equality)

    Hi everyone, first time poster here.

    I'm trying to figure out how to show that the interpretation of equality in a model of equality is an equivalence relation.

    As in, if I have a structure that satisfies the axioms of equality, how do i show that this structure also satisfies the axioms of equivalence relations?
    Follow Math Help Forum on Facebook and Google+

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

    Re: Predicate Calculus help (interpretation of equality in a model of equality)

    What axioms of equality do you have? One can prove from them that equality is an equivalence relation.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Dec 2011
    Posts
    5

    Re: Predicate Calculus help (interpretation of equality in a model of equality)

    I've got 2 axioms of equality:

    1. for every x, x=x
    2. for every x and for every y, (x=y --> (fi(x,x) --> fi(x,y))) where fi(x,x) is an atomic formula with x substituted for some of the x in fi


    I'm confused about how to formally say that if a structure satisfies these axioms then they hold true under an interpretation of equality in that structure.
    Follow Math Help Forum on Facebook and Google+

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

    Re: Predicate Calculus help (interpretation of equality in a model of equality)

    Quote Originally Posted by SLeviNK View Post
    I'm confused about how to formally say that if a structure satisfies these axioms then they hold true under an interpretation of equality in that structure.
    You are saying you don't know how to say "if A, then B." But your A and B are the same thing by definition. A structure satisfies a formula iff a formula is satisfied by that structure.

    A definition of when a first-order formula is true in a structure can be found in Wikipedia. This definition assumes that you have a logic "with equality," which means that equality is interpreted as identity: M\models t_1=t_2 if the interpretation of t_1 and t_2 in M is literally the same element of the domain of M. In this case, the interpretation of equality (i.e., identity) is an equivalence relation by definition. Since your problem asks to prove that the interpretation of equality is an equivalence relation, you probably have a logic "without equality," where = is just a predicate symbol like any other and it can be interpreted by an arbitrary relation as long as equality axioms are true.

    Suppose you have a model of the equality axioms where = is interpreted by a relation R. Then R is reflexive because of the first axiom. Further, x = y -> x = x -> y = x is an instance of axiom 2 where \phi(x) is x = x. Indeed, y = x is obtained by replacing the first occurrence of x in \phi(x) with y. Therefore, R is symmetric. Finally, x = y -> z = x -> z = y is also an instance of axiom 2 where \phi(x) is z = x. Indeed, z = y is obtained from z = x by replacing x in \phi(x) with y. Switching the two assumptions, we get the transitivity property.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Newbie
    Joined
    Dec 2011
    Posts
    5

    Re: Predicate Calculus help (interpretation of equality in a model of equality)

    Thanks a lot emakarov! That really clears things up.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. [SOLVED] Equality
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: May 21st 2011, 09:20 AM
  2. An Equality ?
    Posted in the Calculus Forum
    Replies: 6
    Last Post: June 8th 2010, 04:27 AM
  3. Testing equality of coefficients in the same model
    Posted in the Advanced Statistics Forum
    Replies: 0
    Last Post: May 19th 2010, 06:30 AM
  4. Equality
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: May 13th 2010, 02:30 PM
  5. Set equality
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: January 24th 2008, 04:04 PM

Search Tags


/mathhelpforum @mathhelpforum