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: 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 2: 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 3: Quy tắc riêng của tam đoạn luận hình 2 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; có tiền đề là O hay E.

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

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

Câu 4: Dựa theo quan hệ gì của hình vuông logic ta có sơ đồ suy luận: A ↔ ~O ; E ↔ ~ I?

A. Mâu thuẫn.

B. Tương phản trên.

C. Tương phản dưới.

D. Lệ thuộc.

Câu 5: Trong tam đoạn luận đơn, nếu có 1 tiền đề là I hay O thì kết luận hợp logic là gì?

A. A hay I.

B. E hay O.

C. A hay E.

D. O hay I.

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].