【大学数学の基礎】εδ、∀∃を語るスレッド

[0001 １３２人目の素数さん 2020/06/20(土) 06:05:06.47 ID:ep4rDk8N]

大学数学の躓きの石である
解析学の諸概念（収束・極限）の定義と論理式の限量子（全て∀と存在∃）
について語るスレッド

参考

純粋・応用数学
https://rio2016.5ch.net/test/read.cgi/math/1582599485/

[0177 １３２人目の素数さん 2020/06/26(金) 05:33:07.81 ID:u731FabP]

タブローで確認したところ
∀xFx→∀xGxの対偶は

(∀x)¬Gx→(∀x)¬Fx

であることがわかった
今まで存在命題で書いていたことを訂正し
ごめんなさい

∀x(Gx∧¬Fx)と∀x(Fx∧¬Gx)が∀xFx→∀xGxと同値ではないという
結果が出てしまったことについてはもう一度考えてみる

[0178 １３２人目の素数さん 2020/06/26(金) 05:42:41.27 ID:u731FabP]

>>177
間違えた
∀x(¬Fx∨Gx)