Frage:Wiedersprüchlichkeiten in Quantoren
Aus Stupidedia, der sinnfreien Enzyklopädie!
Version vom 13:28, 21. Apr. 2016 von R3XX3R (Diskussion | Beiträge)
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)
