---

{ ("x" = "x" ~ tt)  ("x" = "y" ~ ff) }

{ Proof }

---

Definitions occuring in Statement :  eq_id: a = b,  mkid: "$x",  bfalse: ff,  btrue: tt,  and: P  Q,  sqequal: s ~ t
Definitions :  and: P  Q,  eq_id: a = b,  mkid: "$x",  eqof: eqof(d),  id-deq: IdDeq,  atom2-deq: Atom2Deq,  eq_atom: eq_atom$n(x;y)

---

("x"  =  "x"  \msim{}  tt)  \mwedge{}  ("x"  =  "y"  \msim{}  ff)


Date html generated: 2011_08_10-AM-07_47_56
Last ObjectModification: 2011_06_18-AM-08_12_53

Home Index