离散数学中合式公式的判定、、(P->Q)->(^Q),(P->Q,(P^Q)->Q)为什么不是合式公式.