Liegen Zeichenreihen in QAA? < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Seien x,y,z Variablen der Logik der ersten Stufe und seien R ein einstelliges Relationssymbol und f ein einstelliges Relationssymbol. Weiter seien X, Y, Z Aussagenvariablen. Man entscheide für jede der folgenden Zeichenreihen sowohl ob sie in L{R,f} liegt, als auch, ob sie in QAA liegt?
a) [mm] \exists [/mm] x( Y und Rx)
b) (X und [mm] \exists [/mm] YY)
c) nicht( f(x) =x)
d) (Ry oder [mm] \exists [/mm] zf(z))
e) [mm] \forall [/mm] xy =z
f) (X oder Y =Z) |
Hallo erstmal, bei meinen Vorbereitungen zur Logikklausur bin ich auf o.g. Aufgabe gestoßen und habe keine Ahnung welche Zeichenreihe in QAA( Quantifizierte Aussagenlogik) oder L{R,f} liegt, deshalb würde ich mich freuen wenn mir das ganze jemand erklären könnte?
Danke schonmal im Vorraus...
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 11:20 Fr 14.04.2006 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
