带有多重量词的谓词公式的否定  

On Negation of Predicate Formulae with Multiple Quantifiers

作　　者：祝深有 张会凌[2] 

机构地区：[1]甘肃广播电视大学教学指导中心,甘肃兰州730000 [2]甘肃联合大学数学与信息学院,甘肃兰州730000

出　　处：《甘肃广播电视大学学报》2008年第3期36-37,共2页Journal of Gansu Radio & Television University

摘　　要：讨论了谓词逻辑中带有多重量词的谓词公式的否定问题,得出了对于此类谓词公式可以逐层否定的结论,从而填补了现有诸教材在这个问题上的一个空白。

关 键 词：多重量词 谓词公式 否定 结论 逐层否定 

分 类 号：O158[理学—数学]