よもやま話 願望は言葉にするな
言葉にしていいのは決意だけ。これは僕の生き方であり、願望を実現させるための長濱説です。下の記事でもお話しましたが、願望は依存心の別の側面で、行動を約束する決意とは根本的に現実への作用が異なります。そして世の中に溢れているのは願望です。ボクシ...
2023-09
よもやま話 
よもやま話 ブッ殺すと心の中で思ったならッ！
「ブッ殺す」…そんな言葉は使う必要がねーんだ。なぜならオレやオレたちの仲間はその言葉を頭の中に思い浮かべた時には！実際に相手を殺っちまってもうすでに終わってるからだッ！だから使った事がねぇーッ「ブッ殺した」なら使ってもいいッ！その時スデに行...
よもやま話 「正しさ」という檻、搾取の構造
人の社会構造リスクを取れる人、取れない人義務教育で学んだと思いますが。端的に言うと経済は、リスクを取れる人がリスクを取りたくない人を使役する上手さを競うゲームです。資本家が株式会社の所有者で、彼らが経営者を選び、経営者が従業員を選びます。最...
数学とか 全称命題と存在命題の関係
wikiにこうあります。全称命題は、存在命題の否定と論理的に等値である。Wikipediaこれを確かめたい。全称命題否定と存在命題証明wikiの文章だけだと意味が捉えにくいので、僕なりの解釈で翻訳してみると恐らくは「命題Pを満たす要素だけか...
数学とか 存在除去の認識
存在除去定義∃x∈X:A(x)⊢A(c)WIIS命題Aを満たす集合Xの元xが存在する場合、∃の除去は妥当な推論である。またしても分かったような分からんような。証明の途中で命題の定義を満たすような何がが演繹できたらってことなのだと思いますが、...
よもやま話 「疲れた」と「飽きた」
ふと思いついたことをツラツラと書きます。疲れた≒飽きた子供のONとOFF僕たち大人が抱く「疲れた」って観念は、生理的には「飽きた」って感情なのではないかと。子供って疲れないんですよ。ONとOFFだけ。お子さんがいるとか子供と関わる仕事をして...
数学とか 全称除去の定義と練習問題
述語論理における全称記号∀を取り除く推論規則を見ていきます。別名を普遍例化と呼ぶようです。全称除去(普遍例化)定義例:「全ての犬は動物である。ポチは犬である。従って、ポチは動物である」ある項 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)(∀導入)6....
数学とか 全称導入と仮定の解消
∀導入定義の人の認識を結びつけるために藻掻きます。全称導入と仮定の解消定義これが全称導入の定義A(c)⊢∀x∈X:A(x)WIISA(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→C1.A→B,B→C2.(仮定)3.B(→除去)4.C(→除去)5.A→C(→導入)自然演繹に慣れてくると当たり前な気もしますが。とりいず同値変形が証明できました...