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.
Follow Math Help Forum on Facebook and Google+
Originally Posted by GreenDay14 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. If im not mistaken it's valid. You can check for yourself, if you find values for s,r,p and q that makes the result false but the statements true, then the argument is invalid
Hello GreenDay14 Originally Posted by GreenDay14 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. I've drawn up a truth table for the proposition - see attachment. The columns are evaluated in order (1) through (8) - (8) being the final output. Since this show TRUE in every row, then, yes the argument is valid. Grandad
View Tag Cloud