版权归原作者所有，如有侵权，请联系我们

[科普中国]-预期释义

上传时间：2021-12-31

科学百科

原创

科学百科为用户提供权威科普内容,打造知识科普阵地

在逻辑中，给定某个形式语言 L，可以有意图应用于 L 的原始符号的某个特权子集的一个释义

简介例如，一阶逻辑的一阶语言 L，它包含意图指示真值函数合取、析取、实质蕴涵、否定，全称量化运算，和某些其他(较少的)运算的符号。在皮亚诺算术的语言中，谓词符号 '

请科普中国APP发表评论或查看更多评论