質問: 命題p、qが共に真のとき pならばqは真ですか?(真理値表には真と書いてありました) このとき、p⇔ 命題p、qが共に真のとき pならばqは真ですか?(真理値表には真と書いてありました) このとき、p⇔qも真と言えますか? あるいは 真理値表の意味は、pならばqが真のとき p、qが真でも問題ない ということを言っているのでしょうか??
回答: 前の質問 https://oshiete.goo.ne.jp/qa/12154642.html の no.3 でも少しだけ触れたのだが、君の混乱は 命題が真であることと述語が恒真であることをごっちゃにする ことから生じているのではなかろうか。 命題p、qが共に真のときは確かにp⇔qも真で、それでいいのだが、 その話は命題p、qが共に真であるときにだけしか言えてない ことを忘れず、結果を拡大解釈しないようにしないと 前回の正方形と平行四辺形のような変な話が生じてしまう。