ド・モルガンの法則
from
述語論理
見慣れたやつ
$ \lnot(A\lor B)
⊨⫤
$ (\lnot A)\land(\lnot B)
$ \lnot(A\land B)
⊨⫤
$ (\lnot A)\lor(\lnot B)
$ \forall x\lnot Px
⊨⫤
$ \lnot\exist xPx
$ \lnot\forall xPx
⊨⫤
$ \exist x\lnot Px