Welcome to a garden where propositions bloom and arguments take root. Logic is not a sterile hallway of symbols — it is a living, branching organism that grows from simple seeds of truth into vast, interconnected canopies of reasoning.
Here, every statement is a seed. Every inference is a tendril reaching for sunlight. And every paradox is a thorny hedge that guards the deepest beauties of thought.
Step through the gate. The specimens await.
A proposition is the simplest bloom in the logical garden — a statement that is either true or false, never both, never neither. "The rose is red" — true or false. "Rain falls upward" — true or false.
From these atomic seeds, all reasoning grows. We name them with letters — P, Q, R — as a botanist might label specimens in a collection.
Each proposition carries a truth value: a bloom that is either open (T) or closed (F). The art of logic is in how we combine these simple blooms into complex arrangements.
Inside the greenhouse, propositions are grafted together with logical connectives — the joining tissue of reason. Each connective is a different technique of the botanical art:
∧ Conjunction — "and" — two stems bound together, both must bloom for the compound to be true. Like paired leaves meeting at a node.
∨ Disjunction — "or" — branches diverging from a single root. At least one must flower.
→ Implication — "if…then" — the curving stem of consequence. If the root blooms, the tip must also bloom.
¬ Negation — "not" — the gardener's shears. What was open becomes closed; what was true becomes false.
Touch the dried specimens: each symbol opens like a tiny label under glass.
In the deepest corner of the garden grow the paradoxes — thorny, beautiful, and self-consuming. They are the roses that bite.
The Liar Paradox: "This statement is false." If true, then false. If false, then true. A bloom that opens and closes forever, never settling. Epimenides planted this seed in the 6th century BCE, and it has never stopped growing.
Modus Ponens: The most fundamental rule of inference — if P → Q is true and P is true, then Q must bloom. The implication stem always delivers its flower.
De Morgan's Laws: The gardener's duality — ¬(P ∧ Q) ≡ ¬P ∨ ¬Q. Negating a conjunction yields a disjunction of negations. Every pruning reveals a branching.