Next Types Are Theorems; Programs Are Proofs 10

Examples of propositions

       a → a               TRUE
       a → b               FALSE
       a → (b → b)         TRUE
       a → (b → a)         TRUE
       a → (a → b)         FALSE

Next Next