質問: 命題p,qについて 命題[p→q]を考える pが偽のとき、p→qは偽ですが、これは定義、公理ですか? 命題p,qについて 命題[p→q]を考える pが偽のとき、p→qは偽ですが、これは定義、公理ですか?それとも別の定義、公理から導かれますか? また、p→q と p→qが成り立つ は区別した方が良いと思うのですが、区別したい場合、一般的には前者を何と書き、後者を何と書くのでしょうか?
回答: 普通 p が偽のときには p→q は真とするものだが, あなたのところでは違うのかな? まあ定義次第だからどっちでもいいけど, 「p が偽のとき p→q は偽」とするのは (少なくとも) 一般的ではない, ということは認識した方がいいだろうね.