here are two ways implies(p::Bool, q::Bool) = !(p & !q)
implies(p::Bool, q::Bool) = ifelse(p, q, true) 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 >
