document.write( "Question 1201731: Eight rules of implication
\n" ); document.write( "1. G>(S•T)
\n" ); document.write( "2.(SvT)>J
\n" ); document.write( "3.G. /J \n" ); document.write( "

Algebra.Com's Answer #836241 by math_tutor2020(3816) $\"\"$ $\"About$

You can put this solution on YOUR website!

\n" ); document.write( "This is one way to do the derivation.
\n" ); document.write( "\n" ); document.write( "\n" ); document.write( "

Number	Statement	Line(s) Used	Reason
1	G > (S & T)
2	(S v T) > J
3	G
:.	J
4	S & T	1,3	Modus Ponens
5	S	4	Simplification
6	S v T	5	Addition
7	J	2,6	Modus Ponens

\n" ); document.write( "I used the ampersand symbol in place of the dot.\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "For more information, check out the various rules of inference and rules of replacement as shown in the link below.
\n" ); document.write( "https://logiccurriculum.com/2019/02/09/rules-for-proofs/\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Similar logic questions
\n" ); document.write( "https://www.algebra.com/algebra/homework/Proofs/Proofs.faq.question.1198762.html
\n" ); document.write( "https://www.algebra.com/algebra/homework/Proofs/Proofs.faq.question.1193810.html
\n" ); document.write( "https://www.algebra.com/algebra/homework/Proofs/Proofs.faq.question.1194113.html
\n" ); document.write( "https://www.algebra.com/algebra/homework/Proofs/Proofs.faq.question.1201675.html
\n" ); document.write( " \n" ); document.write( "

\n" );