- 数理論理学（数学基礎論） その12
869 ：１３２人目の素数さん[sage]：2018/06/13(水) 09:03:40.28 ID:qVgQuylU - 何度言えばわかるんですかねー
あなたのならばは、自由変数を含まない原始命題に対しては定義することすらできない欠陥品だと
|
- 数理論理学（数学基礎論） その12
870 ：１３２人目の素数さん[sage]：2018/06/13(水) 09:17:47.96 ID:qVgQuylU - ケネディ大統領が暗殺された→1+1=2である
これはどうですか？
命題ではないですか？
真偽が定義できないですか？
|
- 数理論理学（数学基礎論） その12
875 ：１３２人目の素数さん[sage]：2018/06/13(水) 23:49:10.28 ID:qVgQuylU - >>874
数理論理的に言うなら、命題とは、アトミックな論理式、すなわち原始命題から構成される論理式のことですね
複雑な論理式は、原始命題や他の命題を論理結合子で結びつけることによって作ることができます
前提とは、A→BにおけるAのことですね
つまりですね、ならば命題を作ると言う段階は統語の範疇であり、意味はまだ付加されていないんですよ
少なくとも数理論理においては
ここまでの説明がわからないのであれば、あなたは意見をするレベルにないと言うことです
勉強し直してくださいね
|
- 数理論理学（数学基礎論） その12
878 ：１３２人目の素数さん[sage]：2018/06/13(水) 23:50:57.92 ID:qVgQuylU - >>877
わからないんですね(笑)
|
- 数理論理学（数学基礎論） その12
880 ：１３２人目の素数さん[sage]：2018/06/13(水) 23:52:05.98 ID:qVgQuylU - 874 名前:１３２人目の素数さん :2018/06/13(水) 23:44:56.08 ID:DMPVOmLK
>>870
前提は命題って言うにはちょっと甘いな
これは統語と意味論の区別がついていないから書き込めるレスですね
|
- 数理論理学（数学基礎論） その12
883 ：１３２人目の素数さん[sage]：2018/06/13(水) 23:54:29.29 ID:qVgQuylU - >>881
数理論理学において、意味とは、命題記号、述語記号、定数記号、関数記号に具体的な命題、述語、対象、写像をマッピングすることを言います
|
- 数理論理学（数学基礎論） その12
885 ：１３２人目の素数さん[sage]：2018/06/13(水) 23:55:21.57 ID:qVgQuylU - >>882
数理でない論理の話は哲学板でどうぞ
|
- 数理論理学（数学基礎論） その12
886 ：１３２人目の素数さん[sage]：2018/06/13(水) 23:55:42.17 ID:qVgQuylU - >>884
数学的には、意味とは厳密に数学的に定義された用語です
|
- 数理論理学（数学基礎論） その12
890 ：１３２人目の素数さん[sage]：2018/06/13(水) 23:58:16.43 ID:qVgQuylU - >>887
ケネディ→ケネディ
大統領→大統領
暗殺→暗殺
この意味が分からなければ、あなたはこのスレッドにいる資格がありません
|