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
    ~Q
    :. ~R v S.

    © BrainMass Inc. brainmass.com June 4, 2020, 3:39 am ad1c9bdddf
    https://brainmass.com/math/discrete-math/mathematical-proof-argument-valid-527091

    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.

    $2.19

    ADVERTISEMENT