数理逻辑--合式公式的问题为什么p→(r→q)不是合式公式?"下雪路滑,他迟到了."这样符号化对么:p:下雪 q:路滑 r:他迟到了(p→q)→r如果这样不对,那如何符号化这个命题?
问题描述：
数理逻辑--合式公式的问题
为什么p→(r→q)不是合式公式?
"下雪路滑,他迟到了."这样符号化对么:
p:下雪 q:路滑 r:他迟到了
(p→q)→r
如果这样不对,那如何符号化这个命题?
答
p→(r→q) 是合式公式!合式公式 就是表达完整的公式,英文的说法 well formed formula ,意思就是“表达完整的公式”.（所以合式公式常常简写为 wff ）
"下雪路滑,他迟到了."也许可以这样符号化：
p:下雪 q:路滑 r:他迟到了
(p and q)→r