Kết xuấtvi

falsum

Translation status: Tiếng Việt reader-locale proof. Code fences render through the vi pipeline; prose is canonical Latin.

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

Syntax: falsum [<expression>]

Category#

boolean

Examples#

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

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

# =============================================================================
# falsum — 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: verum, nihil
#
# Common mistakes:
#   • Confusing `falsum` with `nihil` — `falsum` is a bivalens literal (false); `nihil` is the null/absent sentinel.
#
# See also: verum, nihil
# =============================================================================

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

main {
    const _ inactive ← false
    print inactive
}

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

test "falsum contrasts with verum" {
    assert false ≠ true
    assert false ≡ false
}

Expected output:

falsum