I'm trying to show that this implication is true:
~P, P v Q --> Q
I can show it simply by writing out my thought process and showing that a contradiction occurs if I make ~P true and try to make the conditional on the right false.
But, when I do a truth table to check my work, I see that the two sentences do not have equivalent truth columns. Does this mean I've done something wrong in my analysis or does it sometimes not work with the truth table?