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...

Full description

Saved in:
Bibliographic Details
Main Authors: Lara Alcock, Rentuya Sa
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!