Next | Types Are Theorems; Programs Are Proofs | 13 |

Write a

**proof**To prove

*a*→*b*, assume*a*and present an argument for*b*(`→I`)If

*a*is proved, and if*a*→*b*is proved, then*b*is proved (`→E`)

continued...

Next
Copyright © 2014 M. J. Dominus