数学|推理规则

先决条件：谓词和量词集2、命题等价

数学中的每个定理，或任何与此相关的主题，都有基本证明的支持。这些证明只不过是一组论证，是理论有效性的决定性证据。
使用推理规则将参数链接在一起以得出新的陈述并最终证明定理是有效的。

重要定义：

1. 论证 - 一系列陈述， 前提，以结论结尾。
2. 有效性 - 当且仅当演绎论证采用的形式使得前提不可能为真且结论不可能为假时，演绎论证才是有效的。
3. 谬论 – 不正确的推理或错误导致无效的论证。

论证结构：
根据定义，论证是一系列称为前提的陈述，以结论结尾。

先决条件 – 结论 –

是同义反复，则该参数称为有效，否则称为无效。论证写成——

推理规则：
简单的参数可以用作构建块来构建更复杂的有效参数。某些已被确定为有效的简单参数在其使用中很重要。这些参数称为推理规则。

下表列出了最常用的推理规则——

同样，我们对于定量陈述也有推理规则——

让我们看看如何使用推理规则从给定参数得出结论或检查给定参数的有效性。

示例：证明假设
“今天下午天气不晴朗，比昨天冷”，
“只有晴天我们才会去游泳”，
“如果我们不不去游泳，那我们就去划独木舟”，以及
“如果我们乘独木舟旅行，那么我们将在日落之前回家”
结论
“我们将在日落之前回家”。
第一步是识别命题并使用命题变量表示它们。
“今天下午阳光灿烂”
“比昨天冷”
“我们去游泳吧”
“我们要去划独木舟之旅”
“我们会在日落前回家”
假设是——
{ img_12:aHR0cHM6Ly9tYW5nb2RvYy5vc3MtY24tYmVpamluZy5hbGl5dW5jcy5jb20vZ2VlazhnZWVrcy9NYXRoZW1hdGljc18lN0NfUnVsZXNfb2ZfSW5mZXJlbmNlXzExLmpwZw==/} , ，{img_ 14:aHR0chHM6Ly9tYW5nb2RvYy5vc3MtY24tYmVpamluZy5hbGl5dW5jcy5jb20vZ2VlazhnZWVrcy9NYXRoZW1hdGljc18lN0NfUnVsZXNfb2ZfSW5mZXJlbmNlXzEzLmpwZw==/} ,和 .
结论是——
{img_16 :aHR0chHM6Ly9tYW5nb2RvYy5vc3MtY24tYmVpamluZy5hbGl5dW5jcy5jb20vZ2VlazhnZWVrcy9NYXRoZW1hdGljc18 lN0NfUnVsZXNfb2ZfSW5mZXJlbmNlXzE1LmpwZw== /}
为了得出结论，我们必须使用推理规则使用给定的假设构建证明。

分析原理：
要理解解析原理，首先我们需要知道一定的定义。

1. 文字 – 变量或变量的否定。例如 -
2. Sum – 文字的分离。例如 -
3. 产品 – 字面意思。例如 -
4. 子句 – 文字的分离，即它是一个和。
5. 解决 – 对于任意两个子句 和 ，如果有文字 中这是直译补充金额在，然后删除两者并通过析取连接剩余子句以生成另一个子句 。 称为解

例如

这里， 和 互为补充。删除它们并用析取连接剩余的子句，得到 -

我们可以跳过删除部分，只需添加该子句即可获得相同的解决方案。

这也是称为解析的推理规则。

定理——If 是解决方案 和 ，然后是 也是逻辑 Result 和 .

分解原理——给定一个集合项，（分辨率）扣除 来自 是有限序列 子句使得每个 是一个子句 或上一条的解决方案 和 {img_50:aHR0cHM6Ly9tYW5nb2RvYy5vc3MtY24t 我们可以使用分析原理来检查论证的有效性或从中推断出结论。其他推理规则具有相同的目的，但解析是唯一的。它自己做。您不需要其他推理规则即可从给定的论证中推断出结论。

为此，我们首先需要将所有前提转换为从句形式。下一步是逐步对它们应用分析推理规则，直到无法进一步应用为止。

例如，假设我们有以下前提——

第一步是将它们转换成从句形式 -

从决议和 , ，来自分辨率 和 来自分辨率 , 因此，结论为 .