Câu hỏi: 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 1: 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 2: “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 3: 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 4: “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 5: 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 6: Sơ đồ suy luận nào đúng?

A. {[(a → b) ∧ (c → d)] ∧ (b ∨ d)} ⇒ (a ∨ c).

B. {[(a → ~b) ∧ (c → ~d)] ∧ (b ∨ d)} ⇒ ~(a ∧ c).

C. {[(a → b) ∧ (c → d)] ∧ (~b ∨ ~d)} ⇒ (a ∨ c).

D. {[(a → b) ∧ (c → d)] ∧ (~b ∨ ~d)} ⇒ ~(a ∨ c).