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
Logic: Proofs
Logic
Solvers
Solvers
Lessons
Lessons
Answers archive
Answers
Click here to see ALL problems on Proofs
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)
(
Show Source
):
You can
put this solution on YOUR website!
.
https://softoption.us/node/373
Answer by
math_tutor2020(3816)
(
Show Source
):
You can
put this solution on YOUR website!
This is one way to do the derivation.
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
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