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 |
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 |