一阶逻辑推理系统F下量词的性质及运算规律  

Character and Operation Rule of the Classifier in First Logic Reasoning System F

作　　者：孟令江[1] 

机构地区：[1]唐山师范学院数学与信息科学系,河北唐山063000

出　　处：《河北大学学报（自然科学版）》2008年第1期18-21,共4页Journal of Hebei University(Natural Science Edition)

基　　金：河北省教育厅基金资助项目

摘　　要：量词在一阶逻辑推理中起着重要作用,然而它的性质及运算规律比较繁杂,关于它的一些等值式和蕴涵式不能像在命题逻辑中那样用真值表来验证,本文将给出一系列的论证.The classifier is playing the vital role in first logic reasoning. However its poeration rule is more comples. Some of equivalent types and the implication type can＇t be proved by the matrix unlike propositional logic. This article will summarize them and give a series of proofs.

关 键 词：蕴涵式 解释 逻辑等价 量词 

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