イプシロンデルタ論法は成り立つか

∀という記号は成り立たないことが多いです
三段論法のすべての人間は死ぬという前提は間違っています
不老不死の人間がいるかも知れないからです
ということで論理学は∃を前提とした議論にならざる得ないのです
すべては特例の中でのみ成り立つので論理学や論理、論法はすべて無価値とも言えます
イプシロンデルタ論法で∀が使われていますがこれは正しいのでしょうか

No.3 回答者： ありものがたり 回答日時： 2024/02/27 22:16

∀ｘ，P(x). は ¬∃x,¬P(x). と同値だから、

∀中心に考察するのと ∃中心に考察するのは同じこと。
どちらで考えるかは、論理系に何の差も生まない。

No.1 回答者： rinkun 回答日時： 2024/02/27 17:43

大丈夫ですよ。

イプシロンデルタ論法は「すべての人間は死ぬ」のような現実的に真偽判定ができない話ではなく、全称でも真偽判定ができる論理の世界の話ですから。