【性质的分类原则﹡名词解释如下】
本原命题函词名词解释：
GB系统中的一类合式公式.在GB系统中,本原命题函词指仅含变元、特殊类符号A1,A2,…,Ak,属于符号∈、命题连结词并且其中的约束变元都是集合中变元的合式公式.例如,u(u∈X→u∈A)是本原命题函词;而当X或Y在合式公式中出现时,则就不是本原命题函词.又如,x(x∈A→xy)也不是本原命题函词,因为其中出现了定义符号.
显然,本原命题函词范围很窄,大量的谓词涉及定义符号,因而要对本原命题函词进行扩张.
免责声明：本文内容源于网友提供或网络搜集，仅供个人研究、交流学习使用，转载出于传递更多信息和学习之目的。如果您发现有涉嫌版权内容，请通知本站客服更改或删除。
相关阅读：
厦门大学数学科学学院计算机二级c语言真题
国际金融理财师afp
基金怎么玩才能赚钱
全新版大学进阶英语综合教程2答案
厦门大学建筑与土木工程学院
学前教育学必背知识
恭喜考研成功后祝福语
概率论与数理统计答案第四版
考研小作文万能模板
儿科护理学题库及答案
现代大学英语精读2
量子力学教程周世勋
afp报名
大学英语2课后答案
二级建造师试题下载
财务管理学试题及答案
临床医学考职业医师
