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

There are no comments on this page.

New comment
Feedback 👍
Comments are sent via email to me.