1. Not finding help here? Sign up for a free 30min 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!

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
    Staff Emeritus
    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.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook