比浏览器更快的访问！
后件
后件是假言命题的后半部分。在这种命题的标准形式中，它是在“那么”之后的部分。 例子：.
实质条件
在命题演算，或在数学的逻辑演算中，实质条件、實質蘊涵(容易和語意蘊涵\vDash搞混，建議不要用蘊涵這兩字)或蕴涵算子是一种二元的真值泛函的逻辑运算符，它有着如下形式 这裡的A和B是陈述变量（可以被语言中任何有意义的可表示的句子所替代）。在这种形式的陈述中，第一项这裡的A，叫做前件；第二项这裡的B，叫做后件。 这个算子使用右箭头“→”（有时用符号“⇒”或“⊃”）来符号化，符合“如果A為真，那么B亦為真”被写为如下：.
充分必要条件
充分必要條件（sufficient and necessary condition）簡稱為充要條件。 在逻辑学中：.
條件句
條件句(conditional sentence)是指表達事實含義，或則假設情況、及其結果的一種句子。他們是所謂的、由於該句的主句(independent clause/main clause)之有效性是在某些情況下存有條件式的語式。它亦可以表示為一個從屬子句(dependent clause/subordinate clause)，也可以從上下文理解其條件的存在情況。 一個完整的條件語句(其中一個表示條件以及其結果)因而包含兩個子句(clause)：表達條件的從句，稱為條件從句(protasis)；及表示結果的主句，叫做結論句(apodosis)。.
重定向到这里：
前提。
