0001以下、5ちゃんねるからVIPがお送りします
2022/04/19(火) 20:52:01.711ID:zwTumOq00intuitionistic logicでのimplicationのtruth valueは、relative pseudo complementによってassignされるってマジ？
探検
heyting algebraのrelative pseudo complementの記号x→yってさ
■ このスレッドは過去ログ倉庫に格納されています
intuitionistic logicでのimplicationのtruth valueは、relative pseudo complementによってassignされるってマジ？
0002以下、5ちゃんねるからVIPがお送りします
2022/04/19(火) 20:54:53.769ID:zwTumOq000003以下、5ちゃんねるからVIPがお送りします
2022/04/19(火) 20:56:04.775ID:zwTumOq00■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 日本キリスト教協議会(NCC)靖国神社問題委、岸田首相の真榊奉納、閣僚２人の参拝に抗議 [少考さん★]
- 【青森】貯蔵リンゴ大量盗難、被害額は２億２４００万円…計２８０回・１箱１０キロ換算で６万箱分 [ぐれ★]
- 【福岡】「ポルノビデオと同じことがしたかった」と話すも一部否認、登校中の１４歳女子中学生に不同意わいせつ…スリランカ国籍の男逮捕 [樽悶★]
- 「高学歴＆イケメンだけがスペードのエースになれる」いなば食品の女帝が作らせた"容姿＆学歴差別トランプ" [おっさん友の会★]
- 【MLB】「毎日、毎日、ショウヘイだよ！」 日本マスコミからの“大谷ハラスメント”に同僚選手もウンザリ [jinjin★]
- “93歳男性作業員”が高圧受電盤の点検中に感電か 老人福祉施設でケガ [煮卵★]
- 【画像】ワイ今ここにいるんだが
- ？？？「待たせたな！助けに来たぞ」←誰が来たら一番安心する？
- シャニマスの爆乳が集うとんでもないお🏡★2
- 執行官「強制執行にきました。立ち退く気は？」住人「大丈夫っすよ」→1時間後、執行官「強制執行開始！」60代男と80代女性の自殺体発見 [377482965]
- 【悲報】12℃ [208234178]
- お前ら今日は誰で抜いた？