Fill in the reasons in the following proof sequence. Make sure you indicate which step(s) each derivation rule refers to. Statements | Reasons 1. q ? r | given 2. ¬(¬p ? q) | given 3. ¬¬p ? ¬q | 4. p ? ¬q | 5. ¬q ? p | 6. q ? p | 7. q | 8. p | To solve Problem 1, here is an example for your reference: Example Prove: p ? q, ¬p ? q Statements | Reasons 1. p ? q | given 2. ¬p | given 3. ¬(¬p) ? q | double negation, 1 4. ¬p ? q | implication, 3 5. q | modus ponens, 4, 2
Added by Ismael P.
Close
Step 1
Step 1:** Apply De Morgan's Law to the second statement: \(\neg(\neg P \land Q) \Rightarrow P \lor \neg Q\) ** Show more…
Show all steps
Your feedback will help us improve your experience
Shaiju T and 86 other Calculus 3 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
Construct the truth tables for the given compound statements: 1. p ^ (~q) 2. [p ^ (~q)] v [(~p) v q] 3. ~(p v ~q) v p If p is false and q is true, what are the truth values of the given statements? 4. (p v q) 5. (~p) ^ (~q)
Tassha C.
Statements Reasons 1. q ^ r given 2. ¬(¬p ^ q) given 3. ¬¬p ∨ ¬q 4. p ∨ ¬q 5. ¬q ∨ p 6. q → p 7. q 8. p
Shaiju T.
Problem 1. If p is True, q is False, r is True, what is the truth value of the following proposition? ¬(r → q) ↔ (¬p ∨ r) Problem 2. Use truth tables to verify the following equivalences ¬(p → q) ≡ p ∧ ¬q
Recommended Textbooks
Calculus: Early Transcendentals
Thomas Calculus
Transcript
18,000,000+
Students on Numerade
Trusted by students at 8,000+ universities
Watch the video solution with this free unlock.
EMAIL
PASSWORD