document.write( "Question 1029122: COMPLETE THE FOLLOWING PROOFS USING CONDITIONAL PROOF\r
\n" ); document.write( "\n" ); document.write( "Premises:
\n" ); document.write( "1. Y ⊃ ( N • U)
\n" ); document.write( "2. S ⊃ (~N • U)
\n" ); document.write( "Conclusion:
\n" ); document.write( "/ Y ⊃ ~S \n" ); document.write( "
Algebra.Com's Answer #644165 by robertb(5830)\"\" \"About 
You can put this solution on YOUR website!
1. Y ⊃ ( N • U) ----------Hypothesis
\n" ); document.write( "2. ~Y v ( N • U) ----------Material Implication
\n" ); document.write( "3. (~Y v N) • (~Y v U)-----Distributivity
\n" ); document.write( "4. ~Y v N -----------------Simplification
\n" ); document.write( "5. Y ⊃ N -----------------Material Implication
\n" ); document.write( "5. S ⊃ (~ N • U)----------Hypothesis
\n" ); document.write( "6. ~S v ( ~N • U) ---------Material Implication
\n" ); document.write( "7. (~S v ~N) • (~S v U)-----Distributivity
\n" ); document.write( "8. ~S v ~N -----------------simplification
\n" ); document.write( "9. ~N v ~S -----------------Commutativity
\n" ); document.write( "10. N ⊃ ~S ----------------Material Implication
\n" ); document.write( "11. Y ⊃ ~S ----------------#5 and #10 and Hypothetical syllogism\r
\n" ); document.write( "\n" ); document.write( " \n" ); document.write( "
\n" );