Câu hỏi: Sơ đồ suy luận nào đúng?

A. {[(a → b) ∧ (c → d)] ∧ (b ∨ d)} ⇒ (a ∨ c).

B. {[(a → ~b) ∧ (c → ~d)] ∧ (b ∨ d)} ⇒ ~(a ∧ c).

C. {[(a → b) ∧ (c → d)] ∧ (~b ∨ ~d)} ⇒ (a ∨ c).

D. {[(a → b) ∧ (c → d)] ∧ (~b ∨ ~d)} ⇒ ~(a ∨ c).

Câu 1: Kết luận của quy nạp hoàn toàn có tính chất gì?

A. Bao quát, phong phú.

B. Chắc chắn, bao quát, không mới lạ.

C. Chắc chắn, ngắn gọn, phong phú.

D. Không tin cậy, ngắn gọn, sâu sắc.

Câu 2: 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 3: Sơ đồ suy luận nào đúng?

A. [(a ∨ b) ∧ a] ⇒ ~b.

B. [(a ∨ b) ∧ a] ⇒ b.

C. [(a ∨ b) ∧ ~a] ⇒ ~b.

D. [(a ∨ b) ∧ ~a] ⇒ a.

Câu 4: Mệnh đề nào đã bị lược bỏ trong kiểu tam đoạn luận hợp logic: M+ a P- ; S+ a P-?

A. M+ i S-

B. M- o S+

C. S+ a M-

D. S- i M-

Câu 5: 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 6: Sơ đồ suy luận nào đúng?

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

B. [(a → b) ∧ b] ⇒ a.

C. [(a → b) ∧ ~b] ⇒ ~a.

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