Prädikatenlogik

Neue Frage »

donvito Auf diesen Beitrag antworten »
Prädikatenlogik
Weiß jemand, was man mit den Quantoren in



Habe die Negation nicht hinbekommen! Sorry!

Ich soll sagen ob diese Aussage erfüllbar und/oder allgemeingültig ist.
Tobias Auf diesen Beitrag antworten »

Ersetze \not durch \neg.

Wie ist denn die Semantik einer Prädikatenlogischen Formel definiert? Das kenn ich nur für Aussagenlogik.
donvito Auf diesen Beitrag antworten »

Dann ist es wohl Aussagenlogik. Unser Prof erwendet völlig verwirrende Überschriften

Aber was mache ich nun mit den beiden Quantoren?
Tobias Auf diesen Beitrag antworten »

Wenns AL ist, mach doch einfach ne Wertetabelle für X, Y, Z.

Du siehst, dass nur Z eine freie Variable ist. X und Y sind durch die Quantoren gebunden. Nennen wir die Formel .

Sie ist erfüllbar, falls oder erfüllbar ist. Das ist der Fall, wenn zu jeder Belegung von X eine Belegung von Y existiert, die eine der beiden Formeln wahr macht.
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »