充分条件关系及其两个特异性

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

Relation of Sufficient Condition and Its Two Peculiarity

The definition of the relation of sufficient condition is always the focus of Logic.The definition for traditional formal logic is blurred preciseness,while that for orthodox mathematical logic is clear absurdness.The logical meaning of the event A is B's sufficient condition is to ascertain independently whether A or B exists or not,which can be named the first independence,but the situation that A exists yet B doesn't is non-existent.This is the compound event of non-pure truth value function,namely the f...