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

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

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

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

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

Câu 1: Có bao nhiêu mệnh đề có quan hệ mâu thuẫn với 1 mệnh đề cho trước?

A. Một mệnh đề.

B. Hai mệnh đề.

C. Rất nhiều nhưng không vô số mệnh đề.

D. Vô số mệnh đề.

Câu 2: Thế nào là suy luận quy nạp?

A. SL từ tiền đề chứa tri thức riêng rút ra kết luận chứa tri thức bao quát mọi tri thức riêng đó.

B. SL đem lại tri thức tổng quát và gần đúng.

C. SL dựa trên mối liên hệ nhân quả để rút ra kết luận.

D. SL đi từ những quy luật, khái niệm tổng quát rút ra hệ quả tất yếu của chúng.

Câu 3: Cho suy luận: “Nếu Q uống quá nhiều rượu thì anh ấy say xỉn. Q không say xỉn. Vậy có nghĩa là anh ấy không uống, hoặc chỉ uống ít rượu”. Suy luận này đúng hay sai; viết sơ đồ suy luận?

A. Đúng; ((p → q) ∧ p) → q.

B. Đúng; ((p → q) ∧ ~p) → ~q.

C. Đúng; ((p → q) ∧ ~q) → ~p.

D. Sai; ((p → q) ∧ ~ q) → (r ∨ s).

Câu 4: 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 5: Mệnh đề nào đã bị lược bỏ trong kiểu tam đoạn luận hợp lôgích:  P+ a M- ; S- i P-?

A. M+ a S-

B. S- i M-

C. S+ a M-

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

A. S+ e P+

B. S- o P+

C. S+ a P-

D. S- i P-