6. Use a truth table to prove (or disprove) that the following two statements are equivalent.
(ii) P → Q, where "¬" indicates negation.