generated at
2/17/2025, 4:46:52 AM
ド・モルガンの法則
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