Câu hỏi: 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 1: 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 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: Thao tác logic đi từ 2 tiền đề có quan hệ logic với nhau để rút ra một phán đoán mới làm 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 gián tiếp.

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

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

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 5: 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 6: Nếu tiền đề là O, 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

D. Không thực hiện được