[過去ﾛｸﾞ] 【統一教会と】柄谷行人を解体する80【否定神学】 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
211(1): 2024/11/02(土)10:28 ID:0(211/1000) AAS
ハイティング代数の擬補元(pseudo-complement):
ハイティング代数とは、ある種の論理を数学的に扱うための道具です。特に、古典論理とは異なり、排中律が必ずしも成り立たないような論理を表現できます。相対擬補元は、このハイティング代数において重要な概念の一つです。直感的には、「ある命題が別の命題をどれだけ含意するか」を表すものです。
束: 集合論における重要な概念で、要素間に大小関係が定義されたものです。ハイティング代数は、この束の構造を持ちます。
相対擬補元 (x ⇒ y): ハイティング代数の要素xとyに対して、xがyを含意する度合いを表す要素です。つまり、xが真であれば必ずyも真となるような、最大の要素と言えます。
213: 2024/11/02(土)10:31 ID:0(213/1000) AAS
>>211
『要するにこれジャネットの臭い特徴であって、
自分が論理的に追い詰められると、煙に巻いてやろうと思って、無意味でデタラメな数式を濫発するのなｗｗｗ
理系の見せ掛けを作れば相手を煙に巻けるだろうと
つまりスカンクの放屁レベルの行為に過ぎないんだが、』
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s