数学とか 論理積と論理和の分配法則 その2
論理積と論理和の分配法則 その1の続き。 証明 (A∨B)∧(A∨C)→A∨(B∧C)の同値変形を目指します。 1.(A∨B)∧(A∨C)2.A3.A∨(B∧C)(∨導入)4.A→A∨(B∧C)(→導入)5.,C6.B∧C(∧導入)7.A∨...
数学とか よもやま話 関係によって存在が定義される = 縁起
前回の動画の続きが昨日アップロードされていました。見てみたら僕の考えと似ている、というか同じでした。 関係により存在が生じる 縁起 上の動画では人の記憶を説明しています。記憶は細胞単体に記憶されているのではなく、細胞と細胞の関係によって定義...
運動理論 拳の握り方 その3
握り方その3。 拳の握り方 筋肉の緊張の違い こうやって握ると。 黒で塗りつぶした場所に質量が集まってきます。 これは実際に握って見てほしいのですが、小指薬指で握ると赤く塗りつした辺りが緊張するはずです。 腕をスイングすると左のようになるの...
運動理論 拳の握り方 その2
握り方の補足をします。 拳の握り方 拳の握り方 左のように親指と人差し指、中指で拳は握るという記事をしました。 こうやって握ることで自然とロシアンスタイルでフックを打ち、ゲンコツを当てることができます。 逆に小指と薬指で握るとチョップのよう...
よもやま話 フロー体験の話
単に僕が「都市伝説が大好きだ」と言うと陰謀論者だと思われることがあるので、誤解のないように説明しますが、口裂け女とか古代宇宙飛行士説とかが都市伝説です。陰謀論も好きですけどね。陰謀論否定派、肯定派は両陣営とも論理性が子供染みていて距離を置き...
技術 拳の握り方
拳の握り方 簡単に拳の握り方を共有します。どう握るのかで背中の緊張が変わってくるので、超重要。ここをミスしたまま強く腕を振ろうとすると肘の腱や背中や肩の弱いインナーマッスルに負担がかかるので、怪我に繋ると思われます。野球肘とかテニス肘なんか...
数学とか 論理積と論理和の分配法則 その1
今回はA∨(B∧C)⇔(A∨B)∧(A∨C)の分配法則です。 論理積と論理和の分配法則 前回と同じ戦略です。 証明 1.(仮定)2.A∨B(∨導入)4.A∨C(∨導入)5.(A∨B)∧(A∨C)(∧導入)6.A→(A∨B)∧(A∨C)(→導...
よもやま話 君子交わりは淡き水の如し
賢い人の関わり方は一見淡白に見えるが、実際にはベタベタとした依存心から開放された自立した付き合いだから、壊れることなく長く続いていくんだよ。と言っています。 これは僕の信念に近いと言うか、人付き合いや技術の一つの指針となっています。 依存先...
数学とか 否定の導入
別の記事でもやりましたが、復習もかねて簡潔に否定の推論規則だけ復習します。 否定の導入⇔背理法Pであると仮定し矛盾（恒偽式）が導けた場合、¬Pが演繹できます。 ある人が長濱陸であるとする命題Pを仮定して、如何なる解釈においてもその人の身長、...
よもやま話 ガラクタに目が眩んでる間に人生は終わる
またセネカの「人生の短さについて」から引用します。 人生の短さについて ガラクタ 世俗的な正しさの為に生きるのか、それとも自分の正しさを身をもって証明するのか。 人生に生きられるのか、人生を生きるのか。 心が躍動するのは「認めてもらう」では...
トレーニング 長岡二連勝
長岡が新人王戦勝ち進みました。3-0の判定勝ち。一度は地べたを這いホームレス化。しかしなんとか立ち上がりここまできました。 相手は２戦続けて10秒程度で相手を倒して勢いに乗っている選手でしたが、きっちり心理戦で上回り短いラウンドの中で主導権...
数学とか 閉じた仮定と開いた仮定
命題論理と自然演繹の仮定について復習も兼ねて現時点での僕の概観をまとめていきます。 数学や論理学は「仮定」や「これだけは正しいと認めてしまおう」と歴史的に合意されたある公理に「これだけは正しいと認めてしまおう」と合意された変形（推論）の規則...