多い。商題 ミーシスこん EE
ヶをこの語題の 結語 という。
た。命刷りならばの かつ のならばヵ] を の<つの と書く。 ま
合を実数全体の集合とするとき・ 次の命題は真である。
。 全体集
ー1 <ャ<1 =っ ェマ2 人
この命古の仮定 一1こぐ1 と結論<2 に対して2 つの集合
アニ(*|ー1<テ<1. テ は実数] しみえ
oー (rl<2. テは実数)
0 を考えると。 アこQ が成り立つ。
絆に全体集合をびとする命題 つくにおいて.
条作の を満たす の要素全体の集合を
条件のを満たす じの要素全体の集合を 〇 5
ょすると, 上で述べた例と同様に, 命量
のつが真ならば, このが成り立つ (
逆に, のこのが成り立つなら ば. 条件ヵ
を満たすものは必ず条件 を満たすから. みう9 は真である。
したがって, 次のことがいえる>
ヵ志9が真であることと アこ0⑦ が成り立つことは同じである。
ここで, アニの0 すなわち アごQ かつ Q@ごア の場合を考えると, 次の
Ga
こともいえる。
の
が真であること と アー が成り立つことは同じである。
