∀ 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 Über

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

Fehlermeldungen sind willkommen (email an):

afrochaux at informatik dot uni-frankfurt dot de


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
 \neg ~ (mittels Tilde)
  oder alternativ
! oder &n
 \wedge /\ (mittels Slash und Backslash)
  oder alternativ
&& oder &w
 \vee \/ (mittels Backslash und Slash)
  oder alternativ
|| oder &v
 \rightarrow ->
  oder alternativ
&r
 \leftrightarrow <->
  oder alternativ
&l
 \dot{c} .c
  ,d.h. Konstanten werden mit führenden Punkt gekennzeichnet
 \forall &a
 \exists &e


Valid XHTML 1.0