Crowdly
Додати до Chrome
In Lean, ¬ P is defined as P → false. Given this definition, and the theorem e...
✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.
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.
❌
❌
❌
✅