0183１３２人目の素数さん
2017/12/26(火) 07:55:42.88ID:RINCUC+5スマン！
∀p,q【∀x[Ｐ(ｘ) ⊃Ｑ(ｘ)]ｖ[Ｑ(ｘ) ⊃Ｐ(ｘ)] ｝】
探検
数理論理学（数学基礎論） その12
■ このスレッドは過去ログ倉庫に格納されています
スマン！
∀p,q【∀x[Ｐ(ｘ) ⊃Ｑ(ｘ)]ｖ[Ｑ(ｘ) ⊃Ｐ(ｘ)] ｝】
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【157.7】円、157円台に下落 日銀イベント通過で円売り安心感… ★2 [BFU★]
- 「なんで私があなたの子どものために」 広がる「子持ち様」批判 ★4 [蚤の市★]
- 三浦瑠麗氏 離婚を発表「先日、夫婦を卒業しました。友人になりました」 [muffin★]
- 【芸能】有吉弘行 『炭水化物＋炭水化物』を悪者にした元凶に憤り 「どうせ痩せたモデルだろ！」「お好み焼き定食も別に変な事じゃない」 [冬月記者★]
- 【政府】「誤情報」常時監視へ 6月に閣議決定 [Hitzeschleier★]
- ゆたぼん、4月から日本航空高校通信制に進学「ついにゆたぼん、高校1年生です！」メタバース工学科に入学 [muffin★]
- 【実況】博衣こよりとフワモコのえちえちふわもこよモーニング🧪🐾
- (´･ω.･`)…はっ！
- 浪人ですがもう二度とお🏡は立てないことにしました
- 神メモのアリスちゃん可愛い！
- 【急募】日本が終わった理由、真面目にビジウヨとネトウヨのせいじゃね [943688309]
- 🖐🏿( ･᷄ὢ･᷅ ) お前を、ケツイキへ誘う…