SOLUTION: Eight rules of implication 1. G>(S•T) 2.(SvT)>J 3.G. /J

Algebra ->  Proofs -> SOLUTION: Eight rules of implication 1. G>(S•T) 2.(SvT)>J 3.G. /J      Log On


   



Question 1201731: Eight rules of implication
1. G>(S•T)
2.(SvT)>J
3.G. /J

Found 2 solutions by ikleyn, math_tutor2020:
Answer by ikleyn(52777) About Me  (Show Source):
You can put this solution on YOUR website!
.

https://softoption.us/node/373



Answer by math_tutor2020(3816) About Me  (Show Source):
You can put this solution on YOUR website!

This is one way to do the derivation.
NumberStatementLine(s) UsedReason
1G > (S & T)
2(S v T) > J
3G
:.J
4S & T1,3Modus Ponens
5S4Simplification
6S v T5Addition
7J2,6Modus Ponens

I used the ampersand symbol in place of the dot.

For more information, check out the various rules of inference and rules of replacement as shown in the link below.
https://logiccurriculum.com/2019/02/09/rules-for-proofs/

Similar logic questions
https://www.algebra.com/algebra/homework/Proofs/Proofs.faq.question.1198762.html
https://www.algebra.com/algebra/homework/Proofs/Proofs.faq.question.1193810.html
https://www.algebra.com/algebra/homework/Proofs/Proofs.faq.question.1194113.html
https://www.algebra.com/algebra/homework/Proofs/Proofs.faq.question.1201675.html