Assignment:
Question: Using the four rules of inference presented (mp,mt,ds and hs), construct a proof for the following valid argument in the answer box below.
Note:
A).
1. w>(pvc)..........premise
2. ~p.....................premise
3. w............./c.....premise/conclusion
B).
1. H>(D<>A)......................Premise
2. Mv(R>M).......................Premise
3. RvH.................................Premise
4. ~M-------/D<>A.......Premise/conclusion
C).
1. ~Dv(L>~F)...................Premise
2. ~D>~F............................Premise
3. ~~F......................../~L...........Premise/Conclusion
D).
1. (Q>~J)>(M>~D)...................Premise
2. Q>M.........................................Premise
3. M>~J........................../Q>~D...... Premise/Conclusion
E.
1. ~(~E&~N)>T ............................premise
2. G>(NvE) .............................premise
3. (~~Ev~~N)>T ....................premise
4. (~~Nv~~E)>T ................... Premise
5. (NvE)> .....................................Premise/conclusion
F.
1. (D>C)>(NvW) .......................... premise
2. D>S...........................................Premise
3. S>C...........................................Premise
4. ~N................/ W.........................Premise/conclusion
G.
1. ~C>(Cv(J>D)) .............................Premise
2. C>(C&U) .....................................Premise
3. ~(C&U)........................................Premise
4. ~D.................../ ~J......................Premise
H.
1. (R>L)>(L>~F)...............................Premise
2. ~Fv(R>L).......................................Premise
3. ~~F................/ ~R.........................Premise/Conclusion
I.
1. Cv(H>R) ..........................................Premise
2. Sv(R>E)...........................................Premise
3. ~ C...................................................Premise
4. ~ S........................./ H>E.................Premise/conclusion
Provide complete and step by step solution for the question and show calculations and use formulas.