9

Is it correct?

$\neg$(a and b)=(not a) or (not b)

What ruleset can i look up for negations? Especially for "all", "if, then" statements.

SAJW
  • 1,327
  • 2
    That is correct. Quatifiers, when negated change to the other, ex $\forall$ becomes $\exists$. If P, the Q is equivalent to $\lnot$ P $\lor$ Q. You can use the negation of that to obtain the negation of the implication (if, then). – RJM Oct 23 '16 at 01:02

1 Answers1

13

Yes, that's called De Morgan's Laws. This site has more rules about negations of logical connectives and this PDF should help you with negation of universal and existential quantifiers.

Community
  • 1
Noble Mushtak
  • 18,402
  • 28
  • 44