∀ 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 config

Der Formelchecker ist noch nicht ausgiebig getestet, kann also fehlerhafte Ausgaben erzeugen.

Fehlermeldungen sind willkommen (email an):

andre dot frochaux at informatik dot hu-berlin dot de

Hinweise bei Darstellungsfehlern

Für alle die MathML nicht nativ unterstützen wird MathJax eingebunden, hapert es an der Darstellung, sollte javascript aktiviert werden.

Hinweise für die Eingabe der Formeln

Erlaubte Namen für Relationen, Funktionen und Konstanten beginnen mit einem Buchstaben, gefolgt von Buchstaben und Ziffern. Indizierung ist mittels _ möglich. Darüber hinaus sind das + und das *  -Zeichen als Symbole für Relationen oder Funktionen erlaubt.

Formelzeichen zulässige Eingaben
¬ ~ (mittels Tilde)
  oder alternativ
! oder &n
/\ (mittels Slash und Backslash)
  oder alternativ
&& oder &w
\/ (mittels Backslash und Slash)
  oder alternativ
|| oder &v
->
  oder alternativ
&r
<->
  oder alternativ
&l
c .c
  ,d.h. Konstanten werden mit führenden Punkt gekennzeichnet
&a
&e



* translation not available