Negasjonsregelen for eksistenskvantor?
Klikk for å snu kortet
¬∃x p(x)≡∀x ¬p(x)\neg \exists x\, p(x) \equiv \forall x\, \neg p(x)¬∃xp(x)≡∀x¬p(x).
Space / Enter for å snu