假言命题指形式为“如果A则B”的复合命题。又称条件命题。其在前的支命题叫做前件，在后的支命题叫做后件。假言命题陈述一种事物的情况是另一种事物情况的条件。 在形式逻辑中，命题联结词“如果，则”被理解为“前件真而后件假”是假的，即“如果A则B”假，当且仅当A真而B假；而当A假时，整个复合命题总是真的。 在现代逻辑中，命题之间的这种真假关系叫做实质蕴涵。在日常语言中，关于“如果，则”还有其他含义，如因果联系、推论关系等等。
充分条件假言命题 hypothetical proposition under sufficient conditions
必要条件假言命题 hypothetical proposition for necessary condition
充分必要条件假言命题 hypothetical proposition of necessary and sufficient condition
必要条件假言命题的负命题 negation of necessary condition’s hypothetical proposition
充分条件假言命题的负命题 negative hypothetical proposition of sufficient conditions
充分必要条件假言命题的负命题 negative hypothetical proposition of necessary and sufficient conditions
传统逻辑和模态逻辑在分析自然语言假言命题方面都存在缺陷。
Traditional logic and modern logic have some defects in analyzing the hypothetical proposition of natural language.
提出“相关蕴涵”概念主要是为了对自然语言假言命题进行符合自然语言实际的分析。
The purpose of putting forward the concept of "relevant implication" is mainly to analyze the hypo…
假言推理是前提中有一个为假言命题，并且根据假言命题前件与后件之间的关系而推出结论的推理。
Hypothetical reasoning is a reasoning that premise has a proposition and bases on the relation of proposition of protasis and apodosis to made a conclusion.
应用推荐