必要条件假言命题【英】

hypothetical proposition for necessary condition

译文来源

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

定义

必要条件假言命题亦称“必要条件假言判断”。断定一个事物情况是另一个事物情况的必要条件的假言命题。它的结构形式为：“只有p，才q”（王跃平，2003：153）。它断定p是q的必要条件，无p就必定无q。例如：“只有年满十八岁的公民，才有选举权。”断定“年满十八岁的公民”这一事物情况不存在，则“有选举权”这一事物情况就必定不存在。在现代汉语中，表达必要条件假言命题逻辑联结词的语言形式主要的有:“只有……才……”、“必须……才……”、“除非……不……”、“没有……就没有……”等。表示必要条件假言命题的真假特征是：前件p假时，后件q必定为假（彭漪涟，2010：309)。必要条件假言命题的假命题是否定前件，肯定后件的陈述性命题。且当此必要条件假言命题为真，则自然其假命题不成立。如果当必要条件为假。那么其假命题必然为真。

定义来源

[1] 王跃平.必要条件假言命题若干问题新探[J].徐州师范大学学报(哲学社会科学版)，2003(3).
[2] 彭漪涟.逻辑学大辞典[Z].上海辞书出版社，2010.

网络参考例句

例句 1：
其中，“丰富传统逻辑”是指金岳霖在论述西方传统演绎逻辑的同时，吸收中国古代逻辑思想的成果，进而第一次明确提出必要条件假言命题及其推理形式和逻辑规则以及他在分析思维实际活动的基础上提出另外一些新的命题形式。——“论不同假言命题的识别——兼谈逻辑联结词和语句关联词的关系”，载于《社会科学战线》1986年第4期
Jin Yuelin was the first to find and form the hypothetical necessary conditional proposition and its deductive rules in the history of traditional logic. Based on analysing people's thought one practical act materils, Mr. Jin gave other new propositional forms, all this greatly enriched the content of the traditional logic.

例句 2：
正是把假言命题中的联结项与假言命题类型之间的或然性关系当作必然性关系，导致我国逻辑学教科书长期以来把“除非”类假言命题的三种类型统统视为必要条件假言命题的谬误。——“再论联结项与假言命题类型之间的或然性关系——并复焦克先生对《‘除非’类假言命题新论》一文的质疑”，载于《云南电大学报》2009年第3期

例句 3：
对假言命题与联结项之间的对应关系亟待进一步加以廓清并重新作出科学的阐述。——“‘除非’类假言命题新论”，载于《云南电大学报》2008年第2期