Chapter 1: Problem 6
Use a direct proof to show that the product of two odd numbers is odd.
Short Answer
Step by step solution
Key Concepts
These are the key concepts you need to understand to accurately answer the question.
/*! This file is auto-generated */ .wp-block-button__link{color:#fff;background-color:#32373c;border-radius:9999px;box-shadow:none;text-decoration:none;padding:calc(.667em + 2px) calc(1.333em + 2px);font-size:1.125em}.wp-block-file__button{background:#32373c;color:#fff;text-decoration:none}
Learning Materials
Features
Discover
Chapter 1: Problem 6
Use a direct proof to show that the product of two odd numbers is odd.
These are the key concepts you need to understand to accurately answer the question.
All the tools & learning materials you need for study success - in one app.
Get started for free
Express the negation of each of these statements in terms of quantifiers without using the negation symbol. a) \(\forall x(x>1)\) b) \(\forall x(x \leq 2)\) \(\begin{array}{ll}\text { c) } & \exists x(x \geq 4)\end{array}\) d) \(\exists x(x<0)\) e) \(\forall x((x<-1) \vee(x>2))\) f) \(\exists x((x<4) \vee(x>7))\)
Show that \(\forall x P(x) \vee \forall x Q(x)\) and \(\forall x(P(x) \vee Q(x))\) are not logically equivalent.
For each of these arguments, explain which rules of inference are used for each step. a) 鈥淒oug, a student in this class, knows how to write programs in JAVA. Everyone who knows how to write programs in JAVA can get a high-paying job. Therefore, someone in this class can get a high-paying job.鈥 b) 鈥淪omebody in this class enjoys whale watching. Every person who enjoys whale watching cares about ocean pollution. Therefore, there is a person in this class who cares about ocean pollution.鈥 c) 鈥淓ach of the 93 students in this class owns a personal computer. Everyone who owns a personal computer can use a word processing program. Therefore, Zeke, a student in this class, can use a word processing pro- gram.鈥 d) 鈥淓veryone in New Jersey lives within 50 miles of the ocean. Someone in New Jersey has never seen the ocean. Therefore, someone who lives within 50 miles of the ocean has never seen the ocean.鈥
a) Show that \(\forall x P(x) \wedge \exists x Q(x)\) is logically equivalent to \(\forall x \exists y(P(x) \wedge Q(y)),\) where all quantifiers have the same nonempty domain. b) Show that \(\forall x P(x) \vee \exists x Q(x)\) is equivalent to \(\forall x \exists y\) \((P(x) \vee Q(y)),\) where all quantifiers have the same nonempty domain.
Prove or disprove that if you have an 8 -gallon jug of water and two empty jugs with capacities of 5 gallons and 3 gallons, respectively, then you can measure 4 gallons by successively pouring some of or all of the water in a jug into another jug.
What do you think about this solution?
We value your feedback to improve our textbook solutions.