SOLUTION: Eight rules of implication
1. G>(S•T)
2.(SvT)>J
3.G. /J
Algebra.Com
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
RELATED QUESTIONS
Solve the following Proof:
1. G => (S&T)
2. (S v T) => J
3. G /J (answered by math_helper)
1. P ⊃ (G ⊃ T) 2. Q ⊃ (T ⊃ E) 3. P 4. Q / G ⊃ E
1. ∼S ⊃ D 2. ∼S ∨ (answered by math_helper)
1. (G->J)->(G->Q)
2. J*~Q... (answered by jim_thompson5910)
1. J>(G>L)
2.... (answered by solver91311)
Use the first eight implication rules to create a proof of the following argument.
1. B... (answered by Edwin McCravy)
Parick Hurley edition 11 Logic I, using first 13 rules of implication and replacement
(answered by jim_thompson5910)
How would you prove this argument valid ?
1. A > H
2. G > S
3. ~ K > (A v G)
4. ~ K (answered by math_helper)
Use rules of implication to derive the indicated conclusions.
1. R ⊃ (G v ~A) 2. (G... (answered by math_tutor2020)
Proof using rules of implication and replacement.
1. T v S
2. ~T
3. (S v S)... (answered by Edwin McCravy)