7 Logik erster Ordnung - BIOTEC
7 Logik erster Ordnung - BIOTEC
7 Logik erster Ordnung - BIOTEC
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
7.1 Syntax und Semantik 2<br />
7.1 Syntax und Semantik<br />
Syntax der <strong>Logik</strong> <strong>erster</strong> <strong>Ordnung</strong><br />
Satz → atomarer Satz<br />
| Satz Junktor Satz<br />
| Quantor V ariable, ...Satz<br />
| ¬Satz<br />
| (Satz)<br />
atomarer Satz → Prädikat(Term, ...) | Term = Term<br />
Term → Funktion(Term, ...)<br />
| Konstante<br />
| V ariable<br />
Junktor → ∧ | ∨ |⇔|⇒| ¬<br />
Quantor → ∀ | ∃<br />
Konstante → A | X 1 | Hans | ...<br />
V ariable → a | x | s | ...<br />
Prädikat → V or | HatFarbe | V erwandtMit | ...<br />
Funktion → Mutter | LinkesBeinV on | ...<br />
Grundlagen der KI WS 2007/2008