(the version using ifelse benchmarks faster on my system)
On Thursday, October 6, 2016 at 3:05:50 PM UTC-4, Jeffrey Sarnoff wrote: > > 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 >> >
