'Why programmers doesn't use material conditional (implication)?

Logical negation (NOT), conjunction (AND), disjunction (OR) and exclusive disjunction (XOR) are very often used in every programming language. Why isn't the material implication (p → q) used so often?

logicimplication


Solution 1:[1]

I'd say the ubiquitous "if statement" represents material implication

if p then q

If p is true then q follows: p->q

Sources

This article follows the attribution requirements of Stack Overflow and is licensed under CC BY-SA 3.0.

Source: Stack Overflow

Solution Source
Solution 1 Ander Cruz

Related Questions