document.write( "Question 1003091: Given: If Alex does not score well on his final exams and Alex does not earn an academic scholarship, the he does not go to college. If Alex does not study, then he does not score well on his final exams. if Alex gets involved in too many extracurricular activities, then Alex does not study. Alex gets involved in too many extracurricular activities. Alex goes to college.
\n" ); document.write( "Let C represent: \"Alex goes to college\"
\n" ); document.write( "Let E represent: \"Alex earns an academic scholarship\"
\n" ); document.write( "Let F represent: \"Alex scores well on his final exams\"
\n" ); document.write( "Let S represent: \"Alex studies\"
\n" ); document.write( "Let X represent: \"Alex gets involved in too many extracurricular activities\"\r
\n" ); document.write( "\n" ); document.write( "Prove: Alex earns an academic scholarship \n" ); document.write( "

Algebra.Com's Answer #619892 by jim_thompson5910(35256) $\"\"$ $\"About$

You can put this solution on YOUR website!
\n" ); document.write( "\n" ); document.write( "

Original Statement	Translation
If Alex does not score well on his final exams and Alex does not earn an academic scholarship, the he does not go to college.	(~F * ~E) -> ~C
If Alex does not study, then he does not score well on his final exams.	~S -> ~F
if Alex gets involved in too many extracurricular activities, then Alex does not study.	X -> ~S
Alex gets involved in too many extracurricular activities.	X
Alex goes to college.	C

\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "We have these premises
\n" ); document.write( "(~F * ~E) -> ~C
\n" ); document.write( "~S -> ~F
\n" ); document.write( "X -> ~S
\n" ); document.write( "X
\n" ); document.write( "C\r
\n" ); document.write( "
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "The goal is to prove E. One way to do it is to use a derivation table and follow the rules of inference/rules of replacement
\n" ); document.write( "\n" ); document.write( "\n" ); document.write( "

Number	Statement	Lines Used	Reason
1	(~F * ~E) -> ~C
2	~S -> ~F
3	X -> ~S
4	X
5	C
:.	E
6	~S	3,4	MP
7	~F	2,6	MP
8	~~C	5	DN
9	~(~F * ~E)	1,8	MT
10	~~F v ~~E	9	DM
11	F v E	10	DN
12	E	11,7	DS

\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Abbreviations used:\r
\n" ); document.write( "\n" ); document.write( "MP = Modus Ponens
\n" ); document.write( "MT = Modus Tollens
\n" ); document.write( "DN = Double Negation
\n" ); document.write( "DM = De Morgan's Law
\n" ); document.write( "DS = Disjunctive Syllogism \n" ); document.write( "

\n" );