数理逻辑--合式公式的问题为什么p→(r→q)不是合式公式?"下雪路滑,他迟到了."这样符号化对么:p:下雪 q:路滑 r:他迟到了(p→q)→r如果这样不对,那如何符号化这个命题?

数理逻辑--合式公式的问题为什么p→(r→q)不是合式公式?下雪路滑,他迟到了.这样符号化对么:p:下雪 q:路滑 r:他迟到了(p→q)→r如果这样不对,那如何符号化这个命题? 离散数学里为什么（p→（r→q））不是合式公式? 几道离散数学第一章的问题!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.根据定义,说明下列公 离散数学（修订版） 高等教育出版社 耿素云 屈婉玲 编著的第10页,倒数第5行为什么写着p→(r→q) 不是合式公式?我觉得p→(r→q) 是合式公式啊 关于离散数学合式公式的判断为什么这个公式不是合式公式? 数理逻辑问题:如何理解原子公式的概念?若F(x1,x2,…,xn)是n元谓词,t1,t2,…,tn是n个项,则F(t1,t2,…,tn)是合式公式,此类合式公式称为原子公式就是还没有赋值的公式吗? 离散数学中合式公式的判定、、（P->Q）->(^Q),(P->Q,(P^Q)->Q)为什么不是合式公式.书中还说了,原话：“为了减少圆括号的使用,约定最外层圆括号可以省略”；. 根据P→Q真假值取法的定义可以看出,若P为假,不论Q是否为真,则P→Q为真.p都是假的了怎么还可以推出命题是真都是合式公式：P∧Q，(P)∨Q，P∨(P)，(P∧P)→(P(P∨R)) 数理逻辑等价公式的证明在数理逻辑里有几个等价公式我不知道是怎么证明的,等值公式里有一个 p=>q=~p||q 为什么这两个是等价的 ┐(P∨Q→┐R)=(┐P∨Q)∧R如何证明数理逻辑实在是叫人头痛啊,那位能帮个忙呢?问题绝对没有错的,我是高教出版社的书上的题目啊 离散数学 判断（Q—>R∧S) 是不是合式公式 离散数学合式公式中的连接词优先级怎么定?pVq→pVr 像这样的,我知道一般都是加括号的,但是如果不加括号怎么算呢?是这样的么 p V（q→p）V r 什么是合式公式? 离散数学合式公式 什么是合式公式?解释一下 关于离散数学中合式公式的判断下面的例题是合式公式吗?判断的定义又是什么? 数理逻辑问题:已知a->b,为什么a├ a->b 关于物理的电功率公式问题 因为R=U/I,所以U=RI 为什么因为P=UI,所以P=RI*I=I²R关于物理的电功率公式问题 因为R=U/I,所以U=RI为什么因为P=UI,所以P=RI*I=I²R为什么因为P=UI,所以P=U*(U/R)=U²/R怎