Câu hỏi: 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 1: 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 2: 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 3: Điều kiện cần và đủ để hai phán đoán đơn có quan hệ mâu thuẫn nhau là gì?

A. Khác nhau về chất.

B. Khác nhau về lượng.

C. Khác nhau cả về chất lẫn về lượng.

D. Khác nhau cả về chất, lượng lẫn chủ từ, vị từ.

Câu 4: “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 5: Có bao nhiêu mệnh đề có quan hệ tương phản với 1 mệnh đề cho trước?

A. Một mệnh đề.

B. Hai mệnh đề.

C. Nhiều mệnh đề.

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

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