Câu hỏi: 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 1: 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 2: 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 3: 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].

Câu 4: Điều kiện đủ để xây dựng được một suy luận diễn dịch trực tiếp hợp logic là gì?

A. Tiền đề và kết luận phải là 2 PĐ có chủ từ và vị từ giống nhau.

B. Tiền đề và kết luận phải là 2 PĐ có quan hệ đồng nhất nhau.

C. Tiền đề và kết luận phải là 2 PĐ có các thành phần giống nhau.

D. Kết luận phải là PĐ lệ thuộc vào PĐ tiền đề.

Câu 5: 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 6: Trong tam đoạn luận đơn, những cặp tiền đề nào không vi phạm quy tắc chung?

A. AA, AE, AI, AO, EA, EO, IA, IE, OA.

B. AA, AE, AI, AO, EA, IA, IE, OA, II.

C. AA, AE, AI, AO, EA, EI, IA, IE, OA.

D. AA, EE, AE, AI, AO, EA, IA, IE,OA.