Predefined function reference
implies
A reference entry for implies
implies (boolean a, boolean b) ⇒ boolean
Returns the result of logical implication on a → b.
Notes
Logical implication is true provided that truth does not imply a false statement. It
is the equivalent of !$a || $b.
| P | Q | P → Q |
|---|---|---|
| True | True | True |
| True | False | False |
| False | True | True |
| False | False | True |