document.write( "Question 1042389: PvQ
\n" ); document.write( "(QvU)>(P>T)
\n" ); document.write( "~P
\n" ); document.write( "(~PvR)>(Q>S)
\n" ); document.write( "Therefore,
\n" ); document.write( "TvS \n" ); document.write( "

Algebra.Com's Answer #657360 by jim_thompson5910(35256) $\"\"$ $\"About$

You can put this solution on YOUR website!
\n" ); document.write( "\n" ); document.write( "

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

\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Abbreviations/Acronyms Used
\n" ); document.write( "Add = Addition
\n" ); document.write( "CD = Constructive Dilemma
\n" ); document.write( "Conj = Conjunction
\n" ); document.write( "DS = Disjunctive Syllogism
\n" ); document.write( "MP = Modus Ponens \n" ); document.write( "

\n" );