C 命題 g
今後,条件を単に p, q などの文字で表すことにする。
実数について述べた命題 「3より大きければ,1より大きい」は,実
数xに関する2つの条件
5
p:x>3, g:x>1
を用いて,
ならば g
1 x>3ならばx>1
と表現することができる。 このような命題を, pg と書く。
命題 p q について, pを仮定, g を 結論という。
x を実数とするとき, 命題 「x>3⇒x>1」 は真である。(h)
また, 実数全体の集合R の要素のうち、
x > 3 を満たすxの値全体の集合を P,
x > 1 を満たすxの値全体の集合を Q
Q
とすると, PCQ が成り立つ。
一般に,全体集合をひとし,Uの要素のうち,
条件を満たすもの全体の集合を P,
条件 g を満たすもの全体の集合を Q
とすると,命題 p q は
Pの要素はすべてQ の要素である
ということを表している。
すなわち, q が真ならば,
PCQ が成り立つ。 逆に, PC Q が
成り立てば, ♪⇒ q は真である。
1
3
x
P={x|x>3,xは実数}
Q={x|x>1, xは実数}