えぬぬん@C104月曜東Y34aさんに 質問してみましょう！
えぬぬん@C104月曜東Y34a
某ﾇの学術・技術系の垢 著書・怪文書の宣伝、イベントの参加告知とかもこっち 六四天安門事件香港加油台湾独立
えぬぬん@C104月曜東Y34aさんが
最近答えた質問
02月17日
白星フウさんの次のツイートについて、どう思いますか？
「『数学の真髄-論理•写像-』のp93〜95クソです。著者は全体集合や条件の定義を理解してない。
+0xという無意味な正当化をしているけど、+0zがない理由を説明出来ていないし、そもそも全体集合を先に指定するのが筋なので、この哲学自体が無意味です。単に全体集合をR²とするの一言で終わる話です。」
12月25日
「⇒」や「⇔」は、命題変数や述語記号をつなぐ記号ですよね？ならば例えば数学の答案などで、具体的な命題同士をこれらの記号で繋ぐのはおかしい、というか不正確だと思ってしまうのですが、いかがなのでしょうか、
11月18日
真理値は論理学の人工言語(記号言語)の世界の概念で、命題の真偽を表す記号、という解釈で合ってますかね？誤っていたら正しい理解を教えていただけるとありがたいです！