2

I'm just checking my work to make sure I'm going through this in a sane fashion:

$P\wedge Q, (P\wedge Q) \rightarrow (R\wedge S), (S\vee U) \rightarrow W \vdash W$

\begin{array}{|c|c|c|c|}\hline\ Scope &Step & Derivation&Rule\\ \hline1&(1)&P\wedge Q& A\\ \hline2&(2)&(P\wedge Q) \rightarrow (R\wedge S)&A \\ \hline3&(3)&(S\vee U) \rightarrow W&A\\ \hline 1,2&(4)&R\wedge S &1,2 \rightarrow E\\ \hline 1,2&(5)&S&4 \wedge E\\ \hline 1,2&(6)&S\vee U&5\vee I\\ \hline 1,2,3&(7)&W&3,6 \rightarrow E \\ \hline \end{array}

Wolgwang
  • 1,563
  • 2
    Looks good to me (the logic, not the formatting). – quasi May 10 '17 at 16:47
  • Can I ask what book you're using? – quasi May 10 '17 at 16:59
  • Classical Logic and Its Rabbit-Holes: A First Course , Nelson P Lande, ISBN-10: 1603849483.

    Thanks so much for confirming the logic! Any tips on how I can do formatting easier on here?

    – not nate May 10 '17 at 17:12
  • Actually, I'm a latex and mathjax newbie, so I can't help with that. Besides, It's not really that bad -- don't worry about it. – quasi May 10 '17 at 17:19

0 Answers0