Implies¶
Status: Stable
documented, exercised by the test suite and/or worked examples, with no known limitations recorded.
Description¶
Implies[p, q]
The material implication p \[Implies] q, equivalent to !p || q. Implies[False, q] and Implies[p, True] are True, Implies[True, q] is q, and Implies[p, False] is !p.
Examples¶
No verified examples yet for this function.
Implementation notes¶
Attributes: Protected.
References¶
See also: LogicalExpand, Reduce
- Source:
src/boolean.c - Specification:
docs/spec/builtins/control-flow.md - Tests:
tests/test_boolean.c - Tests:
tests/test_reduce.c