本原命题函词名词解释：GB系统中的一类合式公式.在GB系统中,本原命题函词指仅含变元、特殊类符号A1,A2,…,Ak,属于符号∈、命题连结词并且其中的约束变元都是集合中变元的合式公式.例如,u(u∈X→u∈A)是本原命题函词;而当X或Y在合式公式中出现时,则就不是本原命题函词.又如,x(x∈A→xy)也不是本原命题函词,因为其中出现了定义符号.
显然,本原命题函词范围很窄,大量的谓词涉及定义符号,因而要对本原命题函词进行扩张.
本原命题函词名词解释：GB系统中的一类合式公式.在GB系统中,本原命题函词指仅含变元、特殊类符号A1,A2,…,Ak,属于符号∈、命题连结词并且其中的约束变元都是集合中变元的合式公式.例如,u(u∈X→u∈A)是本原命题函词;而当X或Y在合式公式中出现时,则就不是本原命题函词.又如,x(x∈A→xy)也不是本原命题函词,因为其中出现了定义符号.
显然,本原命题函词范围很窄,大量的谓词涉及定义符号,因而要对本原命题函词进行扩张.
