数理逻辑干扰了传统逻辑,传统逻辑中的充分条件假言命题受此影响也发生了变化,特别是真值表的引入,改变了充分条件假言命题的真假的判断标准,还影响到它的定义.而数理逻辑中的充分条件假言命题实际上是实质蕴涵命题,而只有到了制约逻辑,充分条件假言命题才得以刻画清楚.

关键词: 充分条件关系, 假言命题, 形式逻辑, 数理逻辑, 制约逻辑, | 全部关键词