{"id":8918,"date":"2020-12-04T05:48:31","date_gmt":"2020-12-04T00:18:31","guid":{"rendered":"https:\/\/cbselibrary.com\/?p=8918"},"modified":"2020-12-04T12:47:50","modified_gmt":"2020-12-04T07:17:50","slug":"negation-compound-statements","status":"publish","type":"post","link":"https:\/\/cbselibrary.com\/negation-compound-statements\/","title":{"rendered":"Negation of Compound Statements and ALL \/ SOME"},"content":{"rendered":"

Negation of Compound Statements and ALL \/ SOME<\/span><\/h2>\n

We know that the negation of a true statement will be false, and the negation of a false statement will be true. But what happens when we try to negate a compound statement<\/strong>?<\/p>\n

Negating a Conjunction (and) and a Disjunction (or):<\/span><\/h3>\n

The negation<\/strong> of a conjunction (or disjunction) could be as simple as placing the word “not” in front of the entire sentence.<\/p>\n

Conjunction:<\/strong>
\np \u2227 q<\/strong> \u00a0– \u00a0“Snoopy wears goggles and<\/strong> scarves.”
\n\u223c(p \u2227 q)<\/strong> \u00a0– \u00a0“It is not<\/strong> the case that Snoopy wears goggles and<\/strong> scarves.”<\/p>\n

While by our negation we know that Snoopy does not wear BOTH goggles and scarves, we cannot say for sure that he does not wear ONE of these items. We can only state that he does not wear goggles or he does not wear scarves. (\u223cp \u2228 \u223cq)<\/strong><\/p>\n

Disjunction:<\/strong>
\np \u2228 q<\/strong> \u00a0– \u00a0“I will paint the room blue or<\/strong> green.”
\n\u223c(p \u2228 q)<\/strong> \u00a0– \u00a0“It is not<\/strong> the case that I will paint the room blue or<\/strong> green.”<\/p>\n

If I am not painting the room blue or green, then I am not painting EITHER color. So it can be said that “I am not painting the room blue” and “I am not painting the room green”.\u00a0(\u223cp \u2227 \u223cq)<\/strong><\/p>\n

DeMorgan’s Laws:<\/strong> (negating AND<\/strong> and OR<\/strong>)
\n(The statements shown are logically equivalent.)<\/p>\n

    \n
  1. \u223c(p \u2227 q) \u2194 (\u223cp \u2228 \u223cq)<\/strong><\/li>\n
  2. \u223c(p \u2228 q) \u2194 (\u223cp \u2227 \u223cq)<\/strong><\/li>\n<\/ol>\n

    Notice that the negation symbol is distributed across the parentheses and the symbols are changed from AND<\/strong> to OR<\/strong> (or vice versa).<\/p>\n

    Negating a Conditional (if … then):<\/span><\/h3>\n

    Remember:<\/strong> When working with a conditional, the statement is only FALSE<\/strong> when the hypothesis (“if”) is TRUE<\/strong> and the conclusion (“then”) is FALSE.<\/p>\n

    p \u2192 q<\/strong> \u00a0– \u00a0“If 9 + 3 = 12, then 9 is a prime number.” is a FALSE statement.
    \n\u223c(p \u2192 q)<\/strong> \u00a0– \u00a0“It is not the case that if 9 + 3 = 12, then 9 is a prime number.” is TRUE.
    \np \u2227 \u223cq <\/strong>\u00a0– \u00a0<\/strong>“9 + 3 = 12 and 9 is not a prime number.” is a TRUE statement.<\/p>\n

    Negate a Conditional: (negating IF … THEN)<\/span><\/h3>\n

    \u223c(p \u2192 q) \u2194 (p \u2227 \u223cq)<\/strong>
    \nNotice that the statement is re-written as a conjunction and only the second condition is negated.<\/p>\n

    Negating a Biconditional (if and only if):<\/span><\/h3>\n

    Remember: When working with a biconditional, the statement is TRUE<\/strong> only when both conditions have the same truth value.<\/p>\n

    p \u2194 q \u00a0– \u00a0<\/strong>“A triangle has only 3 sides if and only if<\/strong> a square has only 4 sides.”
    \n… is logically equivalent to …
    \n(p \u2192 q) \u2227\u00a0(q \u2192 p) \u00a0– \u00a0<\/strong>“If it is a triangle then it has only 3 sides and<\/strong> if it is a square then it has only 4 sides.”<\/p>\n

    To negate<\/strong> a biconditional, we will negate its logically equivalent statement by using DeMorgan’s Laws and Conditional Negation.<\/p>\n