Explore BrainMass

Explore BrainMass

    Symbolic Logic Problem

    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!

    I need to know how to construct a formal proof which shows that the sentence below is a theorem of predicate logic. The ^ sign indicates the word "or". The asterisk indicates a conditional usually indicated by an arrow. No quantifier negation rules can be used.

    [(X)(~RX^NX)&~(EX)NX^(EY)(Z)SZY] * (~(EX)RX ^ (Z)(EY)SZY)

    © BrainMass Inc. brainmass.com March 6, 2023, 1:16 pm ad1c9bdddf

    Solution Preview

    To solve this we consider the right hand side of the conditional, i.e.:

    We rearrange the problem as the following argument:

    (Show) (~(EX)RX ^ (Z)(EY)SZY)

    We can also split up and write the premises as this (using the ampersand out &o rule):

    1. (X)(~RX^NX)
    2. ~(EX)NX^(EY)(Z)SZY
    (Show) (~(EX)RX ^ (Z)(EY)SZY)

    Of course we ...

    Solution Summary

    The validity of a symbolic logic expression is investigated. The asterisks indicating a conditional arrow is analyzed. The solution is detailed.