【本原命题函词﹡名词解释如下】
本原命题函词名词解释：
GB系统中的一类合式公式.在GB系统中,本原命题函词指仅含变元、特殊类符号A1,A2,…,Ak,属于符号∈、命题连结词并且其中的约束变元都是集合中变元的合式公式.例如,u(u∈X→u∈A)是本原命题函词;而当X或Y在合式公式中出现时,则就不是本原命题函词.又如,x(x∈A→xy)也不是本原命题函词,因为其中出现了定义符号.
显然,本原命题函词范围很窄,大量的谓词涉及定义符号,因而要对本原命题函词进行扩张.
免责声明：本文内容源于网友提供或网络搜集，仅供个人研究、交流学习使用，转载出于传递更多信息和学习之目的。如果您发现有涉嫌版权内容，请通知本站客服更改或删除。
相关阅读：
保教知识与能力必背考点语言学教程胡壮麟
信号与系统第二版答案
信号与系统知识点总结
新视野大学英语2读写教程
大学英语读写教程4
生物化学重点知识归纳
形式教育论和实质教育论
新视野大学英语2读写教程翻译
考研英语单词软件哪个好
微观经济学试题及答案
新视野大学英语读写教程2答案
