Câu hỏi: 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 1: Khi nào hai phán đoán có quan hệ mâu thuẫn với nhau?

A. Khi chúng không cùng đúng cùng sai.

B. Khi chúng có cùng thuật ngữ, không cùng đúng cùng sai.

C. Khi chúng không cùng đúng nhưng có thể cùng sai.

D. Khi chúng có cùng thuật ngữ hay phán đoán thành phần, không cùng đúng cùng sai.

Câu 2: Đ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 3: Kiểu tam đoạn luận đơn OAO, thuộc hình 4 đúng hay sai, vì sao?

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

B. Đúng, vì thoả mãn tất cả các quy tắc chung của tam đoạn luận đơn.

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

D. Sai, tiểu từ không chu diên trong tiền đề mà chu diên trong kết luậ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: 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 6: Kiểu tam đoạn luận đơn AAI, thuộc hình 2 đúng hay sai, vì sao?

A. Sai, tiểu từ và đại từ chu diên trong tiền đề mà không chu diên trong kết luận.

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

C. Sai, hai tiền đề là toàn thể mà kết luận lại là phán đoán bộ phận.

D. Đúng, vì thoả mãn tất cả các quy tắc chung của tam đoạn luận đơn.