Quy tắc suy luận nào sau đây là quy tắc tam đoạn luận?
Trả lời:
Đáp án đúng: D
Quy tắc tam đoạn luận là một quy tắc suy luận trong logic toán học, cho phép suy ra một kết luận từ hai mệnh đề cho trước. Cụ thể, nếu có hai mệnh đề "P suy ra Q" và "Q suy ra R" đều đúng, thì có thể suy ra mệnh đề "P suy ra R" cũng đúng.
Phương án A: (P∧(P→Q)) → Q là quy tắc Modus Ponens (khẳng định). Nếu P đúng và P suy ra Q đúng, thì Q đúng.
Phương án B: ((P→Q) ∨ (Q→R)) → (P→R) không phải là quy tắc tam đoạn luận. Vế trái sử dụng phép "hoặc", và kết luận không chắc chắn.
Phương án C: ((P→Q) ∨ (Q→R)) → (Q→R) cũng không phải là quy tắc tam đoạn luận. Tương tự như phương án B, vế trái sử dụng phép "hoặc" và kết luận không hợp lý.
Phương án D: ((P→Q) ∧ (Q→R)) → (P→R) chính là quy tắc tam đoạn luận. Nếu "P suy ra Q" và "Q suy ra R" đồng thời đúng (phép "và"), thì có thể suy ra "P suy ra R".
Vậy đáp án đúng là D.





