Prädikatenlogik/Variabl.-Beleg < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 16:31 So 16.05.2010 | | Autor: | Shlomoe |
| Aufgabe | Seien P,Q,R jeweils ein- zwei- und dreistellige Prädikate und x,y,z beliebige Variablen. Sei M=(D,I) ein Modell mit:
D=(0,1,.....,9)
I(P) =(3,1)
I(Q) =(<3,9>,<6,0>,<2,1>,<1,2>,<0,6>)
I(R) =(<3,0,6>,<1,8,9>,<1,1,2>,<3,3,9>)
Für jede der folgenden Formeln, finde eine Belegung, unter der sie im Modell M gilt.
1) ∀x(P(x)⇒R(x,y,z)⋀Q(z,y))
2) ∀xP(x)⇒R(x,y,z)⋀Q(z,y) |
Ich häng bei dieser Aufgaben irgendwie völlig durch.
Mir ist der Unterschied zwischen 1) und 2) schon klar (Quantorenskopus), aber ich kapier trotzdem nicht, mit welcher Belegung ich eine gültige Formel herstellen kann.
Da ich ja x mit einer 3 belegen muss, sollte ich ja auf der rechten Seite das gleiche Ergebnis erzielen, oder?
Kann mir bitte jemand weiterhelfen?
Ich habe diese Frage auch in folgenden Foren auf anderen Internetseiten gestellt:
[http://www.onlinemathe.de/forum/Aufgabe-zur-Pr%C3%A4dikatenlogik] und http://www.matheboard.de/thread.php?threadid=419209
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 17:20 Di 18.05.2010 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 20:36 Di 18.05.2010 | | Autor: | Shlomoe |
Würde mich immer noch über Hilfe freuen!
|
|
|
|
