Frage:Wiedersprüchlichkeiten in Quantoren
Hallo liebes Stupidedia-Team.
Ich habe ein neues interessantes Thema im Bereich der klassischen Logik gefunden: Quantoren. Doch ist mir aufgefallen, dass es dort einige Wiedersprüchlichkeiten gibt, die ziemlich komisch sind. In Wikipedia wird beschrieben, das der Quantor einem Operator in der Prädiktenlogik entspricht. Aber eine Formel einige Zeilen darunter widerspricht dieser Aussage. \exists x A(x) \Leftrightarrow A(0) \lor A(1) \lor A(2) \lor \dots \forall x A(x) \Leftrightarrow A(0) \land A(1) \land A(2) \land \dots Also ist das jetzt ein "Logik-Fehler" oder liegt dass hier an der Stupidedia parodierenden Website "Wikipedia"?
- — R3XX3R (Diskussion) 13:28, 21. Apr. 2016 (CEST)
Antworten
Schade, dass die Formel hier nicht richtig angezeigt wird. Ansonsten würde ich dir gerne helfen. Aber ich persönlich glaube, es ist die Schuld Wikipedias, die den Nutzern falsche Informationen unterjubeln.
Herr Hold.
Ich habe mir die mühe gemacht und Ihnen die Formel genaustens aus meinem Gedächtnis aufgeschrieben...
Hier bitte:
[math]\exists x A(x) \Leftrightarrow A(0) \lor A(1) \lor A(2) \lor \dots \forall x A(x) \Leftrightarrow A(0) \land A(1) \land A(2) \land \dots[/math]