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

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 1: “Ăn mặn thì khát nước; Khát nước thì uống nhiều nước; Uống nhiều nước thì đã khát; Vậy, ăn mặn thì đã khát”. Đây là suy luận gì? Có hợp logic không?

A. Suy luận bắc cầu, không hợp logic.

B. Suy luận đa đề, không hợp logic.

C. Tam đoạn luận phức, kiểu kéo theo thuần túy, dạng tĩnh lược, hợp logic.

D. Tam đoạn luận phức, kiểu kéo theo thuần túy, dạng tĩnh lược, không hợp logic.

Câu 2: Từ tiền đề “Có loài côn trùng không có hại”, bằng phép đổi chỗ, kết luận hợp logic được rút ra là gì?

A. Một số loài không có hại là côn trùng.

B. Những loài côn trùng khác có hại.

C. Không phải tất cả các loài côn trùng đều có hại.

D. Không thực hiện được.

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, nếu có 1 tiền đề là E 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 5: Trong tam đoạn luận đơn, nếu cả 2 tiền đề là E 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. A, B, C đều sai.

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.