充分条件假言命题【英】

hypothetical proposition under sufficient conditions

译文来源

Transposition. via: https://en.wikipedia.org/wiki/Transposition_(logic)

定义

充分条件假言命题亦称充分条件假言判断，是一种特殊的假言命题，指断定一命题是另一命题的充分条件的假言命题。结构形式为：“如果p，那么q。”充分条件假言命题的逻辑联结词在日常语言中常用“若……则……”、“只要……便……”、“如果……那么……”“当……便……”、“假使……那么……”等表示，例如，“水涨船高”、“摩擦生热”、“风吹草动”。充分条件假言命题的真假，取决于其前件与后件之间是否确实具有充分条件的联系。如果有，它就是真的；如果没有，它就是假的。这一真值表表明，只有当前件真而后件假时，充分条件假言命题是假的，其余三种情况下，充分条件假言命题都是真的。充分条件假言命题既没有断定前件，也没有断定后件，只是断定前件是后件的充分条件，这是充分条件假言命题断定事物情况的基本特点。传统逻辑的充分条件假言命题与数理逻辑的真值蕴含之间既有一致性又有区别。就前后件之间的真值关系而言，它们是相同的，这是两者一致的地方。但假言命题的前后件之间除了具有一定的真值关系外，还具有某种意义上的联系。如“如果2+2=4，那么纽约是一个大城市”这一命题，从真值蕴含的观点来看，是一个真命题（前件真，后件真），但从充分条件假言命题的角度来看，其前件与后件之间没有任何意义上的联系，因而是一个没有意义的命题（金炳华，冯契，2001：170）。

定义来源

金炳华，冯契.哲学大辞典[Z].上海辞书出版社，2001.

网络参考例句

例句 1：
形式逻辑在对充分条件假言命题表达上，出现了一些它本身难以解决的问题。——《周礼全自然语言逻辑思想研究》，燕山大学硕士学位论文，2011
There are some difficulties which can't be solved itself for formal logic when it is used in the expression of sufficient condition hypothetical propositions.

例句 2：
形式逻辑教科书中关于充分条件假言命题的定义及其列举的某些例句，值得质疑。——“分辨充分条件假言命题”，载于《重庆理工大学学报（社会科学）》2010年第5期
It is worth questioning that the definition of a hypothetical proposition under sufficient conditions and some of its examples which are enumerated in the textbooks about formal logic. 

例句 3：
实质蕴涵则不仅存在“语法怪论”，而且存在“语义怪论”；后者是由实质蕴涵和“如果……那么……”在语义上的不一致造成的，其表现是将假的充分条件假言命题判定为真的，以及把直观上能确定真假的充分条件假言命题当成无法确定真假的。——“真值函项理论与怪论”，载于《重庆工学院学报（社会科学)》2010年第6期
There are not only synactic paradoxes, but also semantic paradoxes in material implication. The semantic paradox is caused by the inconsistency between the meaning of material implication and the meaning of “if… then…”. Its performance is to make the false hypothetical propositions under sufficient condition judged as true propositions, and to look upon the hypothetical propositions under sufficient condition whose truth can be determined intuitively as propositions whose truth cannot be determined.