Liệu đây có phải là một lập luận hợp lệ (tautology)?

((A ∨ B) ∧ ¬A) → B

Đây được gọi là Tam đoạn luận tuyển (Disjunctive Syllogism).