数理逻辑--合式公式的问题

问题描述:

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

p→(r→q) 是合式公式!合式公式 就是表达完整的公式,英文的说法 well formed formula ,意思就是“表达完整的公式”.(所以合式公式常常简写为 wff )
"下雪路滑,他迟到了."也许可以这样符号化:
p:下雪 q:路滑 r:他迟到了
(p and q)→r