Prädikatenlogik |
13.11.2014, 15:28 | matheniichtfreak | Auf diesen Beitrag antworten » |
Prädikatenlogik Ich sitze gerade an der Prädikatenlogik und frage mich wie ich eine erfüllbarkeitsäquivalenz bzw eine äquivalenz zweier Formeln beweisen kann. Also bei der erfüllbarkeitsäquivalent muss ich ja nur beweisen, dass beide Formeln erfüllbar sind. Bei der äquivalenz bin ich mir nicht sicher, wenn z.B. ein neues Litaral in der Formel ist, kann es doch gar nicht äquivalent sein? Bitte um ein bisschen Hilfe MfG Matheniichtfreak |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|