direct proofs in natural deduction

STUCK with your assignment? When is it due? Hire our professional essay experts who are available online 24/7 for an essay paper written to a high standard at a reasonable price.


Order a Similar Paper Order a Different Paper

Choose two of the arguments below and write a direct proof using the eight rules of inference introduced in section 8.1 of the textbook. You can do argument 1 or argument 2, but not both, then any of arguments 3–6. Note that commas are used to separate the premises from each other.

1. ~M, (~M • ~N) → (Q → P), P → R, ~N, therefore, Q → R

2. ~F → ~G, P → ~Q, ~F v P, (~G v ~Q) → (L • M), therefore, L

3. ~(Z v Y) → ~W, ~U → ~(Z v Y), (~U → ~W) → (T → S), S → (R v P), [T → (RvP)] → [(~R v K) • ~K], therefore, ~K

4. (S v U) • ~U, S → [T • (F v G)], [T v (J • P)] → (~B • E), therefore, S • ~B

5. ~X → (~Y → ~Z), X v (W → U), ~Y v W, ~X • T, (~Z v U) → ~S, therefore, (R v ~S) • T

6. (C → Q) • (~L → ~R), (S → C) • (~N → ~L), ~Q • J, ~Q → (S v ~N), therefore, ~R

Natural deduction is so called because it is a model for how we naturally reason. This often comes as a surprise to students because all of the symbols seem anything but natural. The symbols, however, allow us to focus on the form of the argument without getting bogged down by content. Recall that each sentence letter represents a simple sentence in English.

After writing your direct proofs, construct a translation key for your argument by assigning each letter a simple sentence, and use that key to fill in the content of the argument.

"Is this question part of your assignment? We can help"

ORDER NOW
Writerbay.net

Everyone needs a little help with academic work from time to time. Hire the best essay writing professionals working for us today!

Get a 15% discount for your first order


Order a Similar Paper Order a Different Paper