Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!

gegeben ist eine Aussageform mit der Grundmenge G. Ein Element der Grundmenge G erfüllt die Aussageform, wenn seine Einsetzung zur einer wahren Aussage führt. Die Menge aller Elemente, die die Aussageform erfüllen, heißt Erfüllungsmenge der Aussageform.

Beispiel: p(x): x<3             Grundmenge:

                E = 0, 1, 2


Aussageform heißt erfüllbar in G, wenn: E

Aussageform heißt allgemeingültig in G, wenn: E=G

Aussageform heißt teilgültig in g, wenn: EG