3 ms·
The "ʌ" symbol (^ due to laziness) is commonly used to mean AND in propositional/formal logic in mathematics: https://en.wikipedia.org/wiki/Propositional_calcu
by chriskanan 6y ago
The "ʌ" symbol (^ due to laziness) is commonly used to mean AND in propositional/formal logic in mathematics:
https://en.wikipedia.org/wiki/Propositional_calculus https://en.wikipedia.org/wiki/Propositional_calculus
- tempodox 6y agoI know, but due to the use of “¬” for the negation I would have expected “∧” (‘LOGICAL AND’, U+2227), or at least something less ambiguous, like “&”. C conditioned me into thinking of ASCII caret as XOR.