>>344
>LJとの違いは右側が1つに制限するかか1つ以下に制限するかの違いのはず
じゃあ
後件が空であってもいいことにした場合に
A,A→人⊢B
はどう導くの？
数学基礎論・数理論理学 その19
■ このスレッドは過去ログ倉庫に格納されています
347１３２人目の素数さん
2024/05/20(月) 01:11:16.91ID:scxUAhLA■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【酒】がんの死亡リスク、350mlの缶ビールを1日1本で増加？ アルコール起因のがん死亡数が33年間で2倍に 米国研究 ★2 [煮卵★]
- 【物価高】ドンキ「999円」、イオン「1000円」のジーンズ、やっぱり売れた 格安アパレルの戦略 [煮卵★]
- 【文春】女子アナにチョレイ！ 卓球・張本智和(23) チャラい“DM連続ナンパ” ★2 [Ailuropoda melanoleuca★]
- 【維新】定数抑えて議会はスリム でも報酬は高め 大阪都構想特別区議の報酬案は月額77.4万円 全国の平均報酬額は42万9000円 [煮卵★]
- 【サッカー】塩貝健人は後半41分から出場 PK戦は蹴る前に終了「森保さんに『俺、PK下手そうですか？』って聞いた」 [ゴアマガラ★]
- 岩屋前外相 中国訪問めぐるSNS中傷に大物議員が同情…議員宿舎侵入事件も「ハニトラでもなんでもない」と徹底擁護 平将明氏 [少考さん★]
- 【高市悲報】東京のコア消費者物価指数 実績2.7％（予想2.3％、前回1.8％） [733893279]
- >>3「え～出席をとるぞ。>>5」>>5「はい元気です！」
- 兄を持つ女性の実に90%以上が「お兄ちゃんにレイプされたい」という願望を持っています
- 【高市悲報】イランさん、9月中の原油積み込みゼロ 経済崩壊へwwwwwww [199590541]
- 【絶望】フォロワー18600人のイラストレーターさん、AIに仕事を奪われ無職にwwwwwwwwwwwwwwwwwwww [802034645]
- 「反AI」を主張する連中はなぜ「人間は学習した内容を使って表現をしてもいいのにAIは同じことをしてはいけない理由」を絶対に言わないの [314039747]