Mathematical Example Module
Mathematisches Beispielmodul
This should contain predicate logic formulas.
Hier sollen prädikatenlogische Formeln stehen.
Michael Meyling
Predicate Logic
Prädikatenlogik
Simple Formulas
Einfache Formeln
identity definition
Definition der Identität
Identity\index{identity}\index{definition!of identity}
Identität\index{Identität}\index{Definition!der Identität}
#1 \ = \ #2