문제 은행 · 기초 수학 · 공통수학2 · 집합과 명제

명제와 조건

명제의 참·거짓과 조건의 진리집합, 역·이·대우를 다룬다

유형·난이도는 우리말 풀이가 붙은 문제는 선생님이 정했고, 나머지는 자동 분류라 다를 수 있어요. 난이도가 정해지지 않은 문제는 난이도로 거를 때 빠집니다.

204문제 · 8 / 11쪽

141.Sundstrom, Mathematical Reasoning · 2.3절영어 원문

Assume the universal set for all variables is Z\mathbb{Z} and let P(x)P( x ) be the predicate “x2≤4x^2 \leq 4.”

(i) Find two values of xx for which P(x)P( x ) is false.

(ii) Find two values of xx for which P(x)P( x ) is true.

(iii) Use the roster method to specify the set of all xx for which P(x)P( x ) is true.

정답·풀이 보기 (영어 원문)

(i) Two values of xx for which P(x)P( x ) is false are x=3x = 3 and x=−4x = -4.

(ii) The set of all xx for which P(x)P( x ) is true is the set {−2,−1,0,1,2}\left\{ -2, -1, 0, 1, 2 \right\}.

한 번 더 — 비슷한 문제 풀기Sundstrom, Mathematical Reasoning · 2.4절 · 2a번
# 명제와 조건계산자동 분류
142.Sundstrom, Mathematical Reasoning · 2.3절영어 원문

Assume the universal set for all variables is Z\mathbb{Z}, and let R(x,  y,  z)R( {x,\;y,\;z} ) be the predicate “x2+y2=z2x^2 + y^2 = z^2.”

(i) Find two different examples for which R(x,y,z)R( {x, y, z}) is false.

(ii) Find two different examples for which R(x,y,z)R( {x, y, z}) is true.

정답·풀이 보기 (영어 원문)

(i) Two examples for which R(x,y,z)R( {x, y, z} ) is false are: x=1x = 1, y=1y = 1, z=1z = 1 and x=3x = 3, y=−1y = - 1, z=5z = 5.

(ii) Two examples for which R(x,y,z)R( {x, y, z} ) is true are: x=3x = 3, y=4y = 4, z=5z = 5 and x=5x = 5, y=12y = 12, z=13z = 13.

한 번 더 — 비슷한 문제 풀기Sundstrom, Mathematical Reasoning · 2.4절
# 명제와 조건계산자동 분류
143.Sundstrom, Mathematical Reasoning · 2.3절영어 원문

Let P(x)P( x ) be the predicate “x2≤9x^2 \leq 9.”

If the universal set is R\mathbb{R}, describe the truth set of P(x)P(x) using English and write the truth set of P(x)P( x ) using set builder notation.

정답·풀이 보기 (영어 원문)

The truth set is the set of all real numbers whose square is less than or equal to 9. The truth set is {x∈R∣x2≤9}={x∈R∣−3≤x≤3}\left\{ {\left. {x \in \mathbb{R} } \right| x^2 \leq 9} \right\} = \left\{ \left. x \in \mathbb{R} \right| -3 \leq x \leq 3 \right\}.

한 번 더 — 비슷한 문제 풀기Sundstrom, Mathematical Reasoning · 2.3절
# 명제와 조건계산자동 분류
144.Sundstrom, Mathematical Reasoning · 2.3절영어 원문

Let P(x)P( x ) be the predicate “x2≤9x^2 \leq 9.”

If the universal set is Z\mathbb{Z}, then what is the truth set of P(x)P( x )? Describe this set using English and then use the roster method to specify all the elements of this truth set.

정답·풀이 보기 (영어 원문)

The truth set is the set of all integers whose square is less than or equal to 9. The truth set is {−3,−2,−1,0,1,2,3}\left\{ { - 3, - 2, - 1, 0, 1, 2, 3} \right\}.

한 번 더 — 비슷한 문제 풀기Sundstrom, Mathematical Reasoning · 1.1절
# 명제와 조건계산자동 분류
145.Sundstrom, Mathematical Reasoning · 2.3절 · 4a번영어 원문

Use the roster method to specify the truth set for each of the following open sentences. The universal set for each open sentence is the set of integers Z\mathbb{Z}.

n+7=4n + 7 = 4.

정답·풀이 보기 (영어 원문)
# 명제와 조건계산자동 분류
146.Sundstrom, Mathematical Reasoning · 2.3절 · 4b번영어 원문

Use the roster method to specify the truth set for each of the following open sentences. The universal set for each open sentence is the set of integers Z\mathbb{Z}.

n2=64n^2 = 64.

정답·풀이 보기 (영어 원문)
# 명제와 조건계산자동 분류
147.Sundstrom, Mathematical Reasoning · 2.3절 · 4c번영어 원문

Use the roster method to specify the truth set for each of the following open sentences. The universal set for each open sentence is the set of integers Z\mathbb{Z}.

n∈N\sqrt{n} \in \mathbb{N} and nn is less than 50.

원본 교재에 이 문제의 정답은 실려 있지 않습니다.

한 번 더 — 비슷한 문제 풀기Sundstrom, Mathematical Reasoning · 2.3절 · 4b번
# 명제와 조건계산자동 분류
148.Sundstrom, Mathematical Reasoning · 2.3절 · 4d번영어 원문

Use the roster method to specify the truth set for each of the following open sentences. The universal set for each open sentence is the set of integers Z\mathbb{Z}.

nn is an odd integer that is greater than 2 and less than 14.

원본 교재에 이 문제의 정답은 실려 있지 않습니다.

한 번 더 — 비슷한 문제 풀기Sundstrom, Mathematical Reasoning · 1.1절 · 3d번
# 명제와 조건계산자동 분류
149.Sundstrom, Mathematical Reasoning · 2.3절 · 4e번영어 원문

Use the roster method to specify the truth set for each of the following open sentences. The universal set for each open sentence is the set of integers Z\mathbb{Z}.

nn is an even integer that is greater than 10.

원본 교재에 이 문제의 정답은 실려 있지 않습니다.

한 번 더 — 비슷한 문제 풀기Sundstrom, Mathematical Reasoning · 2.4절 · 2b번
# 명제와 조건계산자동 분류
150.Sundstrom, Mathematical Reasoning · 2.4절영어 원문

For each of the following statements

  • (1) Write the statement in the form of an English sentence that does not use the symbols for quantifiers. - (2) Write the negation of the statement in a symbolic form that does not use the negation symbol. - (3) Write the negation of the statement in the form of an English sentence that does not use the symbols for quantifiers.

(∀a∈R)(a+0=a)\left( \forall a \in \mathbb{R}\right) \left( a + 0 = a \right).

정답·풀이 보기 (영어 원문)
  • For each real number aa, a+0=aa + 0 = a. - (∃a∈R)(a+0≠a)(\exists a \in \mathbb{R})( a + 0 \ne a). - There exists a real number aa such that a+0≠aa + 0 \ne a.
한 번 더 — 비슷한 문제 풀기Sundstrom, Mathematical Reasoning · 2.4절 · 2f번
# 명제와 조건계산자동 분류
151.Sundstrom, Mathematical Reasoning · 2.4절영어 원문

For each of the following statements

  • (1) Write the statement in the form of an English sentence that does not use the symbols for quantifiers. - (2) Write the negation of the statement in a symbolic form that does not use the negation symbol. - (3) Write the negation of the statement in the form of an English sentence that does not use the symbols for quantifiers.

(∀x∈R)[sin⁡(2x)=2(sin⁡x)(cos⁡x)]\left( \forall x \in \mathbb{R} \right) \left[ \sin ( {2x} ) = 2 ( {\sin x} ) ( {\cos x} ) \right].

정답·풀이 보기 (영어 원문)
  • For each real number xx, sin⁡(2x)=2(sin⁡x)(cos⁡x)\sin ( {2x} ) = 2( {\sin x} )( {\cos x} ). - (∃x∈R)(sin⁡(2x)≠2(sin⁡x)(cos⁡x))(\exists x \in \mathbb{R})( \sin ( {2x} ) \ne 2( {\sin x} )( {\cos x} )). - There exists a real number xx such that sin⁡(2x)≠2(sin⁡x)(cos⁡x)\sin \left( {2x} \right) \ne 2\left( {\sin x} \right)\left( {\cos x} \right).
한 번 더 — 비슷한 문제 풀기Sundstrom, Mathematical Reasoning · 2.4절 · 4e번
# 명제와 조건계산자동 분류
152.Sundstrom, Mathematical Reasoning · 2.4절영어 원문

For each of the following statements

  • (1) Write the statement in the form of an English sentence that does not use the symbols for quantifiers. - (2) Write the negation of the statement in a symbolic form that does not use the negation symbol. - (3) Write the negation of the statement in the form of an English sentence that does not use the symbols for quantifiers.

(∀x∈R)(tan⁡2x+1=sec⁡2x)\left( \forall x \in \mathbb{R} \right) \left( \tan ^2 x + 1 = \sec ^2 x \right).

정답·풀이 보기 (영어 원문)
  • For each real number xx, tan⁡2x+1=sec⁡2x\tan ^2 x + 1 = \sec ^2 x. - (∃x∈R)(tan⁡2x+1≠sec⁡2x)\left( \exists x \in \mathbb{R}\right) \left( \tan ^2 x + 1 \ne \sec ^2 x \right). - There exists a real number xx such that tan⁡2x+1≠sec⁡2x\tan ^2 x + 1 \ne \sec ^2 x.
한 번 더 — 비슷한 문제 풀기Sundstrom, Mathematical Reasoning · 2.4절
# 명제와 조건계산자동 분류
153.Sundstrom, Mathematical Reasoning · 2.4절영어 원문

For each of the following statements

  • (1) Write the statement in the form of an English sentence that does not use the symbols for quantifiers. - (2) Write the negation of the statement in a symbolic form that does not use the negation symbol. - (3) Write the negation of the statement in the form of an English sentence that does not use the symbols for quantifiers.

(∃x∈Q)(x2−3x−7=0)\left( \exists x \in \mathbb{Q} \right) \left( x^2 - 3x - 7 = 0 \right).

정답·풀이 보기 (영어 원문)
  • There exists a rational number xx such that x2−3x−7=0x^2 - 3x - 7 = 0. - (∀x∈Q)(x2−3x−7≠0)(\forall x \in \mathbb{Q}) \left( x^2 - 3x - 7 \ne 0 \right). - For each rational number xx, x2−3x−7≠0x^2 - 3x - 7 \ne 0.
한 번 더 — 비슷한 문제 풀기Sundstrom, Mathematical Reasoning · 2.4절
# 명제와 조건계산자동 분류
154.Sundstrom, Mathematical Reasoning · 2.4절영어 원문

For each of the following statements

  • (1) Write the statement in the form of an English sentence that does not use the symbols for quantifiers. - (2) Write the negation of the statement in a symbolic form that does not use the negation symbol. - (3) Write the negation of the statement in the form of an English sentence that does not use the symbols for quantifiers.

(∃x∈R)(x2+1=0)\left( \exists x \in \mathbb{R} \right) \left( x^2 + 1 = 0 \right).

정답·풀이 보기 (영어 원문)
  • There exists a real number xx such that x2+1=0x^2 + 1 = 0. - (∀x∈R)( x2+1≠0)(\forall x \in \mathbb{R}) \left( \text{ } x^2 + 1 \ne 0 \right). - For each real number xx, x2+1≠0x^2 + 1 \ne 0.
한 번 더 — 비슷한 문제 풀기Sundstrom, Mathematical Reasoning · 2.4절 · 2b번
# 명제와 조건계산자동 분류
155.Sundstrom, Mathematical Reasoning · 2.4절영어 원문

Use counterexamples to explain why each of the following statements is false.

For each integer nn, (n2+n+1)\left( n^2 + n + 1 \right) is a prime number.

정답·풀이 보기 (영어 원문)

A counterexample is n=4n = 4 since 42+4+1=214^2 + 4 + 1 = 21, and 21 is not prime.

한 번 더 — 비슷한 문제 풀기Sundstrom, Mathematical Reasoning · 2.3절
# 명제와 조건계산자동 분류
156.Sundstrom, Mathematical Reasoning · 2.4절영어 원문

Use counterexamples to explain why each of the following statements is false.

For each real number xx, if xx is positive, then 2x2>x2x^2 > x.

정답·풀이 보기 (영어 원문)

A counterexample is x=14x = \dfrac{1}{4} since 14\dfrac{1}{4} is positive and 2(14)2=182 \left( \dfrac{1}{4} \right)^2 = \dfrac{1}{8} and 18≤14\dfrac{1}{8} \leq \dfrac{1}{4}.

한 번 더 — 비슷한 문제 풀기Sundstrom, Mathematical Reasoning · 2.4절
# 명제와 조건계산자동 분류
157.Sundstrom, Mathematical Reasoning · 2.4절영어 원문

An integer nn is a multiple of 3 provided that there exists an integer kk such that n=3kn = 3k.

Write this definition in symbolic form using quantifiers by completing the following:

An integer

n

is a multiple of 3 provided that

.

정답·풀이 보기 (영어 원문)

An integer nn is a multiple of 3 provided that (∃k∈Z)(n=3k)\left( \exists k \in \mathbb{Z} \right) \left( n = 3k \right).

한 번 더 — 비슷한 문제 풀기Sundstrom, Mathematical Reasoning · 2.1절 · 7번
# 명제와 조건계산자동 분류
158.Sundstrom, Mathematical Reasoning · 2.4절영어 원문

An integer nn is a multiple of 3 provided that there exists an integer kk such that n=3kn = 3k.

Give several examples of integers (including negative integers) that are multiples of 3.

원본 교재에 이 문제의 정답은 실려 있지 않습니다.

한 번 더 — 비슷한 문제 풀기Sundstrom, Mathematical Reasoning · 2.4절 · 4e번
# 명제와 조건계산자동 분류
159.Sundstrom, Mathematical Reasoning · 2.4절영어 원문

An integer nn is a multiple of 3 provided that there exists an integer kk such that n=3kn = 3k.

Give several examples of integers (including negative integers) that are not multiples of 3.

원본 교재에 이 문제의 정답은 실려 있지 않습니다.

한 번 더 — 비슷한 문제 풀기Sundstrom, Mathematical Reasoning · 1.1절
# 명제와 조건계산자동 분류
160.Sundstrom, Mathematical Reasoning · 2.4절영어 원문

An integer nn is a multiple of 3 provided that there exists an integer kk such that n=3kn = 3k.

Use the symbolic form of the definition of a multiple of 3 to complete the following sentence: “An integer nn is not a multiple of 3 provided that ….”

정답·풀이 보기 (영어 원문)

An integer nn is not a multiple of 3 provided that (∀k∈Z)(n≠3k)\left( \forall k \in \mathbb{Z} \right) \left( n \ne 3k \right).

한 번 더 — 비슷한 문제 풀기Sundstrom, Mathematical Reasoning · 2.4절
# 명제와 조건계산자동 분류