Rascal/Expressions/Values/Boolean/Implication

Name Rascal/Expressions/Values/Boolean/Implication

Synopsis The implication operator on Boolean values.

Syntax Exp₁ ==> Exp₂

Types

`Exp₁`	`Exp₂`	`Exp₁ ==> Exp₂`
`bool`	`bool`	`bool`

Description The implication operator on Boolean values defined as follows:

`Exp₁`	`Exp₂`	`Exp₁ ==> Exp₂`
`true`	`true`	`true`
`true`	`false`	`false`
`false`	`true`	`true`
`false`	`false`	`true`

Boolean operators have short circuit semantics: only those operands are evaluated that are needed to compute the result. In the case of the ==> operator, the result is true if Exp₁ evaluates to false, otherwise Exp₂ is evaluated to determine the result.

Examples

rascal>false ==> true;
bool: true

[Edit] | [New Subconcept] | [Recompile Course] | [Warnings]

Is this page unclear, or have you spotted an error? Please add a comment below and help us to improve it. For all other questions and remarks, visit ask.rascal-mpl.org.