공통수학2 · 집합과 명제 · 10강

충분조건과 필요조건

두 조건 사이의 충분·필요·필요충분조건

4:34 · 한국어 자막 있음(재생기 메뉴) · 연습문제 원문: Ted Sundstrom, Mathematical Reasoning: Writing and Proof, Version 3 (PreTeXt edition by Ian Curtis). Grand Valley State University Libraries. https://scholarworks.gvsu.edu/books/28 — 2.1절 Progress Check 2.3(c)·(d) (https://gvsuoer.github.io/sundstrom-textbook/S_2logop.html#pr_onlyif) / 2.1절 연습문제 9(d) (https://gvsuoer.github.io/sundstrom-textbook/S_2logop.html#exer_sec22-8). 문제를 우리말로 옮겼으며, 원문은 CC BY-NC-SA 3.0 Unported, 이 영상은 같은 조건의 이후 판인 CC BY-NC-SA 4.0 으로 공개합니다.

핵심 정리

명제 p→qp\to q가 참일 때 p⇒qp\Rightarrow q로 쓰고, pp는 qq이기 위한 충분조건, qq는 pp이기 위한 필요조건이라 합니다.

p⇒qp\Rightarrow q이고 q⇒pq\Rightarrow p이면 p⇔qp\Leftrightarrow q로 쓰고, pp는 qq이기 위한 필요충분조건이라 합니다.

진리집합으로 보면 P⊂QP\subset Q일 때 충분조건, P=QP=Q일 때 필요충분조건입니다. 예: x=1x=1은 x2=1x^2=1이기 위한 충분조건이지만 필요조건은 아닙니다.

연습문제

원문 · Sundstrom, Mathematical Reasoning: Writing and Proof (CC BY-NC-SA 3.0)

1.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 “is necessary for”

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

Being a rectangle is necessary for a quadrilateral to be a square.

한 번 더 — 비슷한 문제Sundstrom, Mathematical Reasoning · 2.1절 · 9d번영어 원문

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 phrase “is necessary for”

다 풀었으면 정답 확인

For the integer xx to be even, it is necessary that x2x^2 be even.

이 문제로 이어서 풀기
2.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 “is sufficient for”

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

Being a square is sufficient for a quadrilateral to be a rectangle.

한 번 더 — 비슷한 문제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 “is necessary for”

다 풀었으면 정답 확인

Being a rectangle is necessary for a quadrilateral to be a square.

이 문제로 이어서 풀기
3.Sundstrom, Mathematical Reasoning · 2.1절 · 9d번영어 원문

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 phrase “is necessary for”

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

For the integer xx to be even, it is necessary that x2x^2 be even.

한 번 더 — 비슷한 문제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 “is sufficient for”

다 풀었으면 정답 확인

Being a square is sufficient for a quadrilateral to be a rectangle.

이 문제로 이어서 풀기
4.Sundstrom, Mathematical Reasoning · 2.1절 · 9e번영어 원문

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 phrase “is sufficient for”

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

한 번 더 — 비슷한 문제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 “is necessary for”

다 풀었으면 정답 확인

Being a rectangle is necessary for a quadrilateral to be a square.

이 문제로 이어서 풀기

이 강의에서 틀린 곳 알려 주기