147項 類題111
問題略
(解答)
:全体集合
に対して
(∧-除去)
(Ⅰ) <
または
(Ⅱ) より(Ⅱ)を棄却
これより
と置く.このとき
(1)について
i.e.
i.e.
i.e.
これより
である.
(2)について
ここで
を用いて
を得る.
(3)について
を得る.▢
147項 類題111
問題略
(解答)
:全体集合
に対して
(∧-除去)
(Ⅰ) <
または
(Ⅱ) より(Ⅱ)を棄却
これより
と置く.このとき
(1)について
i.e.
i.e.
i.e.
これより
である.
(2)について
ここで
を用いて
を得る.
(3)について
を得る.▢