Sơ đồ suy luận nào đúng?
Trả lời:
Đáp án đúng: C
Đáp án đúng là phương án 3: {[(a → b) ∧ (a → d)] ∧ (~b ∨ ~d)} ⇒ ~a.
Giải thích:
Đây là một dạng của phép suy luận Modus Tollens mở rộng. Ta có thể giải thích như sau:
1. (a → b) ∧ (a → d): Nếu a xảy ra thì b và d đều xảy ra.
2. ~b ∨ ~d: Hoặc b không xảy ra, hoặc d không xảy ra (hoặc cả hai).
Từ 1 và 2, nếu a xảy ra thì cả b và d phải xảy ra. Nhưng ~b ∨ ~d nghĩa là ít nhất một trong hai (b hoặc d) không xảy ra. Do đó, a không thể xảy ra. Vì vậy, ta suy ra ~a (không a).
Các đáp án khác không đúng vì:
* Đáp án 1: {[(a → b) ∧ (a → d)] ∧ (b ∨ d)} ⇒ a. Không đúng vì b hoặc d xảy ra không đảm bảo a phải xảy ra.
* Đáp án 2: {[(a → ~b) ∧ (c → ~b)] ∧ ~b} ⇒ (a ∨ c). Không đúng vì ~b xảy ra không nhất thiết kéo theo a hoặc c phải xảy ra.
* Đáp án 4: {[(a → b) ∧ (a → d)] ∧ (~b ∨ ~d)} ⇒ a. Mâu thuẫn với lập luận Modus Tollens. Nếu ~b ∨ ~d thì a không thể xảy ra.
Chia sẻ 340 câu trắc ôn thi trắc nghiệm logic học có đáp án dành cho các bạn sinh viên nhằm giúp bạn ôn tập và kiểm tra đạt kết quả cao.
50 câu hỏi 60 phút