Chapter 2: Problem 24
24\. Let \(n\) be an integer. Prove that \(n\) is even if and only if \(31 n+12\) is even.
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 2: Problem 24
24\. Let \(n\) be an integer. Prove that \(n\) is even if and only if \(31 n+12\) is even.
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
4\. Let \(p, q, r, s\) denote the following statements: \(p\) : I finish writing my computer program before lunch. q: I shall play tennis in the afternoon. \(r\) : The sun is shining. s: The humidity is low. Write the following in symbolic form. a) If the sun is shining. I shall play tennis this afternoon. b) Finishing the writing of my computer program before lunch is necessary for my playing tennis this afternoon. c) Low humidity and sunshine are sufficient for me to play tennis this afternoon.
4\. Consider the universe of all polygons with three or four ides, and define the following open statements for this universe. \(a(x)\) : all interior angles of \(x\) are equal \(e(x) ; \quad x\) is an equilateral triangle \(h(x)\) : all sides of \(x\) are equal \(i(x): x\) is an isosceles triangle \(p(x): \quad x\) has an interior angle that exceeds \(180^{\circ}\) \(q(x): \quad x\) is a quadrilateral \(r(x): \quad x\) is a rectangle \(s(x): \quad x\) is a square \(t(x): \quad x\) is a triangle Translate each of the following statements into an English sentence, and determine whether the statement is true or false. a) \(\forall x[q(x) \underline{\vee} t(x)]\) b) \(\forall x[i(x) \rightarrow e(x)]\) c) \(\exists x[t(x) \wedge p(x)]\) d) \(\forall x[(a(x) \wedge t(x)) \leftrightarrow e(x)]\) e) \(\exists x[q(x) \wedge \neg r(x)]\) f) \(\exists x[r(x) \wedge \neg s(x)]\) g) \(\forall x[h(x) \rightarrow e(x)]\) h) \(\forall x[t(x) \rightarrow \neg p(x)]\) i) \(\forall x[s(x) \leftrightarrow(a(x) \wedge h(x))]\) j) \(\forall x[t(x) \rightarrow(a(x) \leftrightarrow h(x))]\)
13\. Consider the open statement $$ p(x, y): \quad y-x=y+x^{2} $$ where the universe for each of the variables \(x, y\) comprises all integers. Determine the truth value for each of the following statements. a) \(p(0,0)\) b) \(p(1,1)\) c) \(p(0,1)\) d) \(\forall y p(0, y)\) e) \(\exists y p(\mathbb{1}, y)\) f) \(\forall x \exists y p(x, y)\) g) \(\exists y \forall x p(x, y)\) h) \(\forall y \exists x p(x, y)\)
5\. Negate and express each of the following statements in smooth English. a) Kelsey will get a good education if she puts her studies before her interest in cheerleading. b) Norma is doing her homework, and Karen is practicing her piano lessons. c) If Harold passes his C++ course and finishes his data structures project, then he will graduate at the end of the semester.
8\. Construct a truth table for each of the following compound statements, where \(p, q, r\) denote primitive statements. a) \(\neg(p \vee \neg q) \rightarrow \neg p\) b) \(p \rightarrow(q \rightarrow r)\) c) \((p \rightarrow q) \rightarrow r\) d) \((p \rightarrow q) \rightarrow(q \rightarrow p)\) e) \([p \wedge(p \rightarrow q)] \rightarrow q\) f) \((p \wedge q) \rightarrow p\) g) \(q \leftrightarrow(\neg p \vee \neg q)\) h) \([(p \rightarrow q) \wedge(q \rightarrow r)] \rightarrow(p \rightarrow r)\)
What do you think about this solution?
We value your feedback to improve our textbook solutions.