Câu hỏi: Sơ đồ suy luận nào sai?

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

B. [(a → ~b) ∧ a] ⇒ ~b.

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

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

Câu 1: Có bao nhiêu mệnh đề có quan hệ mâu thuẫn với 1 mệnh đề cho trước?

A. Một mệnh đề.

B. Hai mệnh đề.

C. Rất nhiều nhưng không vô số mệnh đề.

D. Vô số mệnh đề.

Câu 2: Mệnh đề nào đã bị lược bỏ trong kiểu tam đoạn luận hợp lôgích: P+ a M- ; S+ e M+?

A. S+ e P+

B. S- o P+

C. S+ a P-

D. S- i P-

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

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

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

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

D. A, B, C đều đúng.

Câu 4: “Đa số hạt cơ bản được tạo thành từ ba hạt quark; Proton là hạt cơ bản; Vậy, Proton được tạo thành từ ba hạt quark”. Tam đoạn luận đơn này đúng hay sai, tại sao?

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

B. Đúng, vì tuân thủ tất cả các quy tắc của tam đoạn luận đơn.

C. Sai, vì cả hai tiền đề đều là phán đoán bộ phận.

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

Câu 5: Đ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 6: 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).