Prädikatenlogik: Beweis Äquivalenz

Neue Frage »

LiGo Auf diesen Beitrag antworten »
Prädikatenlogik: Beweis Äquivalenz
Es seien und prädikatenlogische Formeln eines fest vorgegebenen Typs .
Beweisen Sie:




Mein Lösungsvorschlag:








Kann mir jemand sagen ob das der richtige Weg ist, um das zu beweisen?
Neue Frage »
Antworten »



Verwandte Themen

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