Discrete Math

posted by .

Statements P->Q, ~R->(S->T), R v(P v T), and ~R are true. What is the truth value for the statement, (Q v S)?

  • Discrete Math -

    A nice puzzle.

    The truth table for ~R is
    R ~R
    T F
    F T

    Since ~R=true, therefore R=false.

    Given R is false, and
    R v(P v T)=R ∨ P ∨ T is true, we conclude that P∨T is true, i.e.

    P=true ∨ T=true .... (1)


    Then we need the table for the conditional (->)
    A B A->B
    T T T
    T F F
    F T T
    F F T
    This means that the conditional is false if and only if the first proposition (A) is true and the second (B) is false.

    Consequently, given that
    ~R->(S->T) is true
    and that ~R=true, we conclude that
    S->T = true .....(2)

    We are also given that
    P->Q = true ....(3)

    From (1), we have two cases, either P is true or T is true.

    case 1. P=true
    From (3), P->Q = true, so if P is true, Q must be true.

    case 2: T=true
    (2) does not guarantee that S is true. So S can be true or false.

    Hence, we do not know if (Q∨S) is true or false.

    Can you check the question to see if there was a typo, such as
    R v(P v T) was meant to be R∨(P∧T) ?

  • Discrete Math -

    You came up with everything I came up with. I, too, believe something must be incorrect. I met with my professor today, and showed him my 25+ pages of attempts at solving it. He didn't want to go through the whole thing, but said it had to do with focusing on showing (QvS) could not be False (Q and S both being False). I didn't press him any further because I was still getting an A out of the course, but I'll probably still work on the problem to satisfy my own curiosity. Will try to post if I solve it.

  • Discrete Math -

    Sorry, I came up with the same conclusion:
    when P=false, T=true, we cannot determine the truth value of neither Q nor S.

Respond to this Question

First Name
School Subject
Your Answer

Similar Questions

  1. philosophy (logic)

    I need to know if these two statements are independent: All winners are losers. All losers are winners. I am thinking that they are because I don't see that the truth or falsity of one tells anything about the truth or falsity of the …
  2. Math-geometry

    Let p represent a true statement, while q and r represent false statements. Find the truth value of the compound statement. ~[(~p ^ q) ^ r]
  3. geometry

    Let p represent a true statement, while q and r represent false statements. Find the truth value of the compound statement. ~[(~q V p)^ ~r]
  4. Geometry

    Let p represent a true statement, while q and r represent false statements. Find the truth value of the compound statement. ~[(~q V p)^ ~r] this is the ?
  5. geometry

    Rafael wrote the statements shown in the chart. Statement 1 Description If a point lies outside a line, then exactly one plane contains both the line and the point. Statement 2 Description If two points lie in a plane, then the line …
  6. math

    Lara wrote the statements shown in the chart. Statement One: If two lines intersect, then they intersect at exactly one point Statement Two: In a right triangle, the square of the length of the hypotenuse is equal to the sum of the …
  7. Phi103

    What is the truth value of the sentence "P v ~ P"?
  8. geometry

    let p represent a true statement, while q and r represent false statements, find the truth value of the compound statement ~[(p^q)^r]
  9. PHI 103

    Will someone please confirm my answers here. I'm stumped. Feel good, but not sure. Thank you. 1. "Julie and Kurt got married and had a baby" is best symbolized as M v B M & B M ¡æ B M ¡ê B My choice is C 2. What is the truth value …
  10. logical statements-urgent

    I have to come up with a logical statement when making a truth table that has these conditions: The statement is always false if both P and Q are true. Otherwise, the statement is true if Q is true but R is not true. so far I have …

More Similar Questions