命題の定義と具体例を教えてください
命題の定義と具体例を教えてください
命題とは、真(正しい)か偽(間違い)のどちらか一方に必ず定まる文や式のことです。
命題とは、真(正しい)か偽(間違い)のどちらか一方に必ず定まる文や式のことです。
命題の定義
真(正しい)または偽(間違い)のどちらか一方に必ず決まる文や式
つまり、「これは正しい」または「これは間違っている」と明確に判定できる文が命題です。
命題の例
例1:「2 + 3 = 5」
→ 真の命題(正しい)
例2:「すべての偶数は4の倍数である」
→ 偽の命題(反例:2は偶数だが4の倍数ではない)
例3:「東京は日本の首都である」
→ 真の命題(正しい)
命題でないものの例
| 例 | 種類 | 命題でない理由 |
|---|---|---|
| 「x > 0 である」 | 変数を含む文 | xの値が決まらないと真偽が定まらない |
| 「明日は晴れるだろうか?」 | 疑問文 | 問いかけであり、真偽を主張していない |
| 「宿題をやりなさい」 | 命令文 | 命令には真偽がない |
| 「この花はきれいだ」 | 主観的な文 | 人によって判断が異なり、真偽が定まらない |
身近な例で確認
例:「今日は8月1日である」
この文は読んだ日によって真偽が変わります:
- 8月1日に読めば → 真
- 8月2日に読めば → 偽
しかし、特定の日付で考えれば真偽が明確に定まるので、これは命題といえます。
命題の真偽の判定方法
命題は必ず真(正しい)か偽(間違い)のどちらか一方に定まります。両方や中間はありません。
命題の定義と真偽
真と偽:
| 用語 | 意味 |
|---|---|
| 真(しん) | 正しい、成り立つ |
| 偽(ぎ) | 間違っている、成り立たない |
重要なポイント
- 真偽は必ずどちらか一方に定まる(両方や中間はない)
- 真偽が定まらない文は命題ではない
-
現時点で真偽が分からなくても、理論的に定まるなら命題
(例:未解決の数学予想も命題)
命題でないものの詳細
命題でないもの(主な4種類):
1. 疑問文
例:「明日は晴れるか?」
理由:問いかけであり、真偽を主張していない
2. 命令文
例:「早く寝なさい」
理由:命令や要求であり、真偽がない
3. 変数を含む文
例:「x は正の数である」
理由:x の値によって真偽が変わる(xが定まれば命題になる)
4. 主観的な文
例:「この曲は美しい」
理由:人によって判断が異なり、真偽が定まらない
条件命題(もし〜ならば)とは
「pならばq」の形をした命題を条件命題といい、p ⇒ q と表します。
条件命題の表し方と意味
条件命題の表記:
「pならばq」または「p ⇒ q」と表します。
構造:
- p:仮定(前件)
- q:結論(後件)
例:「xが偶数ならば、x2は偶数である」
- p:「xは偶数」(仮定)
- q:「x2は偶数」(結論)
- この命題は真
真偽の判定:
p ⇒ qが真であるとは、「pが真のとき、必ずqも真」ということです。
真理値表(空虚真の注意)
p ⇒ q の真偽がどう決まるかを表にまとめました。
| p | q | p ⇒ q | 説明 |
|---|---|---|---|
| 真 | 真 | 真 | 仮定が真で結論も真なら命題は真 |
| 真 | 偽 | 偽 | 仮定が真なのに結論が偽なら命題は偽 |
| 偽 | 真 | 真 | 仮定が偽なら命題は真(空虚真) |
| 偽 | 偽 | 真 | 仮定が偽なら命題は真(空虚真) |
重要なポイント:
- pが真でqが偽のときだけ、p ⇒ q は偽
- pが偽のとき、qの真偽に関わらず p ⇒ q は真(仮定が偽なら命題は真)
例:「x = 0 ならば x2 = 0」
- x = 0 のとき:p 真、q 真 → 命題は真
- x = 2 のとき:p 偽、q 偽 → 命題は真(仮定が満たされないので命題自体は真)
逆・裏・対偶とは
命題 p ⇒ q に対して、逆・裏・対偶という3つの関連する命題を作ることができます。
逆・裏・対偶の定義
命題 p ⇒ q に対して:
| 名前 | 形 | 例(元の命題:偶数⇒2の倍数) |
|---|---|---|
| 元の命題 | p ⇒ q | 偶数ならば2の倍数 |
| 逆 | q ⇒ p | 2の倍数ならば偶数 |
| 裏 | ![]() |
偶数でないならば2の倍数でない |
| 対偶 | ![]() |
2の倍数でないならば偶数でない |
記号の説明:
は「pでない」を表す否定
重要な関係
- 元の命題と対偶は常に同値(真偽が必ず一致)
- 逆と裏も同値
- 元の命題と逆は同値とは限らない
| 命題 | 真偽 | 備考 |
|---|---|---|
| 元の命題:偶数⇒2の倍数 | 真 | 必ず一致 |
| 対偶:2の倍数でない⇒偶数でない | 真 | 必ず一致 |
| 逆:2の倍数⇒偶数 | 真 | 必ず一致 |
| 裏:偶数でない⇒2の倍数でない | 真 |
対偶による証明
対偶証明法:
命題 p ⇒ q を直接証明するのが難しい場合、対偶
を証明する方法です。
例題:「n2が偶数ならばnは偶数である」を証明せよ。
対偶による証明:対偶は「nが奇数ならばn2は奇数である」
証明:
nが奇数のとき、n = 2k + 1(kは整数)と表せる。
n2 = (2k + 1)2 = 4k2 + 4k + 1 = 2(2k2 + 2k) + 1
これは奇数の形なので、n2は奇数。対偶が真なので、元の命題も真。
必要条件と十分条件
命題 p ⇒ q が真のとき、pはqの十分条件、qはpの必要条件といいます。
定義
命題 p ⇒ q が真のとき:
-
pはqの十分条件
(pであればqが成り立つには十分) -
qはpの必要条件
(pであるためにはqが必要)
覚え方
p ⇒ q
- 十分条件:矢印の出発点(pの側)
- 必要条件:矢印の到達点(qの側)
例:「x = 2 ならば x2 = 4」が真のとき
- 「x = 2」は「x2 = 4」の十分条件
- 「x2 = 4」は「x = 2」の必要条件
注: x2 = 4 なら x = ±2 なので、逆「x2 = 4 ⇒ x = 2」は偽です。
必要十分条件
p ⇒ q と q ⇒ p がともに真のとき、pとqは同値(
)であり、互いに必要十分条件です。
| 関係 | 記号 | 意味 |
|---|---|---|
| pはqの十分条件 | p ⇒ q | pならばq |
| pはqの必要条件 | q ⇒ p | qならばp |
| pはqの必要十分条件 | ![]() |
pとqは同値 |
複合命題(かつ/または/否定)
複数の命題を組み合わせた命題を複合命題といい、「かつ」「または」「否定」で結合します。
共通部分 (かつ)
高校数学での表記:
条件p, qを満たす要素の集合をそれぞれP, Qとすると、「pかつq」を満たす集合は:

