Prädikatenlogik

Neue Frage »

matheniichtfreak Auf diesen Beitrag antworten »
Prädikatenlogik
Guten Tag an alle User!

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 smile

MfG
Matheniichtfreak
Neue Frage »
Antworten »



Verwandte Themen

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