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