Câu hỏi: 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.

Câu 1: “Đ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 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- i P-?

A. M+ a S-

B. S- i M-

C. S+ a M-

Câu 3: Kiểu EIO đúng hay sai, vì sao? Biết rằng, tam đoạn luận đơn này có trung từ là chủ từ trong tiểu tiền đề và là vị từ trong đại tiền đề?

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

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

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

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

Câu 4: 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 5: 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 6: Khi nào hai phán đoán có quan hệ mâu thuẫn với nhau?

A. Khi chúng không cùng đúng cùng sai.

B. Khi chúng có cùng thuật ngữ, không cùng đúng cùng sai.

C. Khi chúng không cùng đúng nhưng có thể cùng sai.

D. Khi chúng có cùng thuật ngữ hay phán đoán thành phần, không cùng đúng cùng sai.