If P, then Q. Therefore if !Q, then !P. ...this is quite wrong as well. E.g. If you are a man, you’re a human. Therefore if you’re not a man you’re not a human :-P
If P, then Q. Therefore if !Q, then !P.
...this is quite wrong as well. E.g. If you are a man, you’re a human. Therefore if you’re not a man you’re not a human :-P
No, it would be “Therefore if you’re not a human you’re not a man”, which does follow. The formal logic is fine.
No, it would be “Therefore if you’re not a human you’re not a man”, which does follow. The formal logic is fine.