Trả lời:
Đáp án đúng: B
Mệnh đề P→Q (P kéo theo Q) có thể được viết lại dưới dạng "¬P ∨ Q" (không P hoặc Q). Điều này xuất phát từ định nghĩa của phép kéo theo trong logic mệnh đề. Khi P đúng và Q sai, P→Q sai. Trong tất cả các trường hợp còn lại, P→Q đúng. Biểu thức "¬P ∨ Q" cũng đúng trong tất cả các trường hợp ngoại trừ khi P đúng và Q sai, do đó hai biểu thức này tương đương logic.





