Use a truth table to show that the argument given below (transitivity) is a valid argument form.

p→q

q→r

-----

∴ p→r

I am not 100% sure what I am supposed to be looking for, but I did construct the truth table. Does this look right?

Attachment 8531