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

[0097 １３２人目の素数さん 2024/03/26(火) 15:50:20.83 ID:0k42wy//]

>>90
「P→Qが成り立つ」ということの意味を(真理値による定義ではなく)「PからQが証明できる」こととするならば、PとQが真でもP→QとかQ→Pが成り立つとは限らない