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