# Mathematical Proof: Is the Argument Valid?

Determine whether the following argument is valid:

P > Q

(~P & R) > S

~Q

:. ~R v S.

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