0:00
ExpertLogical EquivalenceEquivalence Check
Is the following expression a tautology?
((A → B) → A) → A
This is known as Peirce's Law, named after Charles Sanders Peirce.
Is the following expression a tautology?
((A → B) → A) → A
This is known as Peirce's Law, named after Charles Sanders Peirce.