Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!
3
Erfüllingmenge (Lösungsmenge) und seine Gültigkeit=
2Punkte
2Punkte
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: E
G
Beispiel: p(x): x<3 Grundmenge:

E =


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: E
