高校生です。

�p→(�p∨q)は恒真命題なんでしょうか？どうしてもTTTFにしかなりません・・・。