# Discrete Math

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)?

1. 👍 0
2. 👎 0
3. 👁 211
1. 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) ?

1. 👍 0
2. 👎 0
2. 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.

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

1. 👍 0
2. 👎 0

## Similar Questions

1. ### Calculus (Urgent Help)

Okay, I need major help! Can someone tell me if these statements are true or false ASAP please. Thank you. 1. If ƒ′(x) < 0 when x < c then ƒ(x) is decreasing when x < c. True 2. The function ƒ(x) = x^3 – 3x + 2 is

asked by Veronica on July 25, 2008
2. ### Calculus

If f is a continuous function with even symmetry and lim x→∞ f(x)=10, which of the following statements must be true? I. lim x→∞ f(x)=10 II. there are no vertical asymptotes III. The lines y=10 and y= -10 are horizontal

asked by Maria on December 4, 2018
3. ### 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]

asked by angela on May 30, 2012
4. ### Geometry

1. A conditional can have a ____ of true or false. (1 point) a) hypothesis b) truth value *** c) counterexample d) conclusion Am I right? Thank you!

asked by ρσяк on January 25, 2018
5. ### Calculus

Which one or ones of the following statements is/are true? I. If the line y=2 is a horizontal asymptote of y= f(x), then is not defined at y=2. II. If f(5)>0 and f(6)

asked by Alice URGENT on December 3, 2018
1. ### math induction

prove the product of 4 consecutive integers is always divisible by 24 using the principles of math induction. Could anyone help me on this one? Thanks in advance! Sure For induction we want to prove some statement P for all the

asked by zomg on September 14, 2006
2. ### PRE - CALCULUS

A statement Sn about the positive integers is given. Write statements S1, S2, and S3, and show that each of these statements is true. Show your work. Sn: 2+5+8+...+(3n-1)=n(1+3n)/2

asked by Ciara on April 17, 2015
3. ### Phil103 Informal Logic

. If P is false, and Q is false, the truth-value of "P ¡êQ" is (Points : 1) false. true. Cannot be determined. All of the above. 2. What is the truth value of the sentence "P & ~ P"? (Points : 1) True False Cannot be determined

asked by Juan J on July 31, 2011
4. ### English

“On Twitter, Fake News Has Greater Allure Than Truth Does” suggests that fake news stories reach a larger audience than real news stories. Which statements from the article serve as a sound basis for this analysis? Select all

asked by annie on March 31, 2020
5. ### math

Determine the validity of the next arguments by using Euler circles, then translate the statements into logical statements using the basic connectives, and using truth tables, determine the validity of the arguments. Compare your

asked by tianna on April 6, 2009
6. ### pre calc

A statement Sn about the positive integers is given. Write statements S1, S2, and S3, and show that each of these statements is true. Show your work. Sn: 2 is a factor of n2 + 7n

asked by allexelle on October 9, 2015