 |
 |
 |
 |
 |
 |
Startseite » Forum » Frage zur Prädikatenlogik / gebunden & ungebunden
Frage zur Prädikatenlogik / gebunden & ungebunden
Universität / Fachhochschule
Sonstiges
Tags: Aussagenlogik, gebunden, logik, Prädikatenlogik, Semantik, ungebunden
 
|
  |
|---|
|
Kann mal bitte jemand einen Blick auf folgene Aufgabe und meine Lösungen werfen: y(z R(x,y) v(Q(x) 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? Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert): "Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen." |
|
|
Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.
|
772812
772812