0:00
Difficulty: ExpertCategory: Logical EquivalenceType: Equivalence Check

Is the following a valid argument (tautology)?

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

This is known as Disjunctive Syllogism.