1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Negating logical assertions

  1. Oct 17, 2009 #1
    1. The problem statement, all variables and given/known data

    Write down the negations of the following assertions (where m, n, a, b are natural numbers):

    a) if Coke is not worse than Pepsi then nothing Mandelson says can be trusted.
    b) [tex]\forall m \exists n\forall a\forall b (n >= m)[/tex] /\ [tex][(a=1)[/tex] \/[tex] (b=1)[/tex] \/ [tex](ab \ne n)][/tex]

    a) if Coke is not worse than Pepsi then everything Mandelson says can be trusted.
    b) [tex]\exists m\forall n \exists a\exists b (n < m)[/tex] \/[tex][(a \ne 1)[/tex] /\ [tex](b \ne 1)[/tex] /\ [tex](ab =n)][/tex]

    Could anyone check whenever or not these answers are correct?
  2. jcsd
  3. Oct 18, 2009 #2


    User Avatar
    Science Advisor

    Since you have not said what "a", "b", "m", or "n" mean, it is impossible to tell.

    I will say this- the negation of an "if- then" implication is NOT an "if-then" implication.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook