必要条件・十分条件

学年の目安（日本）: 数学I

学ぶこと

2つの条件の間で成り立つ論理関係を調べ、必要条件や十分条件、同値を正確に判定する力を養います。方程式の解の吟味や定理が成り立つ前提条件を厳密に整理する際に役立ちます。命題の真偽判定と集合の包含関係の理解が役立ちます。

要点

条件 $p$ を満たす範囲 $P$ が条件 $q$ を満たす範囲 $Q$ にすっぽり入っていれば、命題「 $p$ ならば $q$ 」は真になることを表す式です。集合の図から命題の正しさを調べるときに使います。

P \subseteq Q \iff (p \implies q)

「 $p$ ならば $q$ 」と「 $q$ ならば $p$ 」が両方とも成り立つとき、 $p$ と $q$ は完全に同じ意味（必要十分条件）になることを表す式です。2つの条件が同値であるか確かめるときに使います。

(p \iff q) \iff (p \implies q) \land (q \implies p)

条件 $p$ と $q$ に当てはまる範囲 $P$ と $Q$ が完全に一致するとき、2つの条件は同値（必要十分条件）であることを表す式です。集合の形がぴったり重なることから同値関係を確かめるときに使います。

P = Q \iff (p \iff q)

練習する問題セットを選んでください。