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

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
Comments

There are no comments on this page.

New comment
Reply
Provide feedback on this page
Comments are sent via email to me.