离散数学里为什么（p→（r→q））不是合式公式?

离散数学里为什么（p→（r→q））不是合式公式? 为什么P→Q不是公式呢?（离散数学中的命题）如题 离散数学求（p→q）↔r 的主析取范式.公式分解 离散数学（修订版） 高等教育出版社 耿素云 屈婉玲 编著的第10页,倒数第5行为什么写着p→(r→q) 不是合式公式?我觉得p→(r→q) 是合式公式啊 关于离散数学的几个问题证明P→Q＝>┐P∨Q证明┐P∨（P∧Q）＝>P→（P∧Q）R→┐R是什么? 离散数学输出律如何证明：（P∧Q→R）恒等于(P→(Q→R)) 就是这个式子如何证明! 关于逻辑推理的一点问题（离散数学）有这样一个问题：（p→q） 且 （q→r） → （p→r）其中（p→q） 且 （q→r）是前提,（p→r）是结论.要使这个命题成立,必须要有（p→q） 且 （q→r） → 离散数学命题证明题 前提:p→s,q→r,p∨q,┘r 结论:r 离散数学括号内P析取Q析取R为什么不是合取范式当没有括号时既是合取范式也可以是析取范式问题是括号内,即(P析取Q析取R)为什么不是析取范式 《离散数学》证明题 证明P→(Q→S),┐RVP,Q┝R→S 离散数学P∨Q→R=>P∧Q→R用反证法和直接法证明 几道离散数学第一章的问题!1.判别下列公式哪些是合式公式,哪些不是合式公式?a) (Q→R∧S)b) (p[双条件](R→S) )c) ((非P→Q)→(Q→P))d) (RS→K)e) ((p→(Q→R))→((P→Q)→(P→R)))2.根据定义,说明下列公 离散数学几条简单问题判定下列符号串是否为公式,若是,请给出它的真值表.（1）（p∨q）→p（2）p∧（p→q）→q用等值演算法,证明下列等值式（1）p→（q→r）q→（p→r）(2)p→(q→r)(p→q)→(p 求离散数学(P→ Q)→ R主合取范式和主析取范式 《离散数学》证明题：证明从前提P→Q,┐(Q∨R)可演绎出┐P. 离散数学中合式公式的判定、、（P->Q）->(^Q),(P->Q,(P^Q)->Q)为什么不是合式公式.书中还说了,原话：“为了减少圆括号的使用,约定最外层圆括号可以省略”；. 离散数学证明：(P→Q)→R=>(P→Q)→(P→R)证明：(P→Q)→R => (P→Q)→(P→R) 把下列公式化成合取范式((P∧Q)∧((P→R)∧(Q→S)))→(S∧R)注意是合取范式,不是主合取范式