A card from a free library — ask anything, no account, works offline. Every card carries its source.
Two laws of thought, checked over every case
mathematics
The law of excluded middle (p or not-p is always true) and De Morgan's law are verified across the entire truth table — not argued, exhaustively decided. Worked & sealed by the engine — p ∨ ¬p is a tautology · ¬(p ∧ q) ≡ ¬p ∨ ¬q (De Morgan). [HOLDS; open the seal to re-check.]
source
card id
card_works_logic
address
UNPLACED
adjoining cards
- on the shelf of → The Works — sealed, worked demonstrations — a member of the the-works shelf in the keeping
- paves → The Floor of Discovery — one floor, and by its design the fear of God — A worked, engine-sealed demonstration — a paving-stone of the floor of reality.
- demonstrates → p ∨ ¬p is a tautology · ¬(p ∧ q) ≡ ¬p ∨ ¬q (De Morgan) — A worked demonstration in the same field (formal_logic).
- adjacent → Differentiate twice: position → velocity → acceleration — Neighbouring worked demonstrations in the same part of the volume.
- adjacent → The integers, examined: a prime, a divisor, a factorial — Neighbouring worked demonstrations in the same part of the volume.
- adjacent → From the unit circle to the double-angle law — Neighbouring worked demonstrations in the same part of the volume.
- adjacent → The angles inside a hexagon — Neighbouring worked demonstrations in the same part of the volume.
Is this card incomplete? Tell the library — it will call out for more ↗