在数理逻辑中语义和语法的区别是什么
答案:1 悬赏:30 手机版
解决时间 2021-04-01 19:14
- 提问者网友:書生途
- 2021-04-01 13:30
在数理逻辑中语义和语法的区别是什么
最佳答案
- 五星知识达人网友:罪歌
- 2021-04-01 14:37
您好呀,学而好为您解答。
“语法”及其相关概念是建立在永真式和几个基本推到规则上的概念。一个表达式“语法”上正确是说它可以从永真式或者已知公理通过几个基本规则推出来。
“语义”是具体赋值意义上的概念。一个表达式“语义”上正确是说把所有可能的变量赋值带入表达式,返回值都是“真”。
“语法”及其相关概念是建立在永真式和几个基本推到规则上的概念。一个表达式“语法”上正确是说它可以从永真式或者已知公理通过几个基本规则推出来。
“语义”是具体赋值意义上的概念。一个表达式“语义”上正确是说把所有可能的变量赋值带入表达式,返回值都是“真”。
我要举报
如以上问答信息为低俗、色情、不良、暴力、侵权、涉及违法等信息,可以点下面链接进行举报!
大家都在看
推荐资讯