To use this website fully, you first need to accept the use of cookies. By agreeing to the use of cookies you consent to the use of functional cookies. For more information read this page.

Official ZPE/YASS documentationimplies

implies (boolean a, boolean b) ⇒ boolean

Returns the result of logical implication on a → b.

First available: Version 1.7.4


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
Code previewClose
Feedback 👍
Comments are sent via email to me.