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 ofpropositional conditionals, which take the form ‘ifA(x0)thenB(x0)’, wherex0is a specifi...