Loadingβ¦
How do introduction-to-proof textbooks explain conditionals and implications?
Conditionals are ubiquitous in mathematics: we routinely express theorems using universal conditionals of the form βfor all π₯, if π΄(π₯) then π΅(π₯)β. The logic of universal conditionals is underpinned by that of propositional conditionals, which take the form βif π΄(π₯0) then π΅(π₯0)β, where π₯0 is a specif...
Saved in:
Main Authors: | , |
---|---|
Format: | Default Article |
Published: |
2024
|
Subjects: | |
Online Access: | https://hdl.handle.net/2134/27316422.v1 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|