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

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

264: １３２人目の素数さん [sage] 2024/05/14(火)09:48 ID:n+ePMw08(1/4)
トートロジーの否定は構文上はFalseではなくね？

267: １３２人目の素数さん [sage] 2024/05/14(火)11:27 ID:n+ePMw08(2/4)
￢(P∧￢P)とFalseは構文としては違うじゃん

268: １３２人目の素数さん [sage] 2024/05/14(火)11:41 ID:n+ePMw08(3/4)
爆発律って
P∧￢P→Q
か
False→Q
ぐらいしか流儀はないと思うのだが、
Pがトートロジーのとき
￢P→Q
なんて流儀は無理やろ

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