真理値表:
| p | q | pかつq |
|---|---|---|
| 真 | 真 | 真 |
| 真 | 偽 | 偽 |
| 偽 | 真 | 偽 |
| 偽 | 偽 | 偽 |
両方が真のときのみ真になります。
例:「xは偶数かつ正の数である」
- x = 2:真(両方満たす)
- x = -2:偽(偶数だが正でない)
- x = 3:偽(正だが偶数でない)
集合で表すと、偶数の集合と正の数の集合の共通部分 ∩ を考えます。
和集合 (または)
高校数学での表記:
条件p, qを満たす要素の集合をそれぞれP, Qとすると、「pまたはq」を満たす集合は:

真理値表:
| p | q | p または q |
|---|---|---|
| 真 | 真 | 真 |
| 真 | 偽 | 真 |
| 偽 | 真 | 真 |
| 偽 | 偽 | 偽 |
少なくとも一方が真なら真になります。
注意:数学の「または」は両方とも真の場合も含みます。
例:「xは2の倍数または3の倍数である」
- x = 6:真(両方の倍数)
- x = 4:真(2の倍数)
- x = 9:真(3の倍数)
- x = 5:偽(どちらでもない)
集合で表すと、2の倍数の集合と3の倍数の集合の和集合 ∪ を考えます。
否定(補集合)
高校数学での表記:
条件pを満たす要素の集合をPとすると、「pでない」を満たす集合はPの補集合:

