document.write( "Question 1194046: CREATE A PROOF FOLLOWING THE ARGUMENT\r
\n" ); document.write( "\n" ); document.write( "(F • ~C) ⊃ (G • ~C)
\n" ); document.write( "C ⊃ D
\n" ); document.write( "~D
\n" ); document.write( "F ∨ D /G
\n" ); document.write( " \n" ); document.write( "

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

You can put this solution on YOUR website!

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

Number	Statement	Line(s) Used	Reason
1	(F & ~C) -> (G & ~C)
2	C -> D
3	~D
4	F v D
:.	G
5	F	4, 3	Disjunctive Syllogism
6	~C	2, 3	Modus Tollens
7	F & ~C	5, 6	Conjunction
8	G & ~C	1, 7	Modus Ponens
9	G	8	Simplification

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/
\n" ); document.write( "\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( " \n" ); document.write( "

\n" );