I am trying to detrmine whether this argument is valid or not:

p → q

∼p

———

∴∼q

I did not see this as modus ponens or modus tollens.

But I described it as:

p: I walk my dog

q: he is happy

p → q: if I walk my dog he is happy

~p: I did not walk my dog

therefore

~q: he is not happy

This is not valid according to the table there could be two different outcomes.

is this correct?

p|q|p → q| ~p|~q

T|T|T |F |F

T|F|F |F |T

F|T|T |T |F

F|F|T |T |T

Is this correct?

If now please explian how to prove (valid) or (invalid)?