下面命题公式是重言式的是______。