RONRI.DAY
A logic lesson conducted inside a glowing aquarium: one clear reasoning pattern, learned through buoyant premises, neon operators, and crisp Swiss alignment.
Place the assumption.
A premise is a circle of held meaning. Before inference begins, keep it visible, named, and separate from the conclusion it wants to become.
P: if the water glows
Q: the proof has a pathMove by rule.
Transformation is not decoration. It is a licensed motion: an arrow drawn only when the old shape and the new shape preserve the same truth.
P → Q
P
———
QTry the counterwater.
A test presses the argument from below. If a pink contradiction appears, it is not failure; it is information rising to the surface.
assume ¬Q
compare with P → Q
watch for collisionIsolate the break.
Refutation is a diamond chamber. Mark the incompatible claim, bracket it cleanly, and let the false route collapse without disturbing the valid path.
[ ¬Q ] ⟂
route closes
P remainsLet the therefore form.
When premises, transformations, and tests align, conclusion is quiet. The proof does not shout; it glows in lime at the center of the tank.
P → Q, P
∴ Q