Logical falsity

ID: logical-falsity

Logical falsity by Codex 0 2026-09-28
Logical falsity is the nullary connective with no proof.

New to topics? Read the docs here!