Application( Cont. Example(Equivalence relation) The equivalence relation can be formalized with a single binary relation symbols as follows Solution (xR(x,x) pequ=(x)(Vy)(R(x,y)+R(y,x), (x)(y)(Vz)(R(x,y)∧R(y,z))→R(x,z)Application(Cont.) . Example (Equivalence relation) . . The equivalence relation can be formalized with a single binary relation symbols as follows: . Solution. . . Φequ =    (∀x)R(x, x), (∀x)(∀y)(R(x, y) → R(y, x), (∀x)(∀y)(∀z)((R(x, y) ∧ R(y, z)) → R(x, z)). Yi Li (Fudan University) Discrete Mathematics June 9, 2013 8 / 15