4 ms·Teaching (Mathematical) Implication Better6 points by sealeck 4y ago082349872349872 4y agoAnother 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).