代数学・幾何学・解析学スレッドat MATH代数学・幾何学・解析学スレッド - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト891:１３２人目の素数さん 14/01/28 19:33:37.94 ・xがφの上界である、ということを∀∃を使って書いてみる (xはφの上界という性質をもつ) :⇔ (∀a∈φa≦x) これにより (R∪{+∞，-∞｝がφの上界の集合である) :⇔ ∀x∈R∪{+∞，-∞}(∀a∈φa≦x) ところがR∪{+∞，-∞}のどのようなxについても(∀a∈φa≦x)を真たらしめるxは存在しない. したがって ∀x∈R∪{+∞，-∞｝(∀a∈φa≦x) はxによらず（モデルのとり方によらず）常に偽である. 以上より「R∪{+∞，-∞}がφの上界の集合である」は偽である. あーあ あーーーあ（涙） 892:１３２人目の素数さん 14/01/28 21:18:10.74 >>880 ⇒と→のどっちを含意を表す記号として採用するかなんてどうでも良い 最初にどう決めるかによる 論理学の伝統的な本では⊃と表記してたりする 893:１３２人目の素数さん 14/01/28 21:23:19.00 こんばんわ そうなんですけどメタ記号の⇒も同時に表われてるので改めました 894:１３２人目の素数さん 14/01/28 21:24:44.63 述語の対偶律の記述って、あれであってますか？ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch