0159１３２人目の素数さん
2020/08/06(木) 12:15:01.31ID:mEXA25CVそうだとしても、推論規則から>>149は成り立ちますよね？
推論規則はどの公理を用いるかなんて関係ないのですから
探検
全ての命題が真かもしれないという事実
■ このスレッドは過去ログ倉庫に格納されています
そうだとしても、推論規則から>>149は成り立ちますよね？
推論規則はどの公理を用いるかなんて関係ないのですから
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【TBS】東京都知事選、小池氏大きくリード 都政「評価」約7割も プロジェクションマッピング「見直し必要」5割超★2 [PARADISE★]
- 蓮舫氏「小池さん、８年間お疲れさまでした」 小池知事“地元”池袋で街頭演説 [少考さん★]
- 国民の不信感の原因「首相にある」と菅氏 [蚤の市★]
- 【トナラー】人気声優・間島淳司、電車の座席めぐる投稿が物議 余裕のある車両で「女性の隣に何気なく座った」行為に… ★2 [Ailuropoda melanoleuca★]
- 【芸能】有吉弘行 吉野家〝つゆだくだく〟注文に苦言「みじめじゃん」「家でやれば？そんなことは」 [フォーエバー★]
- 【新潟】「頭のいい方だけ来るわけでは…」中川上越市長が被害企業を訪問し謝罪 抗議100件超 自身の処分検討 高卒者差別発言問題 ★2 [ぐれ★]
- とうすこ🤝ホロアン 同盟会議🏡
- 岡山県「たすけて！廃棄物を15年放置してたら、国内最悪レベルの【水道水のPFAS汚染】が起きたけど、市民には黙ってたの…」 [524963903]
- 嫌儲とかXのリベラル界隈では小池負けるって感じだけど、世論調査では小池圧勝。なんかおかしくね？ [246620176]
- 【悲報】暇空茜の信者さん、Vtuberに助けを求めてしまう [266670284]
- 00:00:00.000
- すげーことに気づいた、グループ名に「色の名前」が入った音楽ユニットは売れる。 [769931615]