Use either indirect proof or conditional proof (or both) and the eighteen rules of inference to derive the conclusion of the following symbolized argument. (Complete the proof in the logic tool. See the Getting Started text for further instructions. Select the Submit button to grade your response.) StepArgumentJustification1.(K ⊃ K) ⊃ R 2.(R ∨ M) ⊃ N / N
Added by Denise V.
Step 1
Here’s a step-by-step breakdown of the proof: ** Show more…
Show all steps
Close
Your feedback will help us improve your experience
Sri K and 92 other Algebra educators are ready to help you.
Ask a new question
Labs
Want to see this concept in action?
Explore this concept interactively to see how it behaves as you change inputs.
Key Concepts
Recommended Videos
SECTIONS 7.5/7.6: USE EITHER INDIRECT OR CONDITIONAL PROOF (OR BOTH) AND THE EIGHTEEN RULES OF INFERENCE TO DERIVE THE CONCLUSION OF THE FOLLOWING SYMBOLIZED ARGUMENT. PLEASE BE SURE TO COPY AND PASTE THE PROBLEM AND THESE SYMBOLS (~, •, v, ⊃, ≡) INTO TEXT BOX FOR ANSWERS. (5 POINTS)* 1) (K v T) ⊃ B / K ⊃ B
Sri K.
Instructions 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.
Write a proof for: Premises: k & l Conclusion: (k - > l) & (l -> k)
Recommended Textbooks
Elementary and Intermediate Algebra
Algebra and Trigonometry
Transcript
18,000,000+
Students on Numerade
Trusted by students at 8,000+ universities
Watch the video solution with this free unlock.
EMAIL
PASSWORD