在数学中，含有三个命题的一类逻辑陈述。当两个前提为真时，结论为真。
In mathematics a logical statement that involves three propositions: the major premise minor pre-mise and conclusion. the conclusion is necessarily being true if the premises are true.
这个推理的前提和结论里都没有连接词，它们不是复合命题而是简单命题。
There are no connectives in the premises and conclusions of this reasoning. There are not complicated but simple propositions.
前提和会话含义是传统语用学范围内探讨的两个主要命题。
Presupposition and conversational implicature are two main subjects discussed in the traditional pragmatics.
应用推荐