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: 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: 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 3: “Nếu trời mưa mà ta không mặc áo mưa thì đi đường sẽ bị ướt; Vì vậy, nếu trời không mưa hoặc ta có mặc áo mưa thì đi đường sẽ không bị ướt”. Suy luận này đúng hay sai; viết sơ đồ suy luận?

A. Đúng; [(p ∧ q) → r] → [(~p ∨ ~q) → ~r].

B. Sai; [(p ∧ q) → r] → [(~p ∨ ~q) → ~r].

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

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

Câu 4: 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 5: 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 6: Mệnh đề nào đã bị lược bỏ trong kiểu tam đoạn luận hợp logic: M+ a P- ; S+ a P-?

A. M+ i S-

B. M- o S+

C. S+ a M-

D. S- i M-