论文部分内容阅读
<正> 在演绎逻辑中常常碰到蕴涵(implication)、推导(derivation or entailment)和断定(assertion)这些词。弄清这三者的性质和关连,对演绎逻辑基本原理的理解是很重要的。有些逻辑著作没有明确区分蕴涵和推导,或者把二者混为一谈;另一些逻辑著作则过份强调蕴涵和推导的区别而没有指出二者的关连。至于断定在其间所起的作用,就更少论及了。本文并非全面论述这三个逻辑术语的含义,而只是针对上述容易忽略的情况,对这三个术语的逻辑的性质、区别和关连提出一些分析,在分析过程中又不免涉及真命题的含义问题。