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

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

题目
数理逻辑--合式公式的问题
为什么p→(r→q)不是合式公式?
"下雪路滑,他迟到了."这样符号化对么:
p:下雪 q:路滑 r:他迟到了
(p→q)→r
如果这样不对,那如何符号化这个命题?
答案
p→(r→q) 是合式公式!合式公式 就是表达完整的公式,英文的说法 well formed formula ,意思就是“表达完整的公式”.(所以合式公式常常简写为 wff )
"下雪路滑,他迟到了."也许可以这样符号化:
p:下雪 q:路滑 r:他迟到了
(p and q)→r
举一反三
已知函数f(x)=x,g(x)=alnx,a∈R.若曲线y=f(x)与曲线y=g(x)相交,且在交点处有相同的切线,求a的值和该切线方程.
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
奥巴马演讲不用看稿子.为什么中国领导演讲要看?
想找英语初三上学期的首字母填空练习……
英语翻译
最新试题
热门考点

超级试练试题库

© 2017-2019 超级试练试题库,All Rights Reserved.