Any argument of the following form is invalid: (1) If A then B (2) Not A (3) Therefore, Not B
- 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.)
- If I am in Calgary then I am in Alberta. I am not in Calgary, thus, I am not in Alberta.