FRAGMENT 01 / IDENTITY
P ⇒ P
A proposition implies itself. The first axiom of any system that hopes to be honest. Every floppy disk we ever burned ended with this sentence.
∀p . (p → p)
論理 · ronri · logic
A vaporwave dossier on formal reasoning, drifting through infinite gradient space.
FRAGMENT 01 / IDENTITY
A proposition implies itself. The first axiom of any system that hopes to be honest. Every floppy disk we ever burned ended with this sentence.
∀p . (p → p)
FRAGMENT 02 / NON-CONTRADICTION
A statement and its negation cannot both be true. The marble hallway will not allow it. The arcade light flickers but the rule stands.
∀p . ¬(p ∧ ¬p)
FRAGMENT 03 / EXCLUDED MIDDLE
Either it is, or it is not. There is no third terminal. The cyan haze does not soften this.
∀p . (p ∨ ¬p)
FRAGMENT 04 / MODUS PONENS
If a thing implies another, and the first holds, the second must follow. Inference as the slow drift of a magnetic tape head.
((p → q) ∧ p) → q
FRAGMENT 05 / DE MORGAN
Negation distributes across conjunction by flipping the connective. A symmetry preserved across every pastel timeline.
¬(p ∧ q) ↔ (¬p ∨ ¬q)
THE GRID PLANE