命題と条件
カテゴリ:集合と論理

数学では、命題を立てて証明していくことで論理を構築していきます。
ここでは、命題の定義や必要十分条件など命題に関する用語を解説していきます。
命題とは
まず、命題について解説します。
命題
真偽がはっきりすることのできるものを命題という。命題は
のように表記でき、が仮定で
が結論である。命題が正しいことを真(しん)、正しくないことを偽(ぎ)という。
定義だけではわかりにくと思うので、以下の問題を解きながら理解していきましょう。
命題が真のときは証明して、偽のときは反例をあげます。
が実数のとき、次の命題の真偽を調べよ。
(1) ならば
(2)ならば
(1)
を解くと、
になります。
-1の場合も命題(1)はなりたつので、命題(1)は偽になります。
(2)
のとき、
なので、命題は成り立ちます。よって、真となります。
必要・十分条件と同値
命題に関する用語をもう少し紹介します。
必要十分条件
命題が真であるとき
を
の必要条件
を
の十分条件
と呼ぶ。もし、が真なら
「は
(
は
)の必要十分条件または同値」
という。
かなりわかりにくい用語です。
「矢先は必要」
とおぼえましょう。
例えば、
ときた時、矢印の先であるが必要条件となります。
が実数のとき、
は真なので、
が十分条件
が必要条件
となります。
条件の否定
続いて、条件が両方成り立つ場合や否定について紹介します。
かつ、もしくは、否定
ある条件があるとき、
が同時に成り立つ場合を
のどちらか一方が成り立つ場合を
と記述する。また、条件の否定を
とかく。
さらに、これら条件に関しもド・モルガンの法則が成り立ちます。
ド・モルガンの法則
条件に対してド・モルガンの法則
が成り立つ。
基本的に集合のド・モルガンの法則を使って証明します。
いま、条件を満たす集合をそれぞれ
とします。
すると、条件を満たす集合はそれぞれ
となります。ここで、ド・モルガンの法則を使えば
なので、集合から条件に直して
が成り立ちます。
では、問題を解きながらド・モルガンの法則を使ってみましょう。
実数に対して、以下の否定を述べよ。
(1)かつ
(2)
(1)
ド・モルガンの法則より
となります。
(2)
この場合は
と考えド・モルガンの法則より
が得られます。
- 命題とは真偽がはっきりする問のこと
- 命題でもド・モルガンの法則は成り立つ
著者:安井 真人(やすい まさと)
@yasui_masatoさんをフォロー