Câu hỏi: 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 1: “Khi đột nhập vào nhà nạn nhân, bị cáo tuyên bố với nạn nhân rằng, bị cáo sẽ giết nạn nhân nếu nạn nhân không đưa tiền cho bị cáo. Điều này được bị cáo xác nhận là có. Bên cạnh đó cơ quan điều tra cũng đã có kết luận rằng, ngay sau lời tuyên bố của bị cáo, nạn nhân đã đưa tiền cho bị cáo. Vậy suy ra rằng, bị cáo đã không giết nạn nhân”. Suy luận này đúng hay sai; viết sơ đồ suy luận?

A. Sai; [(~p → r) ∧ p] → ~r.

B. Đúng; [(~p → r) ∧ p] → ~r.

C. Đúng; [(p → ~r) ∧ p] → ~r.

D. Sai; [(p → ~r) ∧ p] → ~r.

Câu 2: 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 3: Kiểu EIO đúng hay sai, vì sao? Biết rằng, tam đoạn luận đơn này có trung từ là chủ từ trong tiểu tiền đề và là vị từ trong đại tiền đề?

A. Sai, vì cả hai tiền đề đều là phán đoán bộ phận.

B. Sai, vì trung từ không chu diên trong cả hai tiền đề.

C. Đúng, vì tuân theo tất cả các quy tắc tam đoạn luận đơn.

D. Sai, vì tiểu từ không chu diên trong tiền đề, nhưng chu diên trong kết luận.

Câu 4: 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 5: “Sắt, đồng, chì dẫn điện; Sắt, đồng, chì, v.v. là kim loại; vậy, mọi kim loại đều dẫn điện” là suy luận gì?

A. Tam đoạn luận đơn hình 3, hợp logic.

B. Quy nạp hình thức.

C. Loại suy tính chất.

D. A, B, C đều sai.

Câu 6: 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.