logic.quest
A pilgrimage where propositions become doors.
P → J
P
choose a premise; wake the line
The Fork of If/Then
A syllogism bridge divides into two corridors. One hinge is valid inference; the other is a tempting shortcut with no warrant.
do not mistake the shadow for the source
Contradiction Well
False routes descend as red wax fragments. Drop a claim with its negation and listen for the hollow seal of impossibility.
A ∧ ¬A ⟹ ⊥
Lemma Lanterns
Collect small truths until the chamber becomes a constellation of warranted light. Every lantern ignites the next.
Quantifier Garden
Symbolic vines bind the universal and the particular. Turn the quantifier keys until the archway agrees with the domain.
a single witness can unlock an orchard
The Conclusion Door
P → J, P ⊢ J
The fragments align; the proof becomes a key; the library opens another impossible room.
therefore, proceed