股関節おじさんの勉強部屋 全称除去の定義と練習問題
述語論理における全称記号∀を取り除く推論規則を見ていきます。 別名を普遍例化と呼ぶようです。 全称除去(普遍例化) 定義 例:「全ての犬は動物である。ポチは犬である。従って、ポチは動物である」ある項 a について公理スキーマとして記号的に表...
股関節おじさんの勉強部屋 
技術 無駄のない破壊的なパンチ
マティアスはやべえ。 スブリエル・マティアスの手打ち 至近距離の打法 マティアスのパンチは見てもらうと早い。 無駄が少なく、体のブレがほとんどありません。相手の選手は腕を体重移動で引っ張っているので比較してみてください。相手の選手も手打ちで...
股関節おじさんの勉強部屋 全称導入の練習問題
やりながら全称導入の理解を深めます。 全称導入 ∀x∀yP(x, y) ⊢ ∀y∀xP(x, y) 1.∀x∀yP(x, y)(前提)2.∀yP(x,y)(∀除去)3.P(x,y)(∀除去)4.∀xP(y)(∀導入)5.P(y,x)(∀導入...
股関節おじさんの勉強部屋 全称導入と仮定の解消
∀導入定義の人の認識を結びつけるために藻掻きます。 全称導入と仮定の解消 定義 これが全称導入の定義 A(c)⊢∀x∈X:A(x)WIIS A(c)の論理式を満たすようなcは集合Xの任意の要素xに対しても成立する。cは全てのXの要素を表現す...
トレーニング 自信の認識と対応能力
「自信」て曖昧で掴みどころがありません。 「自信を持て！」と言われても何のことやら。「できたらやっとるわ」と僕は困り果てるばかりでした。というわけで、今回は「対応力」で人の「自信がある」という認識を説明してみます。 結論を言うと「自信がある...
股関節おじさんの勉強部屋 含意の結合法則
結合法則は(A∨B)∨C⇔A∨(B∨C)のようなかっこの位置を入れ替えても意味が変わらない法則。含意にも成り立つのか確かめてみます。 含意の結合法則 証明 1.(A→B)→C(仮定)2.¬(¬A∨B)∨C(同値変形)3.A∧¬B∨C(ド・モ...
未分類 含意の色んな変形
暇なんで思いついた変形をつらつら証明します。 含意の同地変形 A→B,B→C⊢A→C 1.A→B,B→C2.(仮定)3.B(→除去)4.C(→除去)5.A→C(→導入) 自然演繹に慣れてくると当たり前な気もしますが。とりいず同値変形が証明で...
よもやま話 下手になる自己実現的予言
自己実現的マトリックス 無意識の学習の後で意識的な認識が起こるとする長濱説。フロー、主観、客観に対する僕の仮説が前提となります。 下手になるフィードバックループ 自分には才能がある、と心の底から感じている人はその才能を引き出すことに注力しま...
股関節おじさんの勉強部屋 ∀除去練習問題
∀除去の理解が曖昧なので練習問題やります。やってれば何か掴んでくるだろうってことで。 全称除去 練習問題 その1 P(d) , ∀x(P(x) → (P(x) → Q(x))) ⊢ Q(d) 1.∀x(P(x)→(P(x)→Q(x))),P...
股関節おじさんの勉強部屋 全称導入
所謂一般化ってやつじゃないなと。全称記号∀除去は別名「普遍汎化」とも呼ぶようです。 普遍汎化 定義 もし$\displaystyle \vdash P(x)$が導出されていれば、$\displaystyle \vdash \forall x...
よもやま話 コンプレックスと執着と機会損失
本題の前に大阪パーソナルトレーニング開催についての告知です。内容は受講者のご要望に応じて競技力向上のコツ、また僕の中長期で停滞を乗り越え、競技力を伸ばしていく考え方を共有させて頂きます。ボクシングであなたの内面を開放し、自己表現を実現するこ...
技術 かっこいいアッパーカット
ピログの続き。アッパーについて。僕はアッパーが好きなんで多用しますが、打てる選手は少ない。その理由はパンチの固定観念に囚われているから。その固定観念の入口はストレートであることが多いと予想しています。 僕は初心者にはアッパーから教えます。ア...