論理

RONRI

The architecture of reason begins here. Every truth is a luminous chamber waiting to be entered.

P₁: Logic is light

Conjunction

∧ AND

Two propositions fused into one crystalline truth. If both shine, their union blazes brighter.

P ∧ Q ∴ Both hold

Disjunction

∨ OR

At least one path refracts the light. Possibility branches, and reason follows every corridor.

P ∨ Q ∴ One suffices

Implication

→ IF-THEN

The arrow of consequence. From premise to conclusion, each chamber opens the next.

P → Q ∴ Necessity flows

Negation

¬ NOT

The inversion of truth. In the absence of light, shadows themselves become revelations.

¬P ∴ Contradiction illuminates

Universal

∀ FOR ALL

What holds for one, holds for all. The palace extends infinitely in every direction of reason.

∀x: F(x) ∴ Totality

Existential

∃ THERE EXISTS

Somewhere in the palace, a single witness stands — one instance that proves the whole.

∃x: G(x) ∴ Witness found

Q.E.D.

QUOD ERAT DEMONSTRANDUM

The proof is complete. Every chamber traversed, every connective illuminated. The palace of reason stands.

∎