十分大きなすべての実数 4項 判断 十分大きなすべての実数が集合に属する i.e. 従来の表記 > ， i.e. 新しい表記 とする．このとき s.t. ① s.t. ② > で表す．

部分集合の例1.5 9項 と置く．このときである． (証明) を示す． s.t. と置けば () であるから，量化より i.e. を得る．逆に s.t. と置くと () であるから，量化より i.e. である．したがって であるが，についてのときである．すなわち (量化) である．この…

包含関係 はを表す． はを表す． このとき，三者択一の法則とは のうち1個のみが成立する，ことをいう． 等号関係 とする．このとき とはが成り立つことをいう． の意味 とはである．ここで三者択一の法則から選言は排他的選言(強選言)である．実際 (1) 仮定…