是命题公式是吗？书上说不是，难道印错了？应该是。估计是少印或者多印了点什么，比如“P→”或者“→Q”或“∧P→Q”等等，这些都不是