Prädikatenlogik Flashcards
1
Q
Prädikatenlogik
A
- liefert im Ggsatz zu der Aussagenlogik Vokabular für feingranularen Aussagen über Individuen und deren Beziehungen untereinander:
- Terme
- Variablen
- Funktionszeichen
- Prädikatzeichen
- = atomaren Aussagen der Aussagenlogik
- Die Quantoren erlauben Aussagen über Individuen und die Allgemeinheit.
2
Q
Vorkommen einer Variable x in einer Formel F heißt
A
