假

Represents the false boolean value and can prefix a falsity check.

Syntax: 假 [<expression>]

Category#

boolean

Related#

• 真
• 空

Examples#

radix/corpus/falsum/falsum.fab (canonical · keyword)#

Represents the false boolean value and can prefix a falsity check.

test "falsum is the false literal" {
    const bool inactive ← false
    assert inactive ≡ false
    assert not inactive
}

test "falsum contrasts with verum" {
    assert false ≠ true
    assert false ≡ false
}
# =============================================================================
# 假 — Represents the false boolean value and can prefix a falsity check
# =============================================================================
#
# What this teaches:
#   • Represents the false boolean value and can prefix a falsity check.
#   • Related keywords: 真, 空类型
#
# Common mistakes:
#   • Confusing `假` with `空类型` — `假` is a 布尔 literal (false); `空类型` is the null/absent sentinel.
#
# See also: 真, 空类型
# =============================================================================

# 假 — false literal
#
# GRAMMAR:
#   literal :← '假'
#
# EXPECTED OUTPUT:
#   Scalar stdout smoke (see body).
#

main {
    const bool inactive ← false
    print inactive
}

Expected output:

falsum