명제와 조건 연습문제 — Sundstrom, Mathematical Reasoning · 2.3절

Sundstrom, Mathematical Reasoning · 2.3절영어 원문

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

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

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

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

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

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

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

한 번 더 — 비슷한 문제Sundstrom, Mathematical Reasoning · 2.4절 · 2a번영어 원문

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.

$\left( {\forall m \in \mathbb{Z}} \right)\left( {m^2 \text{ is even } } \right)$ .

다 풀었으면 정답 확인

$m = 1$ is a counterexample. The negation is: There exists a natural number $m$ such that $m^2$ is not even or there exists a natural number $m$ such that $m^2$ is odd.

이 문제로 이어서 풀기

# 명제와 조건계산자동 분류