0:00
Difficulty: ExpertCategory: Logical EquivalenceType: Equivalence CheckIs the following a valid argument (tautology)?
((A ∨ B) ∧ ¬A) → B
This is known as Disjunctive Syllogism.
Is the following a valid argument (tautology)?
((A ∨ B) ∧ ¬A) → B
This is known as Disjunctive Syllogism.