首页 | 本学科首页   官方微博 | 高级检索  
     

一阶逻辑推理系统F下量词的性质及运算规律
引用本文:孟令江. 一阶逻辑推理系统F下量词的性质及运算规律[J]. 河北大学学报(自然科学版), 2008, 28(1): 18-21. DOI: 10.3969/j.issn.1000-1565.2008.01.007
作者姓名:孟令江
作者单位:唐山师范学院,数学与信息科学系,河北,唐山,063000
摘    要:量词在一阶逻辑推理中起着重要作用,然而它的性质及运算规律比较繁杂,关于它的一些等值式和蕴涵式不能像在命题逻辑中那样用真值表来验证,本文将给出一系列的论证.

关 键 词:蕴涵式  解释  逻辑等价  量词  
文章编号:1000-1565(2008)01-0018-04
修稿时间:2007-05-11

Character and Operation Rule of the Classifier in First Logic Reasoning System F
MENG Ling-jiang. Character and Operation Rule of the Classifier in First Logic Reasoning System F[J]. Journal of Hebei University (Natural Science Edition), 2008, 28(1): 18-21. DOI: 10.3969/j.issn.1000-1565.2008.01.007
Authors:MENG Ling-jiang
Abstract: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.
Keywords:implication  interpretation  logically equivalent  classifier
本文献已被 万方数据 等数据库收录!
点击此处可从《河北大学学报(自然科学版)》浏览原始摘要信息
点击此处可从《河北大学学报(自然科学版)》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号