logic.quest
formal reasoning, found beneath moonwater
p → q
A comet implication crosses the quiet pool. One thought promises another.
coordinate 01 · crescent gate
∧
p
thereforeq
A narrow rule glows. The path accepts only what follows.
TFT
FTF
TTT
¬q ∧ q
The mirror refuses both moonfaces at once.
⊥
q
What was hidden in the premise opens as a small green star.