∀ x ∃ y x=y
∀ x ∀ y ∀ z ((E(x,y) ∧ E(y,z) ) → E(x,z))
∀ x ∃ y (Geschwister (x,Vater(Mutter(y))) → Vorfahr(y,x))
(R_1(.a,.b,.c) ∨ R_2 (a))
Hinweise
Roadmap
Über
Auswahl des Layouts
*
Klassisches Design.
Modernes Design.
Geschwätzigkeit - Defaultwert
*
quiet
verbose
very verbose
Systemeinstellungen
*
Systemseitig ist die Anzahl der Variablen in einer Formel derzeit auf 6 Variablen beschränkt.
*
*
translation not available
