Câu hỏi: Cho suy luận: “Nếu Q uống quá nhiều rượu thì anh ấy say xỉn. Q không say xỉn. Vậy có nghĩa là anh ấy không uống, hoặc chỉ uống ít rượu”. Suy luận này đúng hay sai; viết sơ đồ suy luận?

A. Đúng; ((p → q) ∧ p) → q.

B. Đúng; ((p → q) ∧ ~p) → ~q.

C. Đúng; ((p → q) ∧ ~q) → ~p.

D. Sai; ((p → q) ∧ ~ q) → (r ∨ s).

Câu 1: Kiểu tam đoạn luận đơn OAO, thuộc hình 4 đúng hay sai, vì sao?

A. Sai, vì đại từ không chu diên trong tiền đề mà chu diên trong kết luận.

B. Đúng, vì thoả mãn tất cả các quy tắc chung của tam đoạn luận đơn.

C. Sai, vì trung từ không chu diên trong cả hai tiền đề.

D. Sai, tiểu từ không chu diên trong tiền đề mà chu diên trong kết luận.

Câu 2: “Khi đột nhập vào nhà nạn nhân, bị cáo tuyên bố với nạn nhân rằng, bị cáo sẽ giết nạn nhân nếu nạn nhân không đưa tiền cho bị cáo. Điều này được bị cáo xác nhận là có. Bên cạnh đó cơ quan điều tra cũng đã có kết luận rằng, ngay sau lời tuyên bố của bị cáo, nạn nhân đã đưa tiền cho bị cáo. Vậy suy ra rằng, bị cáo đã không giết nạn nhân”. Suy luận này đúng hay sai; viết sơ đồ suy luận?

A. Sai; [(~p → r) ∧ p] → ~r.

B. Đúng; [(~p → r) ∧ p] → ~r.

C. Đúng; [(p → ~r) ∧ p] → ~r.

D. Sai; [(p → ~r) ∧ p] → ~r.

Câu 3: Điều kiện cần và đủ để hai phán đoán đơn có quan hệ mâu thuẫn nhau là gì?

A. Khác nhau về chất.

B. Khác nhau về lượng.

C. Khác nhau cả về chất lẫn về lượng.

D. Khác nhau cả về chất, lượng lẫn chủ từ, vị từ.

Câu 4: Sơ đồ suy luận nào đúng?

A. {[(a → b) ∧ (c → d)] ∧ (b ∨ d)} ⇒ (a ∨ c).

B. {[(a → ~b) ∧ (c → ~d)] ∧ (b ∨ d)} ⇒ ~(a ∧ c).

C. {[(a → b) ∧ (c → d)] ∧ (~b ∨ ~d)} ⇒ (a ∨ c).

D. {[(a → b) ∧ (c → d)] ∧ (~b ∨ ~d)} ⇒ ~(a ∨ c).

Câu 5: Kiểu tam đoạn luận đơn AAI, thuộc hình 2 đúng hay sai, vì sao?

A. Sai, tiểu từ và đại từ chu diên trong tiền đề mà không chu diên trong kết luận.

B. Sai, vì trung từ không chu diên trong cả hai tiền đề.

C. Sai, hai tiền đề là toàn thể mà kết luận lại là phán đoán bộ phận.

D. Đúng, vì thoả mãn tất cả các quy tắc chung của tam đoạn luận đơn.

Câu 6: Sơ đồ suy luận nào đúng?

A. [(a ∨ b) ∧ a] ⇒ ~b.

B. [(a ∨ b) ∧ a] ⇒ b.

C. [(a ∨ b) ∧ ~a] ⇒ ~b.

D. [(a ∨ b) ∧ ~a] ⇒ a.