SOLUTION: PvQ
(QvU)>(P>T)
~P
(~PvR)>(Q>S)
Therefore,
TvS
Algebra.Com
Question 1042389: PvQ
(QvU)>(P>T)
~P
(~PvR)>(Q>S)
Therefore,
TvS
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
| Number | Statement | Lines Used | Reason |
|---|
| 1 | P v Q | | |
| 2 | (Q v U) -> (P -> T) | | |
| 3 | ~P | | |
| 4 | (~P v R) -> (Q -> S) | | |
| :. | T v S | | |
| 5 | Q | 1,3 | DS |
| 6 | Q v U | 5 | Add |
| 7 | P -> T | 2,6 | MP |
| 8 | ~P v R | 3 | Add |
| 9 | Q -> S | 4,8 | MP |
| 10 | (P -> T) & (Q -> S) | 7,9 | Conj |
| 11 | T v S | 10,1 | CD |
Abbreviations/Acronyms Used
Add = Addition
CD = Constructive Dilemma
Conj = Conjunction
DS = Disjunctive Syllogism
MP = Modus Ponens
RELATED QUESTIONS
(PvQ)&R
(R&P)>S
(Q&R)>S
Therefore,... (answered by solver91311,Edwin McCravy,robertb)
(PvQ)&(PvR) = Pv(Q&R)
cannot figure this out for the life of... (answered by solver91311)
1. pV(q . r)
2. ~p /q . r
How do I get q . r? Thought line 3 was: (pVq) . (pVr) 1, (answered by jim_thompson5910)
problem 1f:
-(PvQ) -||-... (answered by vleith)
Pvq (answered by ikleyn)
how to expand... (answered by Edwin McCravy)
are they logically equivalent ~pVq;... (answered by math_helper)
stuck on this problem please help
Can use rules of implication and first five rules of... (answered by Edwin McCravy)
If(~P->Q)->(PvR)is false, what are the truth values of P,Q and... (answered by jim_thompson5910)