大学学部レベル質問スレ 17単位目at MATH大学学部レベル質問スレ 17単位目 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト1025:１３２人目の素数さん 22/04/28 19:35:48.17 v4vJlTHY.net >>980 ハァ？ 1026:１３２人目の素数さん 22/04/28 20:06:30.98 /DbX+kFA.net >>980 そもそも直観主義論理に、そうやって命題に対して一つの真理値を割り当てるような意味論って存在するの？ 1027:１３２人目の素数さん 22/04/28 20:21:07.51 J2tXLzft.net 作れなくはないでしょ？ ただそれだと完全性定理が成立するかどうかが微妙になるって事じゃないの？ 1028:１３２人目の素数さん 22/04/28 20:24:04.00 J2tXLzft.net イヤイヤ当たり前だな 普通のブール代数の意味論なら排中律が恒真だけど排中律は定理式でないからブール代数に意味論を制限する限り完全性は成り立たなくなる 1029:１３２人目の素数さん 22/04/28 20:27:48.24 37/SqDmQ.net 直観主義論理なのでブール代数ではないよ？ 1030:１３２人目の素数さん 22/04/28 20:28:13.62 37/SqDmQ.net >>982 はぁ 1031:１３２人目の素数さん 22/04/28 20:29:48.24 37/SqDmQ.net >>983 簡単なものとしては3値論理だね 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch