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

doi:10.3969/j.issn.1000-1565.2008.01.007

河北大学学报(自然科学版) ›› 2008, Vol. 28 ›› Issue (1): 18-21.DOI: 10.3969/j.issn.1000-1565.2008.01.007

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

孟令江

唐山师范学院,数学与信息科学系,河北,唐山,063000

出版日期:2008-01-25 发布日期:2008-01-25
基金资助:
河北省社会科学基金

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

MENG Ling-jiang

Online:2008-01-25 Published:2008-01-25

摘要/Abstract

摘要： 量词在一阶逻辑推理中起着重要作用,然而它的性质及运算规律比较繁杂,关于它的一些等值式和蕴涵式不能像在命题逻辑中那样用真值表来验证,本文将给出一系列的论证.

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

中图分类号:

O142

孟令江. 一阶逻辑推理系统F下量词的性质及运算规律[J]. 河北大学学报(自然科学版), 2008, 28(1): 18-21.

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.

[1]	佟霁坤,赵建国,王军霞,李洪波,陈海婴,王红云. 白洋淀水生植物腐解释放特征分析[J]. 河北大学学报(自然科学版), 2023, 43(4): 424-431.
[2]	贾凡. 基于解释结构模型和MICMAC的城市交通拥堵问题分析[J]. 河北大学学报(自然科学版), 2020, 40(4): 344-350.

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

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

PDF (PC)

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 2

编辑推荐

Metrics

本文评价