Fachrat Informatik - Forum

Quoted

Original von NullAhnung
Was passiert wenn ich sowas habe:

V = für alle ; E = es gibt; ' = nicht


Vx Vy (GvH) n 'Vx Vy (GvH) ????

Fällt dann das Vx und 'Vx weg?

Wenn ich das mal so klammere:

(Vx Vy (GvH)) n '(Vx Vy (GvH))

dann ist die Aussage falsch, weil dann da steht

A n 'A

was niemals wahr sein kann.

Wenn ich so klammere:

Vx (Vy (GvH)) n 'Vx (Vy (GvH))

dann ist das aquivalent zu:

Vx (Vy (GvH)) n Ex ('Vy (GvH))
Vx (Vy (GvH)) n Ex (Ey '(GvH))

und somit auch falsch.


Hoffe es hilft.

Quoted

Original von NullAhnung
Und wenn das ' jetzt vor dem Vy stehen würde?
Gilt das nicht, wenn es vor dem 'VxVy steht immer für beides? Also für x und y?

Das "nicht" bezieht sich immer auf die nächste Aussage, also auf 'Vx A, wobei A irgendeine andere Aussage ist. Es gilt für die gesamte Aussage, Vx ist ja nur der Quantor (ohne die Aussage).

'Vx A ist übrigens dasselbe wie Ex 'A : Klar, denn wenn für nicht alle x A gilt, dann gibt es ein x, für das nicht A gilt.

Hoffe, das hilft die irgendwie.