boolean in lambda calculus

boolean-lambda.fs

let identidad x = x
let verdadero x y = identidad x
let falso x y = identidad y
let negacion x = x falso verdadero
let contrario booleano x y = booleano y


let si booleano x y = booleano x y

let a = si (verdadero) 5 6
let b = si (falso) 5 6
let c = si (negacion falso) 5 6

let Y a b = a b falso
let O a b = a verdadero b


let d = si (Y falso falso) 5 6
let e = si (O falso verdadero) 5 6