否命题
在逻辑学中，否命题（）是通过对一个命题的直接推理得出的条件句。如果一个命题的条件和结论分别是另一个命题的条件的否定和结论的否定，那么称这两个命题互为否命题。 给予初始实质条件命题“若P，则Q”：P \to Q，其否命题为“若非P，则非Q”\neg P \to \neg Q。 原命题的否命题的否命题，还是原命题。 辨析：否命题与命题的否定 否命题 只有“若P，则Q”形式的蕴含式，才具有对应的否命题。 否命题不存在的例子 存在合取命题：\e…
标签：#逻辑学小作品
共 5 篇文章
逆否命题
逆否命题（）是邏輯和数学的一種結構變換推理，一般用於在逻辑等价的前提下改變條件命題的結構。逆否命题也用于对位证明法（）。逆否定将前件与后件否定和互逆。 给予初始实质条件命题“若P，则Q”：P \to Q，其逆否命题为“若非Q，则非P”\neg Q \to \neg P。 若 P，则 Q。—— 若非 Q，则非 P。 例如：“若现在在下雨，则我穿雨衣。” —— “若我不穿雨衣，则现在不下雨。” 原命题P \to Q的情况下，逆否命题可以与以…
非单调逻辑
非单调逻辑（）是（在前提的集合和单一的句子之间的）推论关系不是单调递增的形式逻辑。 与单调推理（经典逻辑）相对，非单调推理是指知识库加入新知识后，原有的推论会被推翻的逻辑。也就是说，知识库的推论不随着知识增长而增长，即非单调递增。这时，必须使用某种正确的维持机制，确保推理继续进行。因此，非单调推理多是在知识不完全的情况下发生的。 多数形式逻辑都有单调性的推论关系，就是说，如果一个句子可以从前提的集合中推理出来，则它也可以从把这个前提集合…
逆命题
在逻辑学中，逆命题（）是一个命题的条件与结论分别是另一个命题的结论与条件时，这两个命题互逆，也就是说其中任一个命题是另一个命题的逆命题。 两个互为逆命题的命题。在命题的四种形式中，原命题与逆命题，否命题与逆否命题是两对互逆命题。比如说有“假如事件A为真，则事件B也为真”，那么它的逆命题就是“假如事件B为真，则事件A也为真”。因为这类命题的真值与原命题的真值无关，因此无法通过原命题的真假性来判断逆命题的真假性。 给予初始实质条件命题“若P…
假前提
假前提（或错误前提）是构成论证或三段论基础的不正确命题。一个逻辑论证由于其前提的不正确性，有可能得出错误的结论。即便得出的结论是错误的，论证本身的逻辑有效性是由于该论证的内在一致性决定的，而不是其前提的逻辑正确与否。 例如，考虑这个三段论，它包含一个假前提： : 如果满街都是湿的，那么最近下过雨。 （大前提） : 满街都是湿的。 （小前提） :* 因此，最近下过雨。 （结论） 这个论证在逻辑上是有效的，但其结论并不总是正确的。因为它的大…