∀ 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{Geschwister}, \dot{Vorfahr}, \dot{Mutter}, \dot{Vater}\right\}
    der Stelligkeit hinzufügen

Signatur σ

\sigma=\left\{ \dot{Geschwister}, \dot{Vorfahr}, \dot{Mutter}, \dot{Vater}\right\} mit:
dem 2-stelligen Relationssymbol  \dot{Geschwister}
dem 2-stelligen Relationssymbol  \dot{Vorfahr}
dem 1-stelligen Funktionssymbol \dot{Mutter}}
dem 1-stelligen Funktionssymbol \dot{Vater}}

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

\exists  x\,\exists  y\,\left(\dot{Geschwister }(x,\dot{Vater}(\dot{Mutter}(y)))\rightarrow\dot{Vorfahr}(y,x)\right)

Variablenmengen der Formel

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

Valid XHTML 1.0