Câu hỏi: 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 1: “Sắt, đồng, chì dẫn điện; Sắt, đồng, chì, v.v. là kim loại; vậy, mọi kim loại đều dẫn điện” là suy luận gì?

A. Tam đoạn luận đơn hình 3, hợp logic.

B. Quy nạp hình thức.

C. Loại suy tính chất.

D. A, B, C đều 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: “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 4: “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 5: Sơ đồ suy luận nào sai?

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

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

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

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

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