Question 263168
Recall that the truth table for p -> q is 


p.......q........p -> q
T.......T........T
T.......F........F
F.......T........T
F.......F........T



In other words, p -> q is only false when p is true and q is false. This is like saying that "if it rains, then it will be wet outside". If it does rain, but doesn't get wet, then the statement is false. In any other case, p -> q is true.



If we swap p and q to get q -> p, we then get


p.......q........q -> p
T.......T........T
T.......F........T
F.......T........F
F.......F........T




So the proper heading for the last column is q -> p