Câu hỏi: Mệnh đề nào đã bị lược bỏ trong kiểu tam đoạn luận hợp lôgích: M+ a P- ; M+ a S-?

A. S+ e P+

B. S- o P+

C. S+ a P-

D. S- i P-

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: 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 3: Sơ đồ suy luận nào đúng?

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

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

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

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

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

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

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

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

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

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