Posts

Showing posts with the label Negation of compound statement

how to make negation of compound statement

Image
In my last post we have seen duality in logic and some of its examples. In this article  we are going to learn negation of compound statements and some of its examples. So let’s begin. 1) Negation of Conjunction. We have seen in my previous article on logical equivalence that     ~ (p Ʌ q) ≡ ~ p V ~q by De Morgan’s Laws Ex.   Sky is blue and milk is white. Let p: sky is blue    and q: milk is white. Then given statement in symbolic form is p Ʌ q. Its negation is ~ p V ~q i.e. Sky is not blue or milk is not white. 2) Negation of Dis junction. We have seen in my previous post on logical equivalence that      ~ (p V q) ≡ ~ p Ʌ ~q by De Morgan’s Laws Ex.   Sky is blue or 6>5. Let p: sky is blue    and q: 6>5. Then given statement in symbolic form is p V q. Its negation is    ~ p Ʌ ~q. i.e. Sky is not blue and 6 < or= 5. 3) Negation of Negation. We know that ...