Purchase Solution

Proofs using Modus Pollens, Modus Tollens

Not what you're looking for?

Ask Custom Question

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

Purchase this Solution

Solution Summary

Stepwise proof for given arguments is provided as a sequence of "Step [Reason]" statements.

Solution Preview

Format of proof is sequence of "Step [Reason]" statements.

A).
1. w>(pvc)..........premise
2. ~p.....................premise
3. w............./c.....premise/conclusion

Proof:
1. w > (pvc) [Premise]
2. w [Premise]
3. (p v c) [Modus ponens on 1 and 2]
4. ~p [Premise]
5. c [Disjunctive syllogism of 3 and 4; Conclusion]

B).
1. H>(D<>A)......................Premise
2. Mv(R>M).......................Premise
3. RvH.................................Premise
4. ~M-------/D<>A.......Premise/conclusion

Proof:
1. M v (R > M) [Premise]
2. ~M [Premise]
3. (R > M) [Disjunctive syllogism of 1 and 2]
4. ~R [Modus tollens of 2 and 3]
5. R v H [Premise]
6. H [Disjunctive syllogism on 4 and 5]
7. H > (D <> A) [Premise]
8. (D <> A) [Modus ponens on 6 and 7; Conclusion]

C).
1. ~Dv(L>~F)...................Premise
2. ~D>~F............................Premise
3. ~~F......................../~L...........Premise/Conclusion

Proof:
1. ~D > ~F [Premise]
2. ~~F [Premise]
3. ...

Purchase this Solution


Free BrainMass Quizzes
Probability Quiz

Some questions on probability

Multiplying Complex Numbers

This is a short quiz to check your understanding of multiplication of complex numbers in rectangular form.

Graphs and Functions

This quiz helps you easily identify a function and test your understanding of ranges, domains , function inverses and transformations.

Exponential Expressions

In this quiz, you will have a chance to practice basic terminology of exponential expressions and how to evaluate them.

Geometry - Real Life Application Problems

Understanding of how geometry applies to in real-world contexts