[ Tárgy ] egyenlő: [ Tárgy ]

☞ x ≔ Tárgy új.
☞ y ≔ Tárgy új.
☞ z ≔ x.
✎ ír: ( x egyenlő: y ), stop.
✎ ír: ( x egyenlő: z ), stop.
✎ ír: ( x = y ), stop.
✎ ír: ( x = z ), stop.
✎ ír: ( x ≠ y ), stop.
✎ ír: ( x ≠ z ), stop.
Hamis
Igaz
Hamis
Igaz
Igaz
Hamis