全ての命題が真かもしれないという事実

全ての命題が真かもし ..

273:１３２人目の素数さん
20/08/12 20:31:53.73 R47aAqhw.net
>>272
＞最終的に真になれば証明できた、ってことで合ってるよね？
真になる、という表現が微妙ですね
推論規則を用いて導出された論理式は、その時点で証明されたものであるということです