代数学・幾何学・解析学スレッドat MATH代数学・幾何学・解析学スレッド - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト888:１３２人目の素数さん 14/01/28 19:10:46.73 ∀x∃y[P(x,y)⇒Q(y)] の対偶は ∀x∃y[￢Q(y)⇒￢P(x,y)] でいいかな？ ∀x∃y[P(x,y)⇒Q(y)] が真である、とは ∀x∃yの束縛のしかたによる変数x，yのどのような組み合わせにおいても （すなわちモデルのとり方によらずに） P(x,y)⇒Q(y)が常に真であることであった. そしてこのとき ∀x∃y[￢Q(y)⇒￢P(x,y)] もまたモデルのとり方によらず真となる …ですよね？ （違うか？） だから >>884の下の方の ＞” ⇔ ＞ 「∀x∈R∪{+∞，-∞｝[(xはφの上界という性質をもたない)⇒not(∀a∈φa≦x)]」 ＞” も、そのままいけるのか？ 889:１３２人目の素数さん 14/01/28 19:14:34.67 でも全然分かった気がしない.です help 890:１３２人目の素数さん 14/01/28 19:19:36.61 記号’⇒’は論理記号でなく日本語のカテゴリだから 精密を期すれば ＞∀x∃y[P(x,y)⇒Q(y)] でなくて ∀x∃y[P(x,y)→Q(y)] ＞∀x∃y[￢Q(y)⇒￢P(x,y)] でなくて ∀x∃y[￢Q(y)→￢P(x,y)] か…？ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch