論理

ronri.xyz

Logic, Bedazzled.

/ / ¬ / /
01 / Conjunction

All-true, all-the-time.

The AND-gate, set in faceted sapphire. A conjunction holds only when every premise gleams. Lose one, lose all — the gem dims. The brilliance of p ∧ q is that it withholds nothing and forgives nothing.

pqp pqq
02 / Disjunction

One-of-many, set in amethyst.

An OR-gate, cut as a rounded diamond — generous, accommodating, almost flirtatious. p ∨ q asks for the slightest spark of truth and rewards it with the whole gleam. Inclusivity is its facet.

ppq qpq
03 / Negation

Inversion, polished to a point.

¬

The NOT-gate flipped on its head — a chrome-tipped pyramid that reverses every truth it touches. ¬p is the smirk in the proof, the sequin that catches you off-guard. What you said? Now the opposite. Mounted.

p¬¬p ¬pp→⊥
04 / Implication

If-then, in chrome filigree.

Implication, in two-tier setting: antecedent above, consequent dangling like a chrome charm. p → q promises only that q never lies when p tells the truth. False premises absolve all sins — the McBling get-out clause.

p,p→qq ¬pp→q
The Vault

The Collection

Eight cuts of formal reasoning, mounted on velvet midnight.

AND

Conjunction. Hexagonal sapphire. Both must shine.

OR

Disjunction. Diamond cut. One spark suffices.

NOT

¬

Negation. Inverted pyramid. Mirrors every facet.

IMPLIES

Implication. Two-tier mount. Antecedent above.

IFF

Biconditional. Mirror-cut. Truths trade places.

FORALL

Universal. Tiara of trues. None excluded.

EXISTS

Existential. Solitaire setting. One witness, please.

PROVES

Turnstile. Engraved hallmark. The seal of validity.