Negation of "and" statements: a and b

$\begingroup$

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.

$\endgroup$ 1

1 Answer

$\begingroup$

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.

$\endgroup$ 1

Your Answer

Sign up or log in

Sign up using Google Sign up using Facebook Sign up using Email and Password Submit

Post as a guest

Post Your Answer Discard

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy