Teaching (Mathematical) Implication Better

buttondown.email

6 pointssealeck1 comment

Another way to look at it is as logical currying/uncurrying: it's useful to go back and forth between (A & B) => C and A => (B => C).