document.write( "Question 1193775: (~B ∨ E) ⊃ (C ⊃ G)
\n" ); document.write( "(C ∨ D) ⊃ (B ⊃ F)
\n" ); document.write( "B ∨ C
\n" ); document.write( "~B / F ∨ G
\n" ); document.write( " \n" ); document.write( "

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

You can put this solution on YOUR website!

\n" ); document.write( "Here is one way to do the derivation
\n" ); document.write( "\n" ); document.write( "\n" ); document.write( "

Number	Statement	Line(s) Used	Reason
1	(~B v E) -> (C -> G)
2	(C v D) -> (B -> F)
3	B v C
4	~B
:.	F v G
5	C	3,4	Disjunctive Syllogism
6	~B v E	4	Addition
7	C -> G	1,6	Modus Ponens
8	C v D	5	Addition
9	B -> F	2,8	Modus Ponens
10	(C -> G) & (B -> F)	7,9	Conjunction
11	C v B	3,4	Commutation
12	G v F	10,11	Constructive Dilemma
13	F v G	12	Commutation

\n" ); document.write( "I used arrows in place of the horseshoes
\n" ); document.write( " \n" ); document.write( "

\n" );