Explore BrainMass

Explore BrainMass

    Rules of Inference, Logic and Symbology

    Not what you're looking for? Search our solutions OR ask your own Custom question.

    This content was COPIED 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 24, 2021, 5:37 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.