題組內容

6. Use a truth table to prove (or disprove) that the following two statements are equivalent.

(ii) P → Q, where "¬" indicates negation.