Câu hỏi: “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 1: Cách phân loại quy nạp nào đúng?

A. QN hình thức, QN phóng đại và QN khoa học.

B. QN thông thường và QN toán học.

C. QN hoàn toàn và QN không hoàn toàn.

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

Câu 2: “Nếu trời mưa mà ta không mặc áo mưa thì đi đường sẽ bị ướt; Vì vậy, nếu trời không mưa hoặc ta có mặc áo mưa thì đi đường sẽ không bị ướt”. Suy luận này đúng hay sai; viết sơ đồ suy luận?

A. Đúng; [(p ∧ q) → r] → [(~p ∨ ~q) → ~r].

B. Sai; [(p ∧ q) → r] → [(~p ∨ ~q) → ~r].

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

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

Câu 3: Kiểu AOI đúng hay sai tại 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ì trung từ không chu diên trong cả hai tiền đề.

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

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

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

Câu 4: 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 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+ e M+?

A. S+ e P+

B. S- o P+

C. S+ a P-

D. S- i P-

Câu 6: Sơ đồ suy luận nào sai?

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

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

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

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