全称導入

暇つぶしに見て

所謂一般化ってやつじゃないなと。
全称記号∀除去は別名「普遍汎化」とも呼ぶようです。

スポンサーリンク

普遍汎化

定義

もし

$\displaystyle \vdash P(x)$が導出されていれば、

$\displaystyle \vdash \forall x\,P(x)$を導出してよい、という意味である。

Wikipedia

Wikipediaだと分かりにくいのでWIISでも確認しました。少し分かったのうな分からないような。

$c^{2}\geq 0\ \models \ \forall x\in \mathbb{R} :x^{2}\geq 0$

WIIS

0以上のcの二乗は実数かつ二乗すると0以上を満たす。cという代数的な表現を実数の要素xという表現に変更してもよいとする推理規則なのかなと。

全称除去は逆に具体的な数を代数的に表現できますよってことで。

長濱陸Tシャツ

お求めはこちらから

お問い合わせはこちら

パーソナルトレーニングやグループトレーニング、セミナーや取材、YouTubeコラボなどのご依頼はこちらからよろしくお願いします。

トレーニングの依頼などはこちらから

スポンサーリンク
Die Hard – ダイ・ハード
この記事を書いた人

第41第東洋太平洋(OPBF)ウェルター級王者
元WBC世界同級34位
元WBO-AP同級3位
元角海老宝石ジム所属

股関節おじさんをフォローする
スポンサーリンク
スポンサーリンク
股関節おじさんをフォローする

コメント

タイトルとURLをコピーしました