存在命題

未分類

一般化と∃除去の仮定の解消

存在除去は下のリンクの記事のような雰囲気の演算のことで、人の普遍的な認識を厳密化したものだと感じます。 例えば「1より大きな数は存在する」というありふれた人の認識は、厳密には「2は1より大きな数は数である」という暗黙的な前提が元になっていま...
暇つぶしに見て

全称命題と存在命題の関係

wikiにこうあります。 全称命題は、存在命題の否定と論理的に等値である。Wikipedia これを確かめたい。 全称命題否定と存在命題 証明 wikiの文章だけだと意味が捉えにくいので、僕なりの解釈で翻訳してみると恐らくは「命題Pを満たす...
暇つぶしに見て

存在除去の認識

存在除去 定義 ∃x∈X:A(x)⊢A(c)WIIS 命題Aを満たす集合Xの元xが存在する場合、∃の除去は妥当な推論である。またしても分かったような分からんような。 証明の途中で命題の定義を満たすような何がが演繹できたらってことなのだと思い...