Gegeben:

[img]http://img209.imageshack.us/img209/8259/struktur2oz.jpg[/img]

Lösung für A1(F2):

http://img63.imageshack.us/img63/5579/unerhrtedomne4ia.jpg

Wie kommt man darauf ich hätte gedacht A1(F2)=0, weil
I1(Q) nicht erfüllt wird -> 1+2 != 5 !!

help.plz

Ja, hier sollte man wohl besser 3 statt 1 nehmen, um
[img]http://mokrates.de/cgi-bin/texstring?%5Cmathcal%7BA%7D_1(F_2)%3D1[/img] zu zeigen, denn es ist ja [img]http://mokrates.de/cgi-bin/texstring?%5Cmathcal%7BA%7D_%7B1%5Bx%2F3%5D%7D(F_2)%3D1[/img].

Dann versteh ich das mit den Domänen nicht mehr, ich dachte
I1(x)=1 ist fest vorgegeben…
Oder wie soll man das ganze interpretieren?

Dann versteh ich das mit den Domänen nicht mehr, ich dachte
I1(x)=1 ist fest vorgegeben…
Oder wie soll man das ganze interpretieren?

Das liegt daran, dass vorne ein Existenzquantor steht, dieser bindet die Variable x und damit ist sie nicht mehr frei, also ist die Interpretation mit I(x) = 1 nicht mehr fest vorgegeben, sondern du kannst jedes beliebige x wählen, hauptsache es gibt eines, so dass deine Bedingungen erfüllt werden.

Fest vorgegebene Interpretationen zählen also lediglich für freie Variablen!

ach so dann gilt das auch für den Allquantor..

ach so dann gilt das auch für den Allquantor..

Ja, klar!