,
を集合とする。
であることの定義を書け。
であることの定義を書け。
であることの定義を書け。
であることの定義を書け。
の定義を書け。
「
かつ
」
「
または
」
「
ならば
」
「
かつ
」
は
と書かれることも多い。
,
であるとき、
,
をそれぞれ求めよ。
,
.
を
の倍数全体の集合、
を
の倍数全体の集合とする。このとき
を決定せよ。
は
の倍数全体の集合。
かつ
であるならば、
であることを示せ。
とする。このとき、
または
である。
のとき
より
であり、
のとき
より
である。よって、いずれの場合も
である。以上より
かつ
ならば
が成り立つ。
を集合とする。
、
を示せ。
の証明
」は、
が偽なので、真である。よって
である。
」は「
かつ
」と同値で、
が偽なので、偽である。よって命題 「
」は真となり
である。
である。
の証明
とする。このとき「
または
」は真となり
である。よって
で ある。
とする。
または
である。
は偽であるから
となる。よって
である。
である。
を考える。ただし
は集合
の部分集合とし、補集合は
で考えることにする。
の定義を書け。
(De Morgan の法則) を証明せよ。
が存在して
である。
とする。 (1) の否定に注意すれば「任意の
に対して
」である。したがっ て「任意の
に対して
」となり
である。よって
となる。
とする。「任意の
に対して
」、すなわち「任意の
に対して
」である。この否定は「ある
が存在して
」であるから、
とな る。これにより
となる。
となる。
とする。補集合は
で考えることにして以下を証明せよ。
とする。このとき
なので
である。よって
となる。
で
とする。
である。これは
または
ということで ある。しかし
なので
となる。したがって
である。
である。
とする。
または
である。仮定より
だから
ならば
で ある。したがって、
である。
が成り立つ。
は成り立つので
である。
とする。
または
である。
が全体集合なので
,
である。 したがって
である。
となる。
とする。
または
である。
となる。
が成り立つ。
を任意にとる。
と仮定する。このとき「
かつ
」であり、これは「
かつ
」と同値である。一般に命題
に対して
は偽であるから、「
かつ
」は偽である。よっ て、
である。したがって
である。
とする。
である。全体集合を
としているので
である。これは矛盾である。したがって
である。両辺の補集合をとって
である。
を示せ。ただし
,
は集合
の部分集合とし、補集合は
で考えることにする。
とする。
である。したがって、
かつ
となり、
であ る。
とする。
かつ
である。すなわち
かつ
だから
となる。したがって、
である。
である。
を示せ。ただし
,
は集合
の部分集合とし、補集合は
で考えることにする。
ならば
であることを証明せよ。ただし
,
,
は集合
の部分集合とし、補集合は
で考えることにする。
かつ
であるならば、
であることを証明せよ。
とし
となることを示す。
なので
または
である。
と すれば
であるから
である。よっていずれの場合も
となり
である。
も示され
となる。
の部分集合
について
であることと
であることは同値であることを示せ。
と仮定する。
とする。条件より
だから
、すなわち
。よって
である。
とする。
は空集合の定義から成り立つので
、すなわち
を示す。
とすると
なので
となり、これは矛盾である。よって
である。
とは何か。その定義を書け。
,
であるとき
の元をすべて書け。ただし
とする。
という集合のべき集合
を具体的に書け。ただし
,
,
とする。
には
個の元があるので
で
個部分集合が存在します。
に対して
とおく。
を求め、それが正しいことを証明せよ。
を求め、それが正しいことを証明せよ。
は
の部分集合だから、
である。
とする。
だから、
である。したがって
となる。よって
となる。
が成り立つ。
に対して、
より、
である。よって
である。
を対偶によって示す。
について
、すなわち、ある
に対して
をいえばよい。
なので
である。よって
ならば
である。
が成り立つ。
(対偶を使わない
の証明)
とする。任意の
に対して
であるから、特に
である。よって
であ り
である。したがって
となる。
とする。
が無限集合であることを論理記号を使って特徴付けよ。
で添字付けられた集合の族
に対して
は無数に多くの
に含まれる元の全体である。
はある番号以上のすべての
に含まれる元の全体である。
ならば
であるとする。このとき
であることを示せ。
とおく。
無数に多くの
に含まれる元の全体からなる集合を
とおく。
ということは、「
となる
が有限個しかない」ということで、これは「ある
が存在して
ならば
」という ことである。論理記号で書けば「
」である。
はその否定であるか ら、「
」である。
を示す。
とする。
を任意に取り固定する。
の定義より
である。よっ て、ある
があって
である。上記の考察から
となる
。したがって
である。
とする。
を任意に取り固定する。このとき
を示せばよい。
であるから、 上記の考察から、ある
があって
である。このとき
である。 よって
である。したがって
である。
である。
とおく。ある番号以上のすべての
に含まれる元の全体からなる集合を
とおく。
を示 す。
とする。このとき、ある
があって
である。したがって、
なる 任意の
に対して
であり、よって
である。したがって
である。
とする。
の定義より、ある
があって
ならば
である。したがって
である。
である。
,
は (1), (2) で定めたものとする。
を示す。
とする。
を取って固定する。
の定義により
である。よって、あ る
があって
となるが、仮定より
なので
である。したがって、任意 の
について
となる。よって
である。したがって
で ある。
とする。
を任意に取り固定する。
の定義により、 ある
があって
である。よって
なる任意の
に対して
で ある。
とおく。
より
である。また
と仮定により
で ある。更に
である。よって
となる。
は任意に取って固定したものだったから
である。
が成り立つ。
である。