{"id": "card_works_logic", "kind": "verified", "title": "Two laws of thought, checked over every case", "body": "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": {"label": "The Works — worked & sealed", "url": "https://narrowhighway.com/s/8aed49834ba64c0dbe27a31400005246479540f8260b4364aa4abd768d19da25", "domain": "formal_logic", "authority_tier": "verified"}, "shelf": "the-works", "box": "mathematics", "bands": ["the-works", "mathematics", "formal_logic", "formal", "logic"], "connections": [{"to_card_id": "card_spine_the-works", "relationship": "member_of", "evidence": "a member of the the-works shelf in the keeping"}, {"to_card_id": "card_k_floor_of_discovery", "relationship": "paves", "evidence": "A worked, engine-sealed demonstration — a paving-stone of the floor of reality."}, {"to_card_id": "card_v_f4b827f56b3c", "relationship": "demonstrates", "evidence": "A worked demonstration in the same field (formal_logic)."}, {"to_card_id": "card_works_calculus_chain", "relationship": "adjacent", "evidence": "Neighbouring worked demonstrations in the same part of the volume."}, {"to_card_id": "card_works_number_theory", "relationship": "adjacent", "evidence": "Neighbouring worked demonstrations in the same part of the volume."}, {"to_card_id": "card_works_trig_identities", "relationship": "adjacent", "evidence": "Neighbouring worked demonstrations in the same part of the volume."}, {"to_card_id": "card_works_polygon", "relationship": "adjacent", "evidence": "Neighbouring worked demonstrations in the same part of the volume."}], "author": "engine", "created_at": 0.0, "updated_at": 0.0, "visibility": "public", "lifecycle_stage": "public", "volatility": "permanent", "surface": "secular", "generated": false, "subject": "Formal logic", "extra": {"seal_hash": "8aed49834ba64c0dbe27a31400005246479540f8260b4364aa4abd768d19da25", "cite_url": "https://narrowhighway.com/s/8aed49834ba64c0dbe27a31400005246479540f8260b4364aa4abd768d19da25", "demonstration_id": "works_logic", "verdict": "HOLDS"}, "presentation": {"glyph": "•", "kind_label": "mathematics", "by": "The Works — worked & sealed", "authority": "verified", "posted": "", "standing": "", "link": {"url": "https://narrowhighway.com/s/8aed49834ba64c0dbe27a31400005246479540f8260b4364aa4abd768d19da25", "host": "narrowhighway.com", "provider": "", "titled": "Two laws of thought, checked over every case", "waybill_line": "", "reach": "", "embed": ""}}, "neighbors": [{"id": "card_spine_the-works", "title": "The Works — sealed, worked demonstrations", "relationship": "on the shelf of", "why": "a member of the the-works shelf in the keeping", "href": "/card/card_spine_the-works", "resolved": true}, {"id": "card_k_floor_of_discovery", "title": "The Floor of Discovery — one floor, and by its design the fear of God", "relationship": "paves", "why": "A worked, engine-sealed demonstration — a paving-stone of the floor of reality.", "href": "/card/card_k_floor_of_discovery", "resolved": true}, {"id": "card_v_f4b827f56b3c", "title": "p ∨ ¬p is a tautology · ¬(p ∧ q) ≡ ¬p ∨ ¬q  (De Morgan)", "relationship": "demonstrates", "why": "A worked demonstration in the same field (formal_logic).", "href": "/card/card_v_f4b827f56b3c", "resolved": true}, {"id": "card_works_calculus_chain", "title": "Differentiate twice: position → velocity → acceleration", "relationship": "adjacent", "why": "Neighbouring worked demonstrations in the same part of the volume.", "href": "/card/card_works_calculus_chain", "resolved": true}, {"id": "card_works_number_theory", "title": "The integers, examined: a prime, a divisor, a factorial", "relationship": "adjacent", "why": "Neighbouring worked demonstrations in the same part of the volume.", "href": "/card/card_works_number_theory", "resolved": true}, {"id": "card_works_trig_identities", "title": "From the unit circle to the double-angle law", "relationship": "adjacent", "why": "Neighbouring worked demonstrations in the same part of the volume.", "href": "/card/card_works_trig_identities", "resolved": true}, {"id": "card_works_polygon", "title": "The angles inside a hexagon", "relationship": "adjacent", "why": "Neighbouring worked demonstrations in the same part of the volume.", "href": "/card/card_works_polygon", "resolved": true}]}