Gegenspieler-Beweiser-Prinzip?

Hey, Ich verstehe nicht wie ich folgende Aussagen durch ein Beweiser-Gegenspieler Argument begründen soll.

Comments

[Wintermadl]

Ich versuche es nochmal als Nachfrage, da die Antwort gelöscht wurde von mir.
Kannst du bitte verifizieren worum es sich hier genau handelt? Wer kann das beantworten? Physiker?

[xTomyx]

Logik und Diskrete Mathematik im Informatik Studium

Answer 1

[Destranix]

Soweit ich das verstehe wählt der beweise für den Existenzquantor eine Zahl seiner Wahl und der Gegenspieler wählt für die Allquantoren immer die allgemeinste Möglichkeit (die Variable selbst).

Das sähe für (a) dann so aus:

Gegenspieler wählt z = a;
Beweiser wählt y = a+1;
Gegenspieler wählt x = b;
=> Q(b, a+1, a) = (b + a + 1 > a) = true;

Comments

[xTomyx]

Vielen Dank! ^^

[Destranix]

@xTomyx

Nein, warum sollte die Aussage dann falsch sein.

=> Q(a-2, a+1, a) = (a - 2 + a + 1 > a) = (2*a - 1 > a) = true;