et

Combines boolean expressions with logical and.

Aliases: and

Syntax: <expression> et <expression>

Category

logic

Related

• aut
• non

Examples

examples/corpus/et/et.fab (canonical · operator-group)

Combines boolean expressions with logical and.

# et — logical AND on bivalent operands (short-circuit)
#
# <bivalens> et <bivalens>
#
# GRAMMAR:
#   binaryExpr :← expr 'et' expr
#
# EXPECTED OUTPUT:
#   none

incipit {
    # left operand: verum
    fixum _ paratus ← verum
    # right operand: verum
    fixum _ licet ← verum
    # verum et verum → verum
    fixum _ currit ← paratus et licet

    nota currit
}

Expected output:

verum