Explore BrainMass

Rules of Inference, Logic and Symbology

This content was STOLEN from BrainMass.com - View the original, and get the already-completed solution here!

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

© BrainMass Inc. brainmass.com December 19, 2018, 9:23 pm ad1c9bdddf

Solution Summary

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.