11/03/22 18:59:09.84
>>466
>429は一般に言えることなの？
p を命題変数とする。勝手な論理式 A に対し、
p が証明可能ならば A も証明可能
しかし、p→A は一般にはトートロジーではない。
証明可能の条件をもうちょっと強めると、古典命題論理の範囲では
Mints による定理があって、逆にあたることが成立する。
11/03/22 18:59:09.84
>>466
>429は一般に言えることなの？
p を命題変数とする。勝手な論理式 A に対し、
p が証明可能ならば A も証明可能
しかし、p→A は一般にはトートロジーではない。
証明可能の条件をもうちょっと強めると、古典命題論理の範囲では
Mints による定理があって、逆にあたることが成立する。