Crowdly
Add to Chrome
In Lean, ¬ P is defined as P → false. Given this definition, and the theorem e...
✅ The verified answer to this question is available below. Our community-reviewed solutions help you understand the material better.
In Lean, ¬ P is defined as P → false. Given this definition, and the theorem efq : false → P, what does the theorem efq tell us?
Select the most appropriate answer.
❌
❌
❌
✅