How do Introduction-to-Proof Textbooks Explain Conditionals...
Conditionals are ubiquitous in mathematics: we routinely express theorems usinguniversal conditionalsof the form ‘for allx, ifA(x)thenB(x)’. The logic of universal conditionals is underpinned by that ofpropos