命题可以分为四种：①伪命题，指的是无真假可言的命题；②永真命题，指的是不论在何种情况下都不可能假的命题；③永假命题，指的是不论在何种情况下都不可能真的命题；④可满足命题，指的是在有些情况下为真，在有些情况下为假的命题。
根据上述定义，下列属于永真命题的是：
