论文部分内容阅读
充分条件关系的定义历来是逻辑学关注的焦点，传统形式逻辑的界说是“朦胧的正确”，而正统数理逻辑的规定实为“清晰的荒谬”。“事件A是B的充分条件”的逻辑含义是“可独于A、B的有无确定（这称为“第一独立性”）不会是有A而无B”。这便是非纯真值函数的复合事件——充分条件事件“若A则B”。其间的“前件A为有可独立于后件B的有无确定”称为“第二独立性”。包含在充分条件关系中的逻辑性质两个独立性是人类能以有限把握无限、从已知进入新知的逻辑依据，是逻辑科学这座大厦两块坚实的基石。