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

명제와 조건

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

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

144문제 · 4 / 8쪽

61.Sundstrom, Mathematical Reasoning · 2.1절영어 원문

Recall that a quadrilateral is a four-sided polygon. Let SS represent the following true conditional statement:

If a quadrilateral is a square, then it is a rectangle.

Write this conditional statement in English using

the word “whenever”

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

Whenever a quadrilateral is a square, it is a rectangle, or a quadrilateral is a rectangle whenever it is a square.

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

Recall that a quadrilateral is a four-sided polygon. Let SS represent the following true conditional statement:

If a quadrilateral is a square, then it is a rectangle.

Write this conditional statement in English using

the phrase “only if”

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

Suppose that PP and QQ are statements for which P→QP \to Q is true and for which ¬Q\neg Q is true. What conclusion (if any) can be made about the truth value of each of the following statements?

PP

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

Suppose that PP and QQ are statements for which P→QP \to Q is true and for which ¬Q\neg Q is true. What conclusion (if any) can be made about the truth value of each of the following statements?

P∧QP \wedge Q

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

Suppose that PP and QQ are statements for which P→QP \to Q is true and for which ¬Q\neg Q is true. What conclusion (if any) can be made about the truth value of each of the following statements?

P∨QP \vee Q

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

Suppose that PP and QQ are statements for which P→QP \to Q is false. What conclusion (if any) can be made about the truth value of each of the following statements?

¬P→Q\neg P \to Q

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

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

Suppose that PP and QQ are statements for which P→QP \to Q is false. What conclusion (if any) can be made about the truth value of each of the following statements?

Q→PQ \to P

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

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

Suppose that PP and QQ are statements for which P→QP \to Q is false. What conclusion (if any) can be made about the truth value of each of the following statements?

P∨QP \vee Q

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

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

Construct truth tables for P∧(Q∨R)P \wedge \left( {Q \vee R} \right) and (P∧Q)∨(P∧R)\left( {P \wedge Q} \right) \vee \left( {P \wedge R} \right). What do you observe?

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

| PP | QQ | RR | P∧(Q∨R)P \wedge (Q \vee R) | (P∧Q)∨(P∧R)(P \wedge Q) \vee (P \wedge R) | | --- | --- | --- | --- | --- | | T | T | T | T | T | | T | T | F | T | T | | T | F | T | T | T | | T | F | F | F | F | | F | T | T | F | F | | F | T | F | F | F | | F | F | T | F | F | | F | F | F | F | F |

The two statements have the same truth table.

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

Suppose each of the following statements is true.

  • Laura is in the seventh grade. - Laura got an A on the mathematics test or Sarah got an A on the mathematics test. - If Sarah got an A on the mathematics test, then Laura is not in the seventh grade.

If possible, determine the truth value of each of the following statements. Carefully explain your reasoning.

Laura got an A on the mathematics test.

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

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

Suppose each of the following statements is true.

  • Laura is in the seventh grade. - Laura got an A on the mathematics test or Sarah got an A on the mathematics test. - If Sarah got an A on the mathematics test, then Laura is not in the seventh grade.

If possible, determine the truth value of each of the following statements. Carefully explain your reasoning.

Sarah got an A on the mathematics test.

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

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

Suppose each of the following statements is true.

  • Laura is in the seventh grade. - Laura got an A on the mathematics test or Sarah got an A on the mathematics test. - If Sarah got an A on the mathematics test, then Laura is not in the seventh grade.

If possible, determine the truth value of each of the following statements. Carefully explain your reasoning.

Either Laura or Sarah did not get an A on the mathematics test.

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

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

Let PP stand for “the integer xx is even,” and let QQ stand for “x2x^2 is even.” Express the conditional statement P→QP \to Q in English using

The “if then” form of the conditional statement

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

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

Let PP stand for “the integer xx is even,” and let QQ stand for “x2x^2 is even.” Express the conditional statement P→QP \to Q in English using

The word “implies”

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

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

Let PP stand for “the integer xx is even,” and let QQ stand for “x2x^2 is even.” Express the conditional statement P→QP \to Q in English using

The “only if” form of the conditional statement

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

For statements PP and QQ, use truth tables to determine if each of the following statements is a tautology, a contradiction, or neither.

¬Q∨(P→Q)\neg Q \vee (P \to Q).

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

¬Q∨(P→Q)\neg Q \vee (P \to Q) is a tautology.

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

For statements PP and QQ, use truth tables to determine if each of the following statements is a tautology, a contradiction, or neither.

Q∧(P∧¬Q)Q \wedge (P \wedge \neg Q).

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

Q∧(P∧¬Q)Q \wedge (P \wedge \neg Q) is a contradiction.

한 번 더 — 비슷한 문제 풀기Sundstrom, Mathematical Reasoning · 2.2절 · 3e번
# 명제와 조건계산자동 분류
78.Sundstrom, Mathematical Reasoning · 2.1절 · 11c번영어 원문

For statements PP and QQ, use truth tables to determine if each of the following statements is a tautology, a contradiction, or neither.

(Q∧P)∧(P→¬Q)(Q \wedge P) \wedge (P \to \neg Q).

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

(Q∧P)∧(P→¬Q)(Q \wedge P) \wedge (P \to \neg Q) is a contradiction.

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

For statements PP and QQ, use truth tables to determine if each of the following statements is a tautology, a contradiction, or neither.

¬Q→(P∧¬P)\neg Q \to (P \wedge \neg P).

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

¬Q→(P∧¬P)\neg Q \to (P \wedge \neg P) is neither a tautology nor a contradiction.

한 번 더 — 비슷한 문제 풀기Sundstrom, Mathematical Reasoning · 2.2절 · 3c번
# 명제와 조건계산자동 분류
80.Sundstrom, Mathematical Reasoning · 2.2절 · 1a번영어 원문

Write the converse and contrapositive of each of the following conditional statements.

If a=5a = 5, then a2=25a^2 = 25.

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

Converse: If a2=25a^2 = 25, then a=5a = 5. Contrapositive: If a2≠25a^2 \ne 25, then a≠5a \ne 5.

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