I have to find out whether this argument is valid or invalid:

p -> q

(q v ([not]r)) -> (p [and] s)s->(r v q)

Hope that makes sense, and also I appreciate any help that can be offered. Thanks.

Printable View

- Oct 1st 2009, 07:57 PMGreenDay14Is this argument valid?
I have to find out whether this argument is valid or invalid:

p -> q

__(q v ([not]r)) -> (p [and] s)__s->(r v q)

Hope that makes sense, and also I appreciate any help that can be offered. Thanks. - Oct 4th 2009, 07:41 AMJones
- Oct 4th 2009, 08:22 AMGrandad