Câu hỏi: Dựa theo quan hệ gì của hình vuông logic ta có sơ đồ suy luận: A → ~E ; E → ~A?

A. Mâu thuẫn.

B. Tương phản trên.

C. Tương phản dưới.

D. Lệ thuộc.

Câu 1: Nếu tiền đề là E, dựa theo phép đổi chất, kết luận hợp logic là gì?

A. A

B. I

C. A hay I

Câu 2: Tìm phán đoán tương đương logic với: a → ~b.

A. ~[a ∧ b].

B. ~a ∧ ~b.

C. ~[~a ∧ ~b].

D. a ∨ b.

Câu 3: Thế nào là suy luận hợp logic?

A. SL tuân thủ mọi quy tắc logic hình thức.

B. SL từ tiền đề đúng và tuân thủ mọi quy tắc logic.

C. SL luôn đưa đến kết luận xác thực.

D. SL có lý nhưng luôn đưa đến kết luận sai lầm.

Câu 4: Nếu tiền đề là A, dựa theo phép đổi chất và đổi chỗ, kết luận hợp logic là gì?

A. A

B. I

C. E hay O

D. A hay I

Câu 5: Thao tác logic đi từ 1 tiền đề để rút ra 1 kết luận được gọi là gì?

A. Diễn dịch trực tiếp.

B. Suy luận gián tiếp.

C. Quy nạp khoa học.

D. A, B, C đều  sai.

Câu 6: Nếu phán đoán P ↔ Q đúng thì mệnh đề nào sau đây cũng đúng?

A. P, Q là điều kiện cần và đủ của nhau.

B. P là điều kiện đủ của Q.

C. P là điều kiện cần của Q.

D. Q là điều kiện cần của P.