2023-09

自己実現的マトリックス無意識の学習の後で意識的な認識が起こるとする長濱説。フロー、主観、客観に対する僕の仮説が前提となります。下手になるフィードバックループ自分には才能がある、と心の底から感じている人はその才能を引き出すことに注力します。一...

∀除去の理解が曖昧なので練習問題やります。やってれば何か掴んでくるだろうってことで。全称除去練習問題その1 P(d) , ∀x(P(x) → (P(x) → Q(x))) ⊢ Q(d)1.∀x(P(x)→(P(x)→Q(x))),P(d)(...

所謂一般化ってやつじゃないなと。全称記号∀除去は別名「普遍汎化」とも呼ぶようです。普遍汎化定義もし$\displaystyle \vdash P(x)$が導出されていれば、$\displaystyle \vdash \forall x\,P...