Nächste Seite:
Prädikatenlogik (Formeln)
Aufwärts:
Logik (Wiederholung)
Vorherige Seite:
Prädikatenlogik (Signatur)
Prädikatenlogik (Terme)
Ein
Term
in einer Signatur ist
eine Variable
oder ein Funktionssymbol mit einer passenden Anzahl von Argumenten (
=
Termen)
Johannes Waldmann 2011-07-07
