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

离散数学中合式公式的判定、、（P->Q）->(^Q),(P->Q,(P^Q)->Q)为什么不是合式公式. 离散数学里为什么（p→（r→q））不是合式公式? 离散数学 判断（Q—>R∧S) 是不是合式公式 为什么P→Q不是公式呢?（离散数学中的命题） 离散数学中P->(Q->R)是命题公式吗 有关离散数学P->(Q->P) 离散数学的等价公式中吸收律P∧(P∨Q)=P的证明?不用真值表, 离散数学求（p→q）↔r 的主析取范式.公式分解 关于离散数学合式公式的判断为什么这个公式不是合式公式? (p+2q)(2p-q)-(p+q)(p-q) p.q. 6p{(p+q)(p+q)}-4q(p+q)