Câu hỏi: Kiểu suy luận nào đúng?

A. [a → ~b] ⇒ [~b → a].

B. [~a → b] ⇒ [b → a].

C. [a → b] ⇒ [~a → ~b].

D. [a → b] ⇒ [~a ∨ b].

Câu 1: Xác định các kiểu đúng của tam đoạn luận hình 2.

A. EAE, AEE, EIO, AOO.

B. AAI, AEE, IAI, EAO.

C. AAA, EAE, AII, EIO.

D. AAA, EAE, AEE, EIO.

Câu 2: Quy tắc riêng của tam đoạn luận hình 3 là gì?

A. Đại tiền đề là A hay E; tiểu tiền đề là A hay I.

B. Đại tiền đề là A hay E; tiểu tiền đề là E hay O.

C. Tiểu tiền đề là A hay I; kết luận là O hay I.

D. Đại tiền đề là A hay E; có 1 tiền đề là A hay I.

Câu 3: Kiểu suy luận nào đúng?

A. [a → ~b] ⇒ [~a ∧ ~b].

B. [~a → b] ⇒ [b → a].

C. [~a → b] ⇒ [~a → ~b].

D. [a → ~b] ⇒ ~{a ∧ b}.

Câu 4: Trong tam đoạn luận đơn hợp logic, trung từ phải thế nào?

A. Có mặt trong cả 2 tiền đề.

B. Chu diên ít nhất 1 lần.

C. Không xuất hiện ở kết luận.

D. A, B, C đều đúng.

Câu 5: “Một số loài thú sống dưới nước; Cá voi sống dưới nước; Vậy, cá voi là loài thú”. Tam đoạn luận đơn này đúng hay sai, vì sao?

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

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

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: Kiểu suy luận nào đúng?

A. [a → ~b] ⇒ [~b → a].

B. [~a → b] ⇒ [~b → ~a].

C. [~b → a] ⇒ [~a → b].

D. [a →  b] ⇒ [~b → a].