SOLUTION: CREATE A PROOF FOLLOWING THE ARGUMENT (F • ~C) ⊃ (G • ~C) C ⊃ D ~D F ∨ D /G

Algebra ->  Proofs -> SOLUTION: CREATE A PROOF FOLLOWING THE ARGUMENT (F • ~C) ⊃ (G • ~C) C ⊃ D ~D F ∨ D /G       Log On


   

Question 1194046: CREATE A PROOF FOLLOWING THE ARGUMENT
(F • ~C) ⊃ (G • ~C)
C ⊃ D
~D
F ∨ D /G
Answer by math_tutor2020(3816) About Me  (Show Source):
You can put this solution on YOUR website!

This is one way (of possibly many) to do the derivation.
NumberStatementLine(s) UsedReason
1(F & ~C) -> (G & ~C)
2C -> D
3~D
4F v D
:.G
5F4, 3Disjunctive Syllogism
6~C2, 3Modus Tollens
7F & ~C5, 6Conjunction
8G & ~C1, 7Modus Ponens
9G8Simplification
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/