全ての命題が真かもしれないという事実

全ての命題が真かもしれないという事実 at MATH

264:１３２人目の素数さん
20/08/12 03:58:09 8Nx/BH80.net
長文は読みませーん
はいお前の努力は無駄になった

265:１３２人目の素数さん
20/08/12 04:01:17 /MRifDss.net
反論できない時点でお前の負け。本当に無駄になったのはお前の方。残念でした。

あと、>>259で「最後」と言ってたはずなのに、結局レスしちゃってるのはカッコ悪いよな。
よほど>>150が図星を突いていて気に食わなかったんだろうなｗ

266:１３２人目の素数さん
20/08/12 10:19:26 JZN5nECw.net
>>264
本当に読む気ないならレスすんな中傷野郎

267:１３２人目の素数さん
20/08/12 12:26:30 8Nx/BH80.net
"読んでもらえないこと"が荒らしにとって一番のストレス^^

268:１３２人目の素数さん
20/08/12 12:35:57 8Nx/BH80.net
めちゃくちゃ効いてるゥ～！

269:１３２人目の素数さん
20/08/12 15:31:27.59 Mrua5VjO.net
>全ての命題が真かもしれないという事実
ならば命題「チンポがシコシコする」という日本語表現は成り立つのか？
チンポ「を」シコシコするのではなくて、チンポ「が」シコシコする。この場合、「チンポ」は主語となる。
オブジェクト指向で言う「集約」は２種類あって、全体（俺）と部分（チンポ）が繋がっている場合と、
全体（俺）と部分（チンポ）が別々になっている場合とが考えられる。けれども「チンポ」はそれ自体
が独立した生き物であり、所有者の意思とは無関係に、勃起して「シコシコする」。
例えば寝てる時にエロい夢みて朝起きてみたらチンコが勃起して射精してたとか。
違うか？
「胸がドキドキする」は良いが、「チンポがシコシコする」はダメな理由を、５０字以内で述べろ！

270:１３２人目の素数さん
20/08/12 16:23:40 jrSUfJBI.net
型理論だ！

271:１３２人目の素数さん
20/08/12 19:48:08 /MRifDss.net
相手が議論を放棄してるのは楽でいいな。
こっちは書きたい放題できて、しかも相手は反論できずにスルーだから必ず相手の負け。

272:１３２人目の素数さん
20/08/12 20:27:12.11 g5G+fjBg.net
記号論理学を20年弱前に駒場でちょっと習った程度の知識で申し訳ないんだけど、
記号論理学の初歩の言葉で言えば、
公理ってのは仮定のことで、
推論規則っていうのはこういう記号の並びになってたらこう変形していい、っていうルールだよね。
それで、証明ってのは、証明したい命題と仮定を組み合わせて、ルール内で許された変形をしていって、
最終的に真になれば証明できた、ってことで合ってるよね？
一階述語記号論理しか知らないし、その範囲で扱える論理がものすごく限られたものだということは小耳に挟んだことあるけど、
イメージとしては大きくずれてない、っていうことでいいのかな？

273:１３２人目の素数さん
20/08/12 20:31:53.73 R47aAqhw.net
>>272
＞最終的に真になれば証明できた、ってことで合ってるよね？
真になる、という表現が微妙ですね
推論規則を用いて導出された論理式は、その時点で証明されたものであるということです

274:１３２人目の素数さん
20/08/12 20:50:56.23 XPqPxZ0O.net
証明したい命題が最初から使われてるってことはタブローとか？

275:１３２人目の素数さん
20/08/12 20:57:13.34 g5G+fjBg.net
>>273
仮定から出発して、推論規則を適用して命題の論理式を作り出せれば証明できたってことかな。

276:１３２人目の素数さん
20/08/12 21:18:30.80 R47aAqhw.net
そうですね

277:１３２人目の素数さん
20/08/13 02:58:42 Vpdb1HwZ.net
ID:8Nx/BH80は効いてるとか言い出した時点で自身が中傷目的の荒らしだと自供したも同然ですね。

278:１３２人目の素数さん
20/08/14 08:55:05 iDB48HEe.net
>>269
ちんぽをシコシコするというのは主体が別に存在する（おそらく右手であろう）
しかし、ちんぼがシコシコするというのはちんぽさんが主体となって別の輪状、もしくは固定された箇所に向かって
往復運動をすることを言う
そしてそれはシコシコと形容される範囲内におけるような物体や部位である必要がある
つまり、日本語でいうところのチンポがシコシコするというのは文法上は正しい
しかしである
ちんぽは主語になってよいものかという問題が残る
ちんぽは思考できるのか、主体的な存在であるのかという疑問んである
我々はちんぽを自由自在に動かす事はできない
「勃つんだ！ジョー！！」などと呼びかけた人もいるであろう
ちんぽは人の付属物であると同時に1本の主体的な存在でもある
思考や意識といったものはないかもしれないし他動的な刺激により、また体調により変化を兆す。
つまり、チンポがシコシコするというのはチンポが主体的な存在かどうかが問われているのであり
勃起に至る過程からそれはまさに肯定されるべきなのである

279:１３２人目の素数さん
20/08/15 12:06:54 4LwopV9E.net
>>278
おちんちんに思考を支配される、そういうことはある。
思考の主体がおちんちんなのだ。

280:１３２人目の素数さん
20/08/18 22:56:16.50 8utvtVeW.net
>>>222
これはひどい

281:１３２人目の素数さん
20/08/19 05:31:15.43 BNFoO7la.net
ひどいのはお前の頭だろ、選択公理で頭やられたか？

282:１３２人目の素数さん
20/08/22 00:00:35.84 PIye8TW8.net
無は命題か

283:１３２人目の素数さん
20/09/02 10:06:54 3V18A0b3.net
>>220
それが嫌なら勉強しなけりゃいいだけなのでは？

284:１３２人目の素数さん
20/09/09 23:05:15 IR7822fG.net
同意