Câu hỏi: 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 1: 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 2: 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 3: “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 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: “Đ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 6: “Chào mào thích ăn hạt kê; bởi vì chào mào là một loài chim; mà mọi loài chim đều thích ăn hạt kê”. Tam đoạn luận này đúng hay sai, tại sao?

A. Đúng, vì các tiền đề và kết luận đều đúng.

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ì không phải loài chim nào cũng thích ăn hạt kê.

D. Sai, vì cả hai tiền đề đều là phán đoán khẳng định.