Câu hỏi: 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).

Câu 1: 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 2: “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 3: 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 4: Mệnh đề nào đã bị lược bỏ trong kiểu tam đoạn luận hợp logic: M+ a P- ; S+ a P-?

A. M+ i S-

B. M- o S+

C. S+ a M-

D. S- i M-

Câu 5: Sơ đồ suy luận nào sai?

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

B. [(a ∨  b) ∧ ~a] ⇒ b.

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

D. [(a ∨ b) ∧ ~b] ⇒ a.

Câu 6: Sơ đồ suy luận nào đúng?

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

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

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

D. [(a ∨ b) ∧ ~a] ⇒ a.