0:00
Difficulty: ExpertCategory: Logical EquivalenceType: Equivalence CheckIs 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.