Aufgabe zur Prädikatenlogik

18.06.2010, 10:32	Tokiomonsta	Auf diesen Beitrag antworten »
Aufgabe zur Prädikatenlogik Kann mal bitte jemand einen Blick auf folgene Aufgabe und meine Lösungen werfen: $\begin{eqnarray} \forall \end{eqnarray}$ y( $\begin{eqnarray} \exists \end{eqnarray}$ zR(x,y) $\begin{eqnarray} \wedge \end{eqnarray}$ $\begin{eqnarray} \exists \end{eqnarray}$ v(Q(x) $\begin{eqnarray} \wedge \end{eqnarray}$ P(z))) Kann man folgende Terme frei für x in diese Formel einsetzen? a) a = Ja, kann man ungebunden einsetzen. b) f(x,v) = Nein, da v sich im Skopus des Existenzquantors befindet. c) g(y,u) = Nein, da y sich im Skopus des Allquantors befindet. d) h(z) = Nein, da z sich im Skopus des Existenzquantors befindet. Kann man folgende Terme frei für z in diese Formel einsetzen: a) g(v,a) = Nein, da sich v im Skopus des Existenzquantors befindet. b) f(x,z) = Ja, kann man ungebunden einsetzen. c) h(y) = Nein, da sich y im Skopus des Allquantors befindet. Ist das richtig?
20.06.2010, 20:32	Tokiomonsta	Auf diesen Beitrag antworten »
Würde mich immer noch über eine Antwort freuen!

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »