Explore BrainMass
Share

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 March 22, 2019, 1:11 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