Definition:

Argumente mit follgender Form sind ungültig:

Wenn A, dann B

Nicht A

Deshalb nicht B

Beispiele:

1. Wenn du im Alter von sechs Jahren von einem Auto angefahren wirst, wirst du jung sterben. Aber du bist nicht von einem Auto angefahren worden als du sechs Jahre alt warst. Deshalb wirst du nicht jung sterben. (Natürlich könntest du im Alter von sieben Jahren von einem Zug angefahren werden. In diesem Fall würdes du dennoch jung sterben.)

2. Wenn ich in Aarau bin, bin ich auch im Kanton Aargau. Ich bin nicht in Aarau, deshalb bin ich nicht im Kanton Aargau.

Beweis:

Zeige, dass obwohl die Prämissen war sind, die Konklusion falsch sein kann. Im Einzelnen, zeige, dass die Konsequenz B eintreffen kann, obwohl A nicht eintrifft.

Definition:

Any argument of the following form is invalid: If A then B Not A Therefore, Not B

Examples:

  1. if you get hit by a car when you are six then you will die young. But you were not hit by a car when you were six. Thus you will not die young. (Of course, you could be hit by a train at age seven, in which case you still die young.)
  2. If I am in Calgary then I am in Alberta. I am not in Calgary, thus, I am not in Alberta.

Proof:

Show that even though the premises are true, the conclusion may be false. In particular, show that the consequence B may occur even though A does not occur.