<LATEX language="en">
Identity Definition
</LATEX>
We define the identity constant and have some atoms and a proposition.
Michael Meyling
<LATEX language="en">
The Only One
</LATEX>
<LATEX language="en">Identity</LATEX>
identity definition
Definition der Identität
<LATEX language="en">Identity\index{identity}\index{definition!of identity}</LATEX>
<LATEX language="de">Identität\index{Identität}\index{Definition!der Identität}</LATEX>
#1 \ = \ #2
not identical definition
Definition der Verschiedenheit
<LATEX language="en">Not Identical\index{identical!is not}</LATEX>
<LATEX language="de">Verschiedenheit\index{Verschiedenheit}\index{Definition!der Verschiedenheit}</LATEX>
#1 \ \neq \ #2
reflexivity of identity
Reflexivität der Identität
<LATEX language="en">Reflexivity of Identity\index{reflexivity!of identity}\index{identy!reflexivity of}</LATEX>
<LATEX language="de">Reflexivität der Identität\index{Reflexivität!der Identität}\index{Identität!Reflexivität der}</LATEX>
Leibniz' replacement
Leibnizsche Ersetzbarkeit
<LATEX language="en">Leibniz' replacement\index{Leibniz' replacement}</LATEX>
<LATEX language="de">Leibnizsche Ersetzbarkeit\index{Leibnizsche Ersetzbarkeit}</LATEX>
symmetry of identity
Symmetrie der Identität
<LATEX language="en">Symmetrie of identity\index{identity!symmetry of}</LATEX>
<LATEX language="de">Symmetrie der Identität\index{Identität!Symmetrie der}</LATEX>
transetivity of identity
Transitivität der Identität
<LATEX language="en">Transitivity of identity\index{identity!transetivity of}</LATEX>
<LATEX language="de">Transitivität der Identität\index{Identität!Transitivität der}</LATEX>