∀ 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\{\right\}= \varnothing
    der Stelligkeit hinzufügen

Signatur σ

\sigma=\left\{\right\}= \varnothing

Formeleingabe

Hinweise zur Formeleingabe finden Sie hier.

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

Variablenmengen der Formel

Menge der Variablen: \left\{ \right\}
Menge der freien Variablen: \left\{ \right\}
Menge der gebundenen Variablen: \left\{ \right\}

Valid XHTML 1.0