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: Tautology or contradiction

  1. Aug 30, 2010 #1
    1. The problem statement, all variables and given/known data

    Wrie out the truth table for the statement form P -> ~(Q ^ ~P). Is it a tautology or a contradiction?

    2. Relevant equations

    3. The attempt at a solution

    First off is it true to say that P -> ~(Q ^ ~P) and P -> (~Q v P) are equal.

    P | Q | ~P | ~Q | P -> (~Q v P)
    T T F F F
    T F F T F
    F T T F F
    F F T T F

    I believe it is a contradiction. Is this correct
  2. jcsd
  3. Aug 30, 2010 #2


    Staff: Mentor

    Technicality: ~(Q ^ ~P) is equivalent to (not equal to) (~Q v P), so P ==> ~(Q ^ ~P) and P ==> (~Q v P) are also equivalent.

    If I were doing the truth table I would have columns for P and Q (which you do), plus one column for ~Q v P.
  4. Aug 30, 2010 #3
    P | Q | (~Q v P) | P -> (~Q v P)

    is the second row correct. If P, then not Q or P. It sounds like a contradiction but P is true ~QvP.
  5. Aug 30, 2010 #4
    how come F->F is false?
  6. Aug 30, 2010 #5
    and there's something wrong in the (~Q v P) column, in the first row.

    FvT is false?
  7. Aug 30, 2010 #6
    not followings u
  8. Aug 30, 2010 #7


    fill in the blank ()

  9. Aug 30, 2010 #8
    for ~QvP, it is only true when it Q is false and P is true.
  10. Aug 30, 2010 #9


    Staff: Mentor

    No, that's not right. ~QvP is true in all cases other than when P is false and Q is true.
  11. Aug 30, 2010 #10
    "v" is or. it's only true when either ~Q or P is true

    your statement here "for ~QvP, it is only true when it Q is false and P is true."

    suppose to be "for ~Q[tex]\wedge[/tex]P, it is only true when it Q is false and P is true."
  12. Aug 30, 2010 #11
    P | Q | (~Q v P)

    ok i got this part. but when u pu P->(~Q v P) you get True only when (~Q v P) is True and when P is True.

    P | Q | (~Q v P) | P->(~Q v P)
  13. Aug 30, 2010 #12
    in second row is wrong

    and also whenever P is false, it must be true too

    because if the premises is already false, either the consequence is false or true, it doesn't matter. The statement must be true
  14. Aug 30, 2010 #13
    P | Q | (~Q v P) | P->(~Q v P)
  15. Aug 30, 2010 #14
    yea, that's correct, i hope you understand each of them. and btw, you can also proof it algebraically. using all those law, assiosiative, identity, commut, distributive and so on,
  16. Aug 30, 2010 #15
    im having a hard time grasping the abstractness of this. do you know of any good sites i can use for added material.
  17. Aug 30, 2010 #16
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook