A card from a free library — ask anything, no account, works offline. Every card carries its source.
p ∨ ¬p is a tautology · ¬(p ∧ q) ≡ ¬p ∨ ¬q (De Morgan)
verified · 1 month ago
Verdict: HOLDS. • formal_logic.tautology: formula 'p | ~p' tautology=True, matches claim • formal_logic.equivalence: '~(p & q)' ≡ '~p | ~q' = True, matches claim Sealed and independently re-checkable: https://narrowhighway.com/s/8aed49834ba64c0dbe27a31400005246479540f8260b4364aa4abd768d19da25
source
card id
card_v_f4b827f56b3c
address
UNPLACED
adjoining cards
- part of → The created order — the science of the floor — a verified seed of the created order (formal_logic)
- demonstrates → Two laws of thought, checked over every case — A worked demonstration in the same field (formal_logic).
Is this card incomplete? Tell the library — it will call out for more ↗