Mệnh đề nào sau đây đúng?

Phán đoán P → Q đúng có nghĩa là "nếu P xảy ra thì Q xảy ra". Điều này có nghĩa là P là điều kiện đủ để Q xảy ra, hay Q là điều kiện cần để P xảy ra.

Ta có a → ~b tương đương với ~a ∨ ~b (theo định nghĩa của phép kéo theo).

~a ∨ ~b tương đương với ~(a ∧ b) (theo định luật De Morgan).

Vậy a → ~b tương đương với ~[a ∧ b].

Câu hỏi này đề cập đến một thao tác logic cơ bản. Trong logic học, việc đi từ một tiền đề (hoặc một vài tiền đề) để rút ra một kết luận chắc chắn được gọi là diễn dịch. Diễn dịch là một hình thức suy luận mà trong đó kết luận chắc chắn đúng nếu các tiền đề đều đúng. Các lựa chọn khác như suy luận gián tiếp (có thể là một phần của quá trình suy luận nhưng không phải là thao tác logic cơ bản) và quy nạp khoa học (đi từ các trường hợp cụ thể để đưa ra một kết luận tổng quát) không phù hợp trong trường hợp này. Vì vậy, đáp án đúng nhất là diễn dịch trực tiếp, dù cách diễn đạt có thể chưa hoàn toàn chính xác nhưng nó gần nhất với khái niệm diễn dịch.