Câu hỏi: 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 1: “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 2: Có bao nhiêu mệnh đề có quan hệ mâu thuẫn với 1 mệnh đề cho trước?

A. Một mệnh đề.

B. Hai mệnh đề.

C. Rất nhiều nhưng không vô số mệnh đề.

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

Câu 3: Mâu thuẫn lôgích xuất hiện trong tư duy là do sự kết hợp hai tư tưởng có quan hệ gì lại với nhau?

A. Trái ngược (tương phản).

B. Mâu thuẫn (tương khắc).

C. Lệ thuộc (bao hàm).

D. Đồng nhất (tương đương).

Câu 4: 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 5: Sơ đồ suy luận nào đúng?

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

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

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

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

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