Π01言明について理解しておこう (215レス)
上
下
前
次
1-
新
6
:
BLACKX ◆SvoRwjQrNc
02/23(日)19:59
ID:f/qalxpg(5/5)
AA×
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
レス栞
|
レス消
]
6: BLACKX ◆SvoRwjQrNc [sage] 2025/02/23(日) 19:59:02.35 ID:f/qalxpg Aが偽であると仮定する。上記補題より ¬A が証明できる。 Sが無矛盾であるなら、A と ¬A の両方は同時に証明できないので、A は証明できない。これは前件に反する。よって帰謬法により A は真である。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/6
が偽であると仮定する上記補題より が証明できる が無矛盾であるなら と の両方は同時に証明できないので は証明できないこれは前件に反するよって帰謬法により は真である
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 209 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
ぬこの手
ぬこTOP
0.568s*