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: Help please! Find the truth value of the statement:

  1. Aug 31, 2011 #1
    1. The problem statement, all variables and given/known data

    Given P is true, Q is true, and R is fale, find the truth value of the statement:


    ~(~p ^ q) <-> (q -> ~r)





    2. The attempt at a solution

    Which one is correct- Answer 1 or answer 2?

    answer 1:
    p v ~q <-> (q -> ~r)

    t V f <-> (t -> t)

    t <-> t

    Answer= t




    answer 2:
    p ^ ~q <-> (q -> ~r)

    t ^ f <-> (t -> t)

    f <-> t

    Answer= f
     
  2. jcsd
  3. Aug 31, 2011 #2

    Dick

    User Avatar
    Science Advisor
    Homework Helper

    Answer 1 is correct. Answer 2 isn't. Why not? And why didn't you just substitute P=t, Q=t and R=f into the original statement?
     
  4. Sep 1, 2011 #3

    NascentOxygen

    User Avatar

    Staff: Mentor

    Could someone explain explain how I should read this: <->
    and what does this mean: ->

    Thanks.
     
  5. Sep 1, 2011 #4

    HallsofIvy

    User Avatar
    Science Advisor

    <-> is "if and only if". P<-> Q is true if the true values of P and Q are the same: both T or both F.
    Truth table:
    [tex]\begin{array}{ccc} & T & F\\ T & T & F \\ F & F & T\end{array}[/tex]
    where accross is Q and down is P.

    -> is "implication" P->Q "P implies Q" or "If P then Q" is true in the case that Q is true or both P and Q are false. Truth table:
    [tex]\begin{array}{ccc} & T & F\\ T & T & F \\ F & T & T\end{array}[/tex]

    As for amandamarieve's problem, ~(~p ^ q) <-> (q -> ~r), with p= q= T, r= f,
    "~p ^q" is "F ^ T" which is F so ~(~p ^q) is T. That is, of course, the same as you get by using the fact that ~(~p ^ q)= ~(~p) v (~q)= p v ~q. On the right, q-> ~r, with q T and r F, is T->T which is T. We have T<->T which is T.

    amandamarieve's "answer 2" is wrong because, as I said, ~(~p^q) is pv ~q, not "p^ ~q. In general, ~(p ^ q)= ~p v ~q and ~(p v q)= ~p ^ ~ q.
     
  6. Sep 1, 2011 #5

    NascentOxygen

    User Avatar

    Staff: Mentor

    Thank you.
     
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook