真命题。
表示
是
的充分条件。当确保一个结论成立的条件的充分性遭到破坏时,结论可以成立也可以不成立。
假
真,意味着
是
的充分不必要条件,这恰好符合
的语义。