真理値表:
| p | p でない |
|---|---|
| 真 | 偽 |
| 偽 | 真 |
例:
- p:「xは偶数である」
- pでない:「xは偶数でない」(つまり奇数)
集合で表すと、偶数の集合の補集合
を考えます。
ド・モルガンの法則(重要)
P ∩ Q の補集合 = 
P ∪ Q の補集合 = 
言葉で表すと:
- 「かつ」の否定は「または」
- 「または」の否定は「かつ」
まとめ|命題の要点と使い分けのポイント
命題について学んだ内容を振り返りましょう。
1. 命題の定義
- 命題は真偽が明確に定まる文や式
- 真か偽のどちらか一方に必ず決まる
2. 命題でないもの
| 種類 | 例 |
|---|---|
| 疑問文 | 「明日は晴れるか?」 |
| 命令文 | 「早く寝なさい」 |
| 変数を含む文 | 「xは正の数」 |
| 主観的な文 | 「この曲は美しい」 |
3. 条件命題と必要・十分条件
:pはqの十分条件、qはpの必要条件
:pとqは互いに必要十分条件(同値)
4. 対偶の重要性
- 対偶
は元の命題と常に同値 - 証明に活用できる(対偶証明法)
5. 集合の記号との対応
| 論理 | 集合 | 記号 |
|---|---|---|
| かつ | 共通部分 | P ∩ Q |
| または | 和集合 | P ∪ Q |
| 否定 | 補集合 | ![]() |
命題の理解は、数学の論理的な証明や問題解決の基礎となります。しかし、
- 「必要条件と十分条件が混乱する」
- 「対偶と逆の違いが分からない」
- 「真理値表の見方が難しい」
といった壁に直面する高校生は多いです。そんなときに役立つのが進研ゼミのAI質問機能(お試し無料)。
数学のQ&Aランキング
- 【数列】Σの和の求め方
- 【関数と極限】∞+∞=∞とは
- 【三角関数】0<θ<π/4 の角に対する三角関数での表し方
- 【指数・対数関数】1/√aを(1/a)^r の形になおす方法
- 【図形と計量】180°-θの三角比
全体のQ&Aランキング
- 【動名詞】①<make + O + C >構文の訳し方②間接疑問文における疑問詞の訳し方
- 【数列】Σの和の求め方
- 【関数と極限】∞+∞=∞とは
- 【三角関数】0<θ<π/4 の角に対する三角関数での表し方
- 【指数・対数関数】1/√aを(1/a)^r の形になおす方法
「数と式」Q&A一覧
- 【数と式】「pならばq 」が真のとき,集合Pが集合Qに含まれる理由
- 【数と式】たすきがけのやり方について
- 【数と式】たすきがけはいつ使うのか
- 【数と式】ルートの中が「負の数の2乗」のときの,ルートのはずし方
- 【数と式】因数分解のしかた
- 【数と式】因数分解の式の整理について
- 【数と式】因数分解の式変形について
- 【数と式】因数分解をするときの途中式について
- 【数と式】対称式はどんなとき使うんですか?
- 【数と式】式変形するときの文字の置き換え方
- 【数と式】必要条件・十分条件
- 【数と式】文字を含む式の書き方
- 【数と式】無理数の整数部分,小数部分の求め方
- 【数と式】絶対値と場合分け
- 【数と式】絶対値記号の意味
- 【数と式】絶対値記号を含む方程式・不等式の解き方
- 【数と式】負の値の絶対値の考え方について
- 【数と式】逆・裏・対偶の関係
- 【数と式】連立不等式の解の求め方
- 【数と式】2重根号の計算
- 【数と式】有理数ってどんな数?分数で表せる数の見分け方と無理数との違いが知りたい
- 【数と式】因数分解の公式ってどれを使えばいいの?形の見分け方と“よく出る型”を教えて
- 【数と式】無理数ってどんな数?有理数との違いや身近な例も知りたい
- 【数と式】因数分解はどうやればいい?手順や考え方を知りたい
- 【数と式】命題とは?|定義や命題でない例を知りたい













