Explore BrainMass

Explore BrainMass

    Mathematical Proof: Is the Argument Valid?

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

    Determine whether the following argument is valid:

    P > Q
    (~P & R) > S
    :. ~R v S.

    © BrainMass Inc. brainmass.com June 4, 2020, 3:39 am ad1c9bdddf

    Solution Preview

    Statement 1 (P > Q) means "P implies Q."

    Recall that an implication "X > Y" is true if and only if "~X v Y" is true (that is, if and only if X is false or Y is true (or both)).

    Thus statement 1 is true if and only if P is false or Q is true (or both).


    Statement 2 [(~P & R) ...

    Solution Summary

    A detailed review of the meanings of the individual assumptions in the argument is provided. Then, to determine whether the argument is valid, the consequences of combining those assumptions are investigated.