Câu hỏi: Thao tác logic đi từ một hay vài tiền đề có quan hệ logic với nhau để rút ra một kết luận được gọi là gì?

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

B. Quy nạp hoàn toàn.

C. Suy luận.

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

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

A. ~a ∨ b.

B. ~a ∧ b.

C. a ∧ b.

D. a ∨ b.

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

A. A

B. I

C. E

D. A hay I

Câu 3: Thế nào là suy luận đúng?

A. Suy luận hợp logic.

B. Suy luận đưa đến kết luận đúng.

C. Suy luận hợp logic và xuất phát từ mọi tiền đề đều xác thực.

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

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

A. A

B. O

C. E

D. E hay I

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