| 一阶逻辑推理系统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 |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《河北大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《河北大学学报(自然科学版)》下载全文 |
