Aufgabe zur Prädikatenlogik < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 10:48 Fr 18.06.2010 | | Autor: | Shlomoe |
| Aufgabe | [mm] \forall y(\exists zR(x,y)\wedge \exists v(Q(x)\wedge [/mm] 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.
Sind meine Lösungen richtig?
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 21:28 Mo 21.06.2010 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
