A card from a free library — ask anything, no account, works offline. Every card carries its source.
Boolean algebra — the base of logic
instrument
The Boolean algebra — the base of logic verifier (src/concordance/verifiers/_boolean.py). Found from the code's own imports, never invented; the module keeps the logic, this card is a pointer.
source
verifier: _boolean · src/concordance/verifiers/_boolean.py
card id
card_instr_boolean
address
WIT.codex.FCT/boolean-algebra-the-base-of-logic/REF.WITNESSED@verifier-boolean
adjoining cards
- part of → The instruments — every verifier and validator, and where they join — a root of the instrument trees (Boolean algebra — the base of logic)
- enables → Computer science — Computer science imports Boolean algebra — the base of logic
- enables → Formal logic — Formal logic imports Boolean algebra — the base of logic
- enables → Mathematics — the numeric substrate — Mathematics — the numeric substrate imports Boolean algebra — the base of logic
Is this card incomplete? Tell the library — it will call out for more ↗