Wdhlg. Prädikatenlogik (Syntax)

Signatur $ \Sigma$
  • Relationssymbole R1,...,
  • Funktionssymbole f1,...,
Term t
  • Variable x
  • f (t1,..., tk)
Formel F
  • R(t1,..., tk)
  • F1 $ \wedge$ F2;F1 $ \vee$ F2;F1$ \to$F2;F1 $ \leftrightarrow$ F2F1
  • $ \forall$x : F1;$ \exists$x : F1

Menge der freien, gebundenen Variablen einer Formel

geschlossene (closed) Formel: keine freien Variablen



2009-06-22