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

Câu 2: 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 3: Kiểu AOI đúng hay sai tại 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ì trung từ không chu diên trong cả hai tiền đề.

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

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

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

Câu 4: Thế nào là suy luận quy nạp?

A. SL từ tiền đề chứa tri thức riêng rút ra kết luận chứa tri thức bao quát mọi tri thức riêng đó.

B. SL đem lại tri thức tổng quát và gần đúng.

C. SL dựa trên mối liên hệ nhân quả để rút ra kết luận.

D. SL đi từ những quy luật, khái niệm tổng quát rút ra hệ quả tất yếu của chúng.

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

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

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

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

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

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.