Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Entscheiden Sie, ob folgende Wörter Terme oder Formeln sind. Dabei seien f, g, h dreistellige Funktionszeichen, R, S zweistellige Relationszeichen und c eine Konstante:
a) gv11hcv0fv21ccv2
[mm] b)\exists [/mm] v5Sfv3gcchv1v2cv19
[mm] c)\forall [/mm] v7Rfghccccccc
[mm] d)\exists [/mm] v51(Rvo c [mm] \wedge \neg [/mm] c [mm] \equivc) [/mm] |
Moin!
Ich habe folgende Lösung bei der Aufgabe heraus, und wüsste gerne, ob das so richtig ist.
Ich habe glaube ich noch nicht ganz verstande, was eine zweistellige Relation ist, denn ich finde hier keine zweistellige Relation, und wenn die nicht gilt habe ich doch auch keine Formel.
Aber fangen wir doch bei a an ;)
a) ist Term, aber keine Formel, da kein Quantor vorhanden ist. a ist Term, da g(v11, h(c,vo,f(v21, c, c)), v2) gilt.
b) Kann wegen Quantor kein Term sein. Da für eine Formel S(f(v3, g(c, c, h(v1)) gelten müsste, dies aber nicht gelten kann, da h ein dreistelliges Funktionszeichen ist, ist b) keine Formel.
c) Kann wegen Quantor kein Term sein. Da R keine Variable v (und auch nicht zwei) enthält, ist b auch keine Formel.
d) Kann wegen Quantor kein Term sein. Da R mit v0 nur einstellige Funktion ist, ist d) auch keine Formel.
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
v11 usw. sind Variablen, ich konnte die 11 nicht tiefstellen :(
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 21:20 Di 09.01.2007 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
