X



トップページ数学
10コメント1KB
証明できないけど真理値がある命題って何なの?
■ このスレッドは過去ログ倉庫に格納されています
0001132人目の素数さん
垢版 |
2023/04/14(金) 20:51:27.92ID:YEmEKlk1
以前説明を聞いた気がするけど忘れた
真とも偽とも証明できないのに、何を根拠に真理値があるのか?
0002132人目の素数さん
垢版 |
2023/04/15(土) 01:37:02.76ID:9nhDOaxY
公理
0003132人目の素数さん
垢版 |
2023/04/15(土) 11:50:41.16ID:l7bolp9y
>>2
いや、公理は証明できるぞ自明に
0004132人目の素数さん
垢版 |
2023/04/15(土) 11:51:39.58ID:l7bolp9y
もしかして、構成できる文には全て真理値があるみたいなことを仮定してるのかな?
0005132人目の素数さん
垢版 |
2023/04/15(土) 12:32:56.26ID:VCyXE85u
真理値がブール代数値だったりね。
0007132人目の素数さん
垢版 |
2023/04/15(土) 22:51:22.71ID:tGWTK3R9
あげ
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況