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

数理逻辑--合式公式的问题
为什么p→(r→q)不是合式公式?
"下雪路滑,他迟到了."这样符号化对么:
p:下雪 q:路滑 r:他迟到了
(p→q)→r
如果这样不对,那如何符号化这个命题?
数学人气:491 ℃时间:2020-05-11 04:46:28
优质解答
p→(r→q) 是合式公式!合式公式 就是表达完整的公式,英文的说法 well formed formula ,意思就是“表达完整的公式”.(所以合式公式常常简写为 wff )
"下雪路滑,他迟到了."也许可以这样符号化:
p:下雪 q:路滑 r:他迟到了
(p and q)→r
我来回答
类似推荐
请使用1024x768 IE6.0或更高版本浏览器浏览本站点,以保证最佳阅读效果。本页提供作业小助手,一起搜作业以及作业好帮手最新版!
版权所有 CopyRight © 2012-2024 作业小助手 All Rights Reserved. 手机版