复合判断组合推理的逻辑语法、语义和语用,本文主要内容关键词为:组合论文,语义论文,语法论文,逻辑论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。
摘要 复合判断组合推理是以复合判断为前提,并采用一定的组合方式而构建的推理。在一一组合方式的基础上,本文首先给出了复合判断组合推理的各种模式,然后对推理模式进行了语义说明,采用真值表的方法对模式的有效性进行了判定。在语用中,着重介绍了各种推理模式的使用方法,并通过构建具体推理对推理模式进行了解释。
关键词 复合判断组合推理推理模式 真值表 语用
中图法分类号 B812.23
复合判断组合推理指的是以复合判断为前提并把不同类型的复合判断按一定的方式组合在一起的推理。复合判断的类型有否定式、合取式、析取式和蕴涵式。如果只采用一一组合的方式,复合判断组合推理就有:
1.否定合取式或合取否定式推理;
2.否定析取式或析取否定式推理;
3.否定蕴涵式或蕴涵否定式推理;
4.否定否定式推理;
5.合取析取式或析取合取式推理;
6.合取蕴涵式或蕴涵合取式推理;
7.析取蕴涵式或蕴涵析取式推理。
下面先给出复合判断诸类型的逻辑联结词及其定义。
否定符:- 合取符:∧ 相容析取符:∨ 不相容析取符: 蕴涵符:→ 反蕴涵符:← 双蕴涵符:←→
以上七个逻辑联结词的定义为:
p q-p p∧q p∨q P∨q p→q p←q p←→q
T T F
TT FT T T
T F F
FT TF T F
F T T
FT TT F F
F F T
FF FT T T
(T:真;F:假。)
一、复合判断组合推理的语法
二、复合判断组合推理的语义
上面给出了20种类型的推理模式,下面将讨论模式表达的语义。该部分的主要任务是揭示已给出的20种类型推理模式所蕴藏的逻辑涵义并指出它们是如何构建的。
1.否定合取式的语义
构建此推理的逻辑元件有二:合取式和否定式。否定合取式是否定式和合取式相组合的推理模式。该推理的前提构成是要否定一个合取式。根据合取式肢判断数量的不同,否定合取式可以构建出无穷多个推理模式,但最基本、最简单的也是最常用的模式为前提只否定一个双肢合取式。根据德·摩根律,前提为否定合取推得的结论为析取。真值表判定略。
-(p∧q)和(-p∨-q)在逻辑上等值, 该推理前提的结论在语义上一致。
2.否定析取式的语义
析取式可分为相容析取式和不相容取式两种,相应地否定析取式也可分为两种:一种是相容的否定析取式;另一种是不相容的否定析取式。由于否定析取式是通过对一个析取式进行否定来构建推理的,因此可根据德·摩根律知其结论。否定相容析取推得结论为合取式,直值表判定略。
从真值表上可看出,-(p∨q)和(-p∨-q)在逻辑上等值, 其语义一致。
根据定义,否定不相容析取其结论为:
该推理语用原则为:析取肢肯定(或否定)双蕴涵式的前件结论肯定(或否定)其后件;或者析取肢肯定(或否定)双蕴涵式的后件结论肯定(或否定)双蕴涵式的前件。推理步骤为肯定顺推、否定倒推、肯定倒推和否定顺推。
18—20,蕴涵析取式、反蕴涵析取式和双蕴涵析取式语用要求分别是要以蕴涵式、反蕴涵式和双蕴涵式为思维活动的起点,然后才引进析取式参与推理,本文讨论略。
每一个模式都可以构建出许多个具体推理,也就是说每一个模式可以有许多个解释,每一个解释都是对模式进行一次使用。
上文是在一一组合方法的基础上对复合判断推理进行了语法构造、探讨了各种推理模式的语义和语用。复合判断组合推理除了按一一组合的方式来进行构建外,还可以按其它的方式例如一一组合的方式来进行构建。那样,它的语法就更多样,语义就更丰富,语用就更复杂。本文在此就不多加讨论了。
收稿日期:1996—10—10