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.