و

Combines boolean expressions with logical and.

Aliases: and

Syntax: <expression> و <expression>

Category#

logic

Related#

• أو
• ليس

Examples#

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

Combines boolean expressions with logical and.

test "and requires both operands" {
    assert (true and true) ≡ true
    assert (false and true) ≡ false
    assert (true and false) ≡ false
    assert (false and false) ≡ false
}

test "and mirrors the incipit smoke" {
    const bool paratus ← true
    const bool licet ← true
    const bool currit ← paratus and licet
    assert currit ≡ true
}
# =============================================================================
# et — Combines boolean expressions with logical and.
# =============================================================================
#
# What this teaches:
#   • Logical AND — `<منطقي> et <منطقي>` combines two boolean operands with short-circuit evaluation.
#   • Short-circuit behavior — if the left operand is خطأ, the right operand is not evaluated.
#
# Common mistakes:
#   • Confusing `et` with `أو` — `et` requires both operands to be منطقي (truthy); `أو` requires at least one operand to be truthy.
#
# See also: أو, ليس
# =============================================================================


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

main {
    # left operand: صواب
    const bool paratus ← true
    # right operand: صواب
    const bool licet ← true
    # صواب et صواب → صواب
    const bool currit ← paratus and licet
    print currit
}

Expected output:

verum