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

问题描述:

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

合式公式是命题公式的别称,p→(r→q) 是命题公式,当然也是合式公式.  哪个教材说的?合式公式 = 命题公式,屈婉玲编的离散数学就这么说的。pq→r 确实不是命题公式。明显的,ta写错了。p→(r→q) 是合式公式,而 pq→r 不是合式公式。