Indeed. implies(p::Bool, q::Bool) = q^p
perjantai 7. lokakuuta 2016 10.25.06 UTC+3 Fengyang Wang kirjoitti: > > The ^ operator can be used for implication. Due to Curry-Howard, > implication is isomorphic to function abstraction, which combinatorially > can be counted using the exponentiation function. > > On Thursday, October 6, 2016 at 12:10:51 PM UTC-4, Kevin Liu wrote: >> >> How is an implication represented in Julia? >> >> >> https://en.wikipedia.org/wiki/Material_conditional#Definitions_of_the_material_conditional >> >
