>>416
もしAとBが論理式ならA→Bは論理式だが
＞A:= { x | ¬(x ∈ x) }
↑
これじゃ集合が論理式になっちゃうよ。
真偽値持つのかよ？
ｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
数学基礎論・数理論理学 その18 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
423１３２人目の素数さん
2016/09/24(土) 00:01:50.29ID:bJo8Ywv3■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 坂上忍「なんでアイドルが結婚しちゃいけないのか」「アイドルでトップになりたいんだったら、人権を捨てなきゃいけないのか」 [冬月記者★]
- 「Google Gemini、終了へ👋」――無料ユーザーのFlashモデル、10月9日からFlash-Liteのみに [パンナ・コッタ★]
- 【科学大】👨📢「女子枠！」とキャンパスで揶揄され体が固まった……正当な入試なのに「なぜこんなに批判されるのか」 [パンナ・コッタ★]
- 【サッカー】今夜 キリンカップ決勝「日本対NZ」テレビ朝日が全国生中継！ 解説は松木安太郎＆内田篤人＆柿谷曜一朗 ゲスト 影山優佳 [阿弥陀ヶ峰★]
- 【沖縄】「許せない」「基地を返せ」 強盗殺人事件、沖縄に怒りの声 ★2 [ぐれ★]
- 【神奈川】駐車場でバックしていた乗用車が10歳と2歳を含む親子3人に衝突 父親は重傷 大和市 [ぐれ★]
- 外貨獲得したいジャップ、インバウンドに媚びまくる… [667744927]
- 【緊急高市速報】札幌で灯油新規受注停止 [469534301]
- コテと名無しのレクリエーション会場3620
- 【悲報】なろう系アニメのキモさ、完全に言語化される！！「前世でイジメられてた主人公が転生したらイキリ男になるのが気持ち悪い」 [839150984]
- 俺「あの…初めてなんすけど…今からカットしてもらえますか？」
- 【画像】店員ちゃん「・・・こ、コンドームが一点//」