Semantisch beweisen, dass eine Formel wahr ist

19.08.2015, 00:39	idur	Auf diesen Beitrag antworten »
Semantisch beweisen, dass eine Formel wahr ist Meine Frage: 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: $\begin{eqnarray} \phi = \forall x\exists y \forall z \exists v \exists w (R(y,z) \rightarrow R(x,v) \wedge R(v,w)) \end{eqnarray}$ . 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 $\begin{eqnarray} <br /> T=\{c,f(c),g(c,c), h(c,c), f(f(c)), g(g(c,c),c), h(h(c,c),c), f(g(c,c)),...\} \end{eqnarray}$ Und ein Herbrandmodell für die zweilstellige Relatione $\begin{eqnarray} R \end{eqnarray}$ wäre $\begin{eqnarray} R^{\mathcal{H}}=T \times T. \end{eqnarray}$

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »