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

명제와 조건

먼저 혼자 풀어 보고, 풀이로 확인한 다음, 아래 「한 번 더」 문제로 이어서 연습하세요.

Sundstrom, Mathematical Reasoning · 2.4절 · 2b번영어 원문

For each of the following, use a counterexample to show that the statement is false. Then write the negation of the statement in English, without using symbols for quantifiers.

(∀x∈R)(x2>0)\left( {\forall x \in \mathbb{R}} \right)\left( {x^2 > 0} \right).

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

x=0x = 0 is a counterexample. The negation is: There exists a real number xx such that x2≤0x^2 \leq 0.

한 번 더 — 비슷한 문제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\}.

이 문제로 이어서 풀기
# 명제와 조건증명·논술자동 분류

「명제와 조건」 문제 목록으로