(Zumindest in den Fällen, wo sie sich Probleme ausdenken. Wenn sie Scheinlösungen zu realen Problemen anbieten, liegen sie natürlich falsch.)
(Zumindest in den Fällen, wo sie sich Probleme ausdenken. Wenn sie Scheinlösungen zu realen Problemen anbieten, liegen sie natürlich falsch.)
Also, in meiner VO Theoretische Grundlagen der Informatik gab es (bisher) keine ungültigen Aussagen. Es kam schon vor, dass man aus falschem beliebiges schließen kann, aber halt trotzdem in dem Sinne, dass die Implikation (die gesamte Aussage, nicht unbedingt der rechte Operand der Aussage) dann immer wahr ist. Bei uns geht es halt auch eher darum, was der Rechner mit den Werten anfängt, und ungültige Werte sind da wohl eher kontraproduktiv.
Ich muss aber auch sagen, dass die Diskussion, die ich hier losgetreten habe, etwas aus meinem Fahrwasser ist und ich jetzt gerne nach meiner Mama rufen würde, wenn das okay ist.
Keine Angst, soweit ich es mitbekomme, drehen wir zwar völlig ab über ein sinnloses Thema, aber es ist gesittet und macht Spaß.
Es ist okay. Gehst du bitte solange im Bälleparadies warten?
Ansonsten zum Thema Gültigkeit: du kannst mal das sehr kurze Kapitel “Formale Korrektheit” auf der Wiki-Seite zum Thema Schlüssigkeit durchlesen. Da ist es so definiert, wie ich es in der Uni gelernt habe.
Einfach ausgedrückt ist es so: Wenn die Prämisse wahr ist, darf es nicht sein, dass die Konklusion im Widerspruch steht (wie bei
A=>^A). Ist dies der Fall, spricht man von einem ungültigen Argument.Schlüssigkeit folgt daraus und der Wahrheit der Prämisse.