[Math] Rule of Replacement and Rule of Inference

logicpropositional-calculus

My question is how I can solve this argument. Can you please help me?

  1. $(V\implies \lnot W)\land(X\implies Y)$

  2. $(\lnot W\implies Z)\land(Y\implies\lnot A)$

  3. $(Z\implies\lnot B)\land(\lnot A\implies C)$

  4. $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.

Related Question