My question is how I can solve this argument. Can you please help me?
-
$(V\implies \lnot W)\land(X\implies Y)$
-
$(\lnot W\implies Z)\land(Y\implies\lnot A)$
-
$(Z\implies\lnot B)\land(\lnot A\implies C)$
-
$V\land X\therefore \lnot B\land C$
logicpropositional-calculus
My question is how I can solve this argument. Can you please help me?
$(V\implies \lnot W)\land(X\implies Y)$
$(\lnot W\implies Z)\land(Y\implies\lnot A)$
$(Z\implies\lnot B)\land(\lnot A\implies C)$
$V\land X\therefore \lnot B\land C$
Best Answer
Each step you will need to prove this uses the same laws of deduction: hypothetical syllogism and $\land$-elimination, except that at the end you need $\land$-introduction. Or maybe you're using a whole different sort of system. You havem't told us.