计算机科学

首页 > 计算机科学

预期释义

2018-08-30 10:02:33     所属分类:形式语言

在逻辑中,给定某个形式语言 L,可以有意图应用于 L 的原始符号的某个特权子集的一个释义。例如,一阶逻辑的一阶语言 L,它包含意图指示真值函数合取、析取、实质蕴涵、否定,全称量化运算,和某些其他(较少的)运算的符号。在皮亚诺算术的语言中,谓词符号 '<' 意图指示二元关系“严格小于”,而 '+' 意图指示(自然数上)二元运算(或函数)加法。在集合论比如 ZFC 中有一个谓词符号意图指示集合论成员关系。

版权声明:本文由北城百科网创作,转载请联系管理获取授权,未经容许转载必究。https://www.beichengjiu.com/computerscience/340093.html

显示全文

取消

感谢您的支持,我会继续努力的!

扫码支持
支付宝扫一扫赏金或者微信支付5毛钱,阅读全文

打开微信扫一扫,即可进行阅读全文哦


上一篇:语法幺半群
下一篇:作用代数
广告
相关推荐
爱淘宝