3. Use the rule of resolution to show that the premises (a-c) below imply that 'Alice does not get wet'. Define propositions wherever necessary. a. It is not raining or Alice has her umbrella. b. If Alice has her umbrella, then she does not get wet. c. It is raining or Alice does not get wet. Hint: what 'or' statement is equivalent to premise b?
Added by Kyle Y.
Close
Step 1
- Let \( R \) be "It is raining." - Let \( U \) be "Alice has her umbrella." - Let \( W \) be "Alice does not get wet." Show more…
Show all steps
Your feedback will help us improve your experience
Shannon K and 64 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
Express each of these statements using logical operators, predicates, and quantifiers. a) Some propositions are tautologies. b) The negation of a contradiction is a tautology. c) The disjunction of two contingencies can be a tautology. d) The conjunction of two tautologies is a tautology.
The Foundations: Logic and Proofs
Predicates and Quantifiers
(a)Given the following premises, which conclusions below are valid? 1. If Alice studies French, then Alice studies German. 2. Alice studies French or German. 3. If Alice studies German, then Alice does not study Mathematics. A. If Alice studies French, then Alice does not study German. B. Alice studies French. C. Alice studies Mathematics D. Alice studies German.
Maitreya E.
The connective "unless" can be ambiguous, and this exercise will pinpoint the ambiguity. We awake at dawn, and we are told "We will have a picnic today unless it is raining at 10 A.M." Let A * B denote A unless B (not a standard notation). Complete as much of a truth table as possible for A * B, and discuss any ambiguous lines. Use a truth tables to check that the following are tautologies. (a) ((A => B) ^ (B => C)) => (A => C). (b) (A => B) <=> (-B => -A).
Joel M.
Recommended Textbooks
Calculus: Early Transcendentals
Thomas Calculus
Watch the video solution with this free unlock.
EMAIL
PASSWORD