{"id": "card_v_f4b827f56b3c", "kind": "verified", "title": "p ∨ ¬p is a tautology · ¬(p ∧ q) ≡ ¬p ∨ ¬q  (De Morgan)", "body": "Verdict: HOLDS.\n• formal_logic.tautology: formula 'p | ~p' tautology=True, matches claim\n• formal_logic.equivalence: '~(p & q)' ≡ '~p | ~q' = True, matches claim\nSealed and independently re-checkable: https://narrowhighway.com/s/8aed49834ba64c0dbe27a31400005246479540f8260b4364aa4abd768d19da25", "source": {"label": "Verified by the engine — formal_logic", "url": "https://narrowhighway.com/s/8aed49834ba64c0dbe27a31400005246479540f8260b4364aa4abd768d19da25", "ref": "", "domain": "formal_logic", "authority_tier": "engine"}, "shelf": "formal_logic", "box": "verified", "bands": ["verified", "formal_logic", "HOLDS"], "connections": [{"to_card_id": "card_k_spine_created_order", "relationship": "part_of", "evidence": "a verified seed of the created order (formal_logic)"}, {"to_card_id": "card_works_logic", "relationship": "demonstrates", "evidence": "A worked demonstration in the same field (formal_logic)."}], "author": "engine", "created_at": 1784892567.9688463, "updated_at": 1784892567.9688468, "visibility": "public", "lifecycle_stage": "public", "volatility": "durable", "surface": "secular", "generated": false, "presentation": {"glyph": "•", "kind_label": "verified", "by": "Verified by the engine — formal_logic", "authority": "engine", "posted": "1 month ago", "standing": "", "link": {"url": "https://narrowhighway.com/s/8aed49834ba64c0dbe27a31400005246479540f8260b4364aa4abd768d19da25", "host": "narrowhighway.com", "provider": "", "titled": "p ∨ ¬p is a tautology · ¬(p ∧ q) ≡ ¬p ∨ ¬q  (De Morgan)", "waybill_line": "", "reach": "", "embed": ""}}, "neighbors": [{"id": "card_k_spine_created_order", "title": "The created order — the science of the floor", "relationship": "part of", "why": "a verified seed of the created order (formal_logic)", "href": "/card/card_k_spine_created_order", "resolved": true}, {"id": "card_works_logic", "title": "Two laws of thought, checked over every case", "relationship": "demonstrates", "why": "A worked demonstration in the same field (formal_logic).", "href": "/card/card_works_logic", "resolved": true}]}