條件句
條件句()是指表達事實含義，或則假設情況、及其結果的一種句子。他們是所謂的、由於該句的主句(independent clause/main clause)之有效性是在某些情況下存有條件式的語式。它亦可以表示為一個從屬子句(dependent clause/subordinate clause)，也可以從上下文理解其條件的存在情況。 一個完整的條件語句(其中一個表示條件以及其結果)因而包含兩個子句(clause)：表達條件的從句，稱為條件…
标签：#條件式
共 4 篇文章
直陈条件
直陈条件是对普通英语（或类似的自然语言）中形如“如果A那么B”的陈述给出的逻辑运算。不像实质条件，直陈条件没有规定的定义。关于这种运算的哲学文献是广泛的，但没有达成明确的一致意见。 在实质条件和直陈条件之间的差别 实质条件不能总是按同日常的“如果-那么”推理一致的方式来运作。所以使用实质条件来表达“如果-那么”陈述是有缺陷的。 一个问题是实质条件允许蕴涵为真，即使是在前件和后件之间没有逻辑联系的时候。例如，一边是天空是蓝色的，另一边是3…
后件
后件是假言命题的后半部分。在这种命题的标准形式中，它是在“那么”之后的部分。 例子： 如果P，那么Q。 Q是这个假言命题的后件。 如果X是哺乳动物，那么X是动物。 这里的X是动物是后件。 如果计算机可以思考，那么它们是活的。 它们是活的是后件。 请注意在假言命题中的后件不必须是前件的结论。 如果猴子是橘子，那么鱼说星际语。 鱼说星际语是这里的后件，但是很明显的它不是（或者没有任何关系）在前件中断言的猴子是橘子的结论。 参见 前件 实质条…
前件
前件（antecedent），亦稱前提，是假言命题的前半部分。 例子： 如果P，那么Q。 这是假言命题的标准逻辑公式。在这种情况下，前件是P。 如X是人，则X是必死的。 X是人是这个命题的前件。 如果人类已经在月亮上行走，那么我是法国国王。 这里的人类已经在月亮上行走是前件。 註釋 参见 后件 实质条件 充分条件