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