Description
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?

Explanation & Answer

please let me know if you need anything else :D
Conditional Proof
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
(G • P) → K,
E → Z,
~P → ~ Z,
G → (E v L),
therefore, (G • ~L) → K
(G • ~L) assumption
G simplification 6
~L simplificat...

Review
Review




24/7 Homework Help
Stuck on a homework question? Our verified tutors can answer all questions, from basic math to advanced rocket science!






Similar Content
Related Tags
The Woman in the Window
by A. J. Finn
Fahrenheit 451
by Ray Bradbury
The Power of Habit - Why We Do What We Do in Life and Business
by Charles Duhigg
The Fault in Our Stars
by John Green
The Hunger Games
by Suzanne Collins
Dandelion Wine
by Ray Bradbury
The Russian Hoax
by Gregg Jarrett
A Brief History of Humankind Sapiens
by Yuval Noah Harari
Anthem
by Ayn Rand






