Not quite - logical implication maps to function types in programming via the Curry-Howard isomorphism: https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_corr

Not quite - logical implication maps to function types in programming via the Curry-Howard isomorphism: https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence#General_formulation https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon... i.e. knowing "A implies B" is like having a function that accepts a value of type A and outputs a value of type B.