含有预设关系语句的形式化

发布时间：2021-02-07 05:46

　　要赋予一阶谓词公式确定的含义,首先要确定个体域。个体域确定之后,个体变项的变化范围也就确定下来了,进而可给出个体常项、谓词符号的解释。个体域的确定、个体常项和谓词符号的解释构成了一阶语言的模型。事实上,受谓词的限制,个体变项的实际取值范围达不到个体域,只是个体域的子集,一旦超过实际取值范围,就会使语句发生句法错误。对个体变项实际取值范围的限制要靠预设得以实现。于是怎么把这种预设关系体现在形式语句中就是一个关键点了。 

【文章来源】：贵州工程应用技术学院学报. 2020,38(03)

【文章页数】：10 页

【参考文献】：
期刊论文
[1]命题的一个新定义与命题的同一性问题[J]. 周文华.  云南大学学报(社会科学版). 2016(04)
[2]预设与蕴含[J]. 刘利华.  伊犁师范学院学报. 2003(02)



本文编号：3021758