Prädikatenlogik |
16.12.2007, 18:47 | donvito | Auf diesen Beitrag antworten » |
Prädikatenlogik Habe die Negation nicht hinbekommen! Sorry! Ich soll sagen ob diese Aussage erfüllbar und/oder allgemeingültig ist. |
||
16.12.2007, 18:55 | 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. |
||
16.12.2007, 23:16 | 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? |
||
17.12.2007, 11:54 | 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. |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|