∀x (H(x) → F(x))
論理
Foundry Threshold
Argument enters as ore. Form leaves as law.
ronri.org
porcelain inventory tag
porcelain inventory tag
H(a)
∴ F(a)
All P are Q
R is P
R is Q
ALIGN
∴ the gate accepts the inference
⊥
PQR¬P
P → Q inspection ledger
| P | Q | P → Q | stamp |
|---|---|---|---|
| T | T | T | cooled |
| T | F | F | crack |
| F | T | T | cooled |
| F | F | T | cooled |
P → Q / P / ∴ QP → Q / ¬Q / ∴ ¬PP ∨ Q / ¬P / ∴ QP → Q / Q → R / ∴ P → RVALID FORM
Quiet Q.E.D. Room
What survives the works is not opinion, but fit.
Premises aligned. Teeth engaged. The furnace found no contradiction. The ledger closes on a porcelain proof mark.
Q.E.D.
論理 bureau · nocturne serial 080A0C