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: “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 2: 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 3: Suy luận: “Sinh viên kinh tế nào tốt nghiệp loại giỏi cũng dễ kiếm việc làm. Có một số sinh viên kinh tế không tốt nghiệp loại giỏi. Như vậy có một số sinh viên kinh tế không dễ tìm việc làm” có phải là tam đoạn luận đơn (nhất quyết) không, nếu phải thì nó đúng hay sai, tại sao?

A. Không phải là tam đoạn luận đơn (nhất quyết)

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

C. Sai, vì đại tư không chu diên trong tiền đề, mà chu diên trong kết luận

D. Đúng, vì tuân thủ các quy tắc của tam đoạn luận đơn

Câu 4: Quy nạp khoa học có đặc điểm gì?

A. Được sử dụng trong khoa học để nghiên cứu mọi mối liên hệ nhân quả.

B. Không cần khảo sát nhiều trường hợp mà kết luận được rút ra luôn đúng.

C. Dựa trên mối liên hệ nhân quả để rút ra kết luận có độ tin cậy cao.

D. Chỉ dùng trong khoa học thực nghiệm, từ các sự kiện quan sát rút ra mọi định luật chung.

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 đú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.