命题“P蕴含Q”表示P合取非Q是可以成立的。