Question
Let $p$ and $q$ be the propositions$p :$ It is below freezing.$q :$ It is snowing.Write these propositions using $p$ and $q$ and logical connectives (including negations).a) It is below freezing and snowing.b) It is below freezing but not snowing.c) It is not below freezing and it is not snowing.d) It is either snowing or below freezing (or both).e) If it is below freezing, it is also snowing.f ) Either it is below freezing or it is snowing, but it is not snowing if it is below freezing.g) That it is below freezing is necessary and sufficient for it to be snowing.
Step 1
The logical connective "and" is represented by $\wedge$, "or" is represented by $\vee$, "not" is represented by $\neg$, "if...then..." is represented by $\rightarrow$, and "if and only if" is represented by $\leftrightarrow$. Show more…
Show all steps
Your feedback will help us improve your experience
James Chok and 71 other Calculus 2 / BC 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
Let $p$ and $q$ be the propositions $p :$ You drive over 65 miles per hour. $q :$ You get a speeding ticket. Write these propositions using $p$ and $q$ and logical connectives (including negations). a) You do not drive over 65 miles per hour. b) You drive over 65 miles per hour, but you do not get a speeding ticket. c) You will get a speeding ticket if you drive over 65 miles per hour. d) If you do not drive over 65 miles per hour, then you will not get a speeding ticket. e) Driving over 65 miles per hour is sufficient for getting a speeding ticket. f ) You get a speeding ticket, but you do not drive over 65 miles per hour. g) Whenever you get a speeding ticket, you are driving over 65 miles per hour.
The Foundations: Logic and Proofs
Propositional Logic
Let $p, q$, and $r$ be the propositions $p$ : You get an $\mathrm{A}$ on the final exam. $q$ : You do every exercise in this book. $r$ : You get an A in this class. Write these propositions using $p, q$, and $r$ and logical connectives (including negations). a) You get an A in this class, but you do not do every exercise in this book. b) You get an $\mathrm{A}$ on the final, you do every exercise in this book, and you get an A in this class. c) To get an $\mathrm{A}$ in this class, it is necessary for you to get an $\mathrm{A}$ on the final. d) You get an $\mathrm{A}$ on the final, but you don't do every exercise in this book; nevertheless, you get an $\mathrm{A}$ in this class. e) Getting an $\mathrm{A}$ on the final and doing every exercise in this book is sufficient for getting an A in this class. f) You will get an A in this class if and only if you either do every exercise in this book or you get an $\mathrm{A}$ on the final.
Write the negation of each statement. Remember that the negation of $p \rightarrow q$ is $p \wedge \sim q$ . If you are not part of the solution, you are part of the problem.
Logic
The Conditional and Circuits
Transcript
600,000+
Students learning Calculus with Numerade
Trusted by students at 8,000+ universities
Watch the video solution with this free unlock.
EMAIL
PASSWORD
