GNU Aris Manual: dm

Next: as, Previous: im, Up: Equivalence Rules [Contents]

6.2.2 DeMorgan

~(P ^ Q) <=> ~P v ~Q
~(P v Q) <=> ~P ^ ~Q
~3x(P(x)) <=> Vx(~P(x))
~Vx(P(x)) <=> 3x(~P(x))

DeMorgan’s Laws.

AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: