未分類 一般化と∃除去の仮定の解消 存在除去は下のリンクの記事のような雰囲気の演算のことで、人の普遍的な認識を厳密化したものだと感じます。例えば「1より大きな数は存在する」というありふれた人の認識は、厳密には「2は1より大きな数は数である」という暗黙的な前提が元になっています... 2023.10.04 未分類
数学とか 全称命題と存在命題の関係 wikiにこうあります。全称命題は、存在命題の否定と論理的に等値である。Wikipediaこれを確かめたい。全称命題否定と存在命題証明wikiの文章だけだと意味が捉えにくいので、僕なりの解釈で翻訳してみると恐らくは「命題Pを満たす要素だけか... 2023.09.24 数学とか
数学とか 存在除去の認識 存在除去定義∃x∈X:A(x)⊢A(c)WIIS命題Aを満たす集合Xの元xが存在する場合、∃の除去は妥当な推論である。またしても分かったような分からんような。証明の途中で命題の定義を満たすような何がが演繹できたらってことなのだと思いますが、... 2023.09.22 数学とか
未分類 未分類 数学とか 数学とか