- 数理論理学（数学基礎論） その12
893 ：１３２人目の素数さん[sage]：2018/06/14(木) 00:01:17.50 ID:P8B2pN7o - M|=ケネディ^M大統領^Mは暗殺^Mされた
こういうことを、数理論理において論理式を解釈する、といいます
>>891
はい、数理論理が何もわかっていないことが判明しましたね
消えてください
|
- 数理論理学（数学基礎論） その12
894 ：１３２人目の素数さん[sage]：2018/06/14(木) 00:07:09.32 ID:P8B2pN7o - おや？レスがなくなりましたね
|
- 数理論理学（数学基礎論） その12
896 ：１３２人目の素数さん[sage]：2018/06/14(木) 00:10:20.53 ID:P8B2pN7o - >>883
命題記号には真偽値を、述語記号には真理集合を、に訂正しておきます
|
- 数理論理学（数学基礎論） その12
898 ：１３２人目の素数さん[sage]：2018/06/14(木) 00:27:35.88 ID:P8B2pN7o - >>876
これ自体は間違えではないですけどね
|
- 人の心すら計算しようとする数学という学問は人道から外れている
11 ：１３２人目の素数さん[sage]：2018/06/14(木) 00:29:02.01 ID:P8B2pN7o - 要約 数学なんて生活の役に立たないから必要ない！
|
- 数理論理学（数学基礎論） その12
906 ：１３２人目の素数さん[sage]：2018/06/14(木) 09:10:00.81 ID:P8B2pN7o - 矛盾許容論理ってどんな感じなんですか？
|
- 大学学部レベル質問スレ 11単位目
767 ：１３２人目の素数さん[]：2018/06/14(木) 09:13:33.26 ID:P8B2pN7o - それは線積分の記号です
線積分の定義は
∫f(x,t)dx=∫f(x(t),t)dx/dt dtです
ウィキペディアに書いてありました
|