Registry · Definition VII.D57 tau-effective formalized

VII.D57 — Boolean Micro-Logic

Logic at individual propositions is classical Boolean; no contradiction within a single NF address.

Book VII Part 6 Ch. 66

Dependency Graph

Depended on by (1)

VII.T23

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.BooleanMicroLogic