Skip to content

Wie ich einmal die Variablenbedingung für die Existenzquantorbeseitigung erklärte

Wie ich einmal die Variablenbedingung für die Existenzquantorbeseitigung erklärte published on 5 Kommentare zu Wie ich einmal die Variablenbedingung für die Existenzquantorbeseitigung erklärte

Karl wurde ermordet. Der Täter muß geköpft werden.
Emma war in Ausralien, als der Mord geschah und kann es wahrscheinlich nicht gewesen sein. Mathilda sagt, sie sei einkaufen gewesen, aber niemand hat sie dabei gesehen. Rudolf war am Tatort und seine Fingerabdrücke befanden sich überall auf der Mordwaffe. Rudolf sagt aber, daraus könne nicht logisch gefolgert werden, daß er der Täter sei.
Allerdings muß es einen Täter geben. Nennen wir den Täter "Emma". Dann hat Emma Karl ermordet und muß geköpft werden. Also muß Emma geköpft werden.

Wenn Sie den Fehler in dieser Argumentation gefunden und verstanden haben, dann haben Sie auch die Einschränkung der möglichen Substitutionen bei der Existenzquantorbeseitigung verstanden.