Designate each simple statement with a letter. Then write down the compound statements using the following rules(modus ponens, modus tollens, hypothetical syllogism, disjunctive syllogism, addition, simplification, or resolution), arrive at the conclusion. I've done all but the latter.
If you send an email then I will write the program
If you do not send an email then I will sleep
If I go to sleep then I will be refreshed
If I do not write the program then I will be refreshed.
p -> q
~q -> r
r -> s
~q -> s
Rules of Inference, Logic and Symbology are investigated. The solution is detailed and well presented. The response received a rating of "5/5" from the student who originally posted the question.