logic.day

where propositions bloom

∧ ∨ ¬ →

The Meadow of Propositions

P: "All roses are flowers"

TRUE

Q: "This is a rose"

TRUE

∴ R: "This is a flower"

VALID

In fields of formal thought, each truth grows rooted in the soil of axioms.

The Stream of Syllogisms

If P then Q
P
∴ Q

"Logic is the beginning of wisdom, not the end of it."

— Spock, ST:VI

The Truth Table Garden

PQP ∧ Q
000
010
100
111

Each row a petal, each column a stem — the garden of conjunction blooms only when both truths align.

Beyond the Horizon

Logic is not sterile. It blooms.

∀ ∃ ⊢ ⊨ ∞

// end of proof ∎