Gegenspieler-Beweiser-Prinzip?
Hey, Ich verstehe nicht wie ich folgende Aussagen durch ein Beweiser-Gegenspieler Argument begründen soll.
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?
Logik und Diskrete Mathematik im Informatik Studium
1 Antwort
Vom Beitragsersteller als hilfreich ausgezeichnet
Von gutefrage auf Grund seines Wissens auf einem Fachgebiet ausgezeichneter Nutzer
IT, Informatik, Theoretische Informatik
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;
Vielen Dank! ^^