∀ 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

Signatur festlegen

Leere Signatur \sigma=\varnothing   \sigma_{\text{Graph}}=\left\{\dot{E} \right\}   \sigma_{\text{Bsp. 6.11c}}=\left\{\dot{f},\dot{c}  \right\}   \sigma_{\mathcal{N}}=\left\{\dot{+},\dot{0}  \right\}
 \sigma_{\text{Bsp. 6.23}}=\left\{ \dot{Geschwister},\dot{Vorfahr}, \dot{Vater},\dot{Mutter}  \right\}
Eigene: zu \sigma=\left\{ \dot{E}\right\}
    der Stelligkeit hinzufügen

Signatur σ

\sigma=\left\{ \dot{E}\right\} mit:
dem 2-stelligen Relationssymbol  \dot{E}

Formeleingabe

Hinweise zur Formeleingabe finden Sie hier.

 
  Syntaxcheck still geschwätzig sehr geschwätzig
  Signatur festhalten erweitern neu erstellen

Ergebnis Syntaxcheck

Syntaktisch korrekte FO[σ]-Formel!

Eingabe entspricht der Formel

\forall  x\,\forall  y\,\forall  z\,\left(\left(\dot{E}(x,y)\wedge\dot{E}(y,z)\right)\rightarrow\dot{E}(x,z)\right)

Variablenmengen der Formel

Menge der Variablen: \left\{ x,y,z\right\}
Menge der freien Variablen: \left\{ \right\}
Menge der gebundenen Variablen: \left\{ z,y,x\right\}

Valid XHTML 1.0