数学基礎論・数理論理学　その19

数学基礎論・数理論理学　その19 (605ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

270(2): １３２人目の素数さん [sage] 2024/05/14(火)11:59 ID:n+ePMw08(4/4)
トートロジーかどうかを推論規則の前提にするわけにはいかんじゃろ

272(2): １３２人目の素数さん [] 2024/05/14(火)15:52 ID:3zudoayv(1/2)
>>270
Pがトートロジー　⇔　￢Pから矛盾が導ける　は認めないの？　
認めないとして反例示せる？

273: １３２人目の素数さん [sage] 2024/05/14(火)15:53 ID:3zudoayv(2/2)
>>270
そこまで書けるならできるじゃん　脳味噌あるだろ？