Semantisch beweisen, dass eine Formel wahr ist |
19.08.2015, 00:39 | idur | Auf diesen Beitrag antworten » |
Semantisch beweisen, dass eine Formel wahr ist Hallo, ich habe hier eine Aufgabe und weiss nicht genau wie ich sie angehen soll. Die Aufagabe lautet: Geben sie einen semantischen Beweis der folgenden prädikatenlogisch wahren Formel: . Gruss Meine Ideen: Mir fällt nur ein, ein Herbrandmodell für diese Formel anzugeben, bin mir aber unsicher, weil das Herbrandmodell ja mehr bei Formelmengen verwendet wird. Trägermenge wäre Und ein Herbrandmodell für die zweilstellige Relatione wäre |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|