boolean lambdas

Concept

Booleans

• as curried functions that select one of the inputs

Propositions

• not: if p is true, return false, otherwise true

• and: if p is true, return q, otherwise false

• or: if p is true, return true, otherwise q

Application

Reduction of the not function