indirect proofs in natural deduction

Need your ASSIGNMENT done? Use our paper writing service to score better and meet your deadlines.

Order a Similar Paper Order a Different Paper

Choose one of the proofs below and use one of the indirect proof techniques (reductio ad absurdum or conditional proof) presented in Chapter 8 to demonstrate the validity of the argument. The proofs below may use any of the rules of inference or replacement rules given in Chapter 8.

1.(G • P) → K, E → Z, ~P → ~ Z, G → (E v L), therefore, (G • ~L) → K

2.(S v T) ↔ ~E, S → (F • ~G), A → W, T → ~W, therefore, (~E • A) → ~G

3.(S v T) v (U v W), therefore, (U v T) v (S v W)

4.~Q → (L → F), Q → ~A, F → B, L, therefore, ~A v B

5.~S → (F → L), F → (L → P), therefore, ~S → (F → P)

In mathematics, it is very common for there to be multiple ways to solve a given a problem; the same can be said of logic. There is often a variety of ways to perform a natural deduction. Now, construct an alternate proof. In other words, if the proof was done using RAA, now use CP; if you used CP, now use RAA. Consider the following questions, as well, in your journal response:

•Will a direct proof work for any of these?

•Can the proof be performed more efficiently by using different equivalence rules?

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


Do you need help with this or a different assignment? We offer CONFIDENTIAL, ORIGINAL (Turnitin/LopesWrite/SafeAssign checks), and PRIVATE services using latest (within 5 years) peer-reviewed articles. Kindly click on ORDER NOW to receive an A++ paper from our masters- and PhD writers.

Get a 15% discount on your order using the following coupon code SAVE15

Order a Similar Paper Order a Different Paper