'If-then' and validity

was that when an argument has a form that is truth-functional, we can now test it for validity. 1

(If you'd like more practice.) Test the argument-form

If P then not Q __________ If Q then not P.

Unfortunately there is also some