|
文章目录
前提引入规则结论引入规则置换规则假言推理规则拒取式规则附加规则化简规则假言三段论规则析取三段论规则构造性二难规则合取引入规则
离散数学的命题逻辑中，关于推理理论一共有11条推理规则，但是这些规则的名称和具体内容很难记忆，因此在此对各条推理规则进行解释和总结。
本篇内容均为个人理解仅供参考，如有不当之处请联系我修改。
前提引入规则
规则内容：在证明中的任何一步，都可以引入前提。规则理解：前提是推理的条件，推理过程中所得到的中间结论都是基于前提产生的，因此当然在推理过程中的任意时刻都可以引入前提。
结论引入规则
规则内容：在证明中的任何一步，前面已经证明的结论都可以作为后续证明的前提。规则理解：这一条也相对而言较为简单，因为被证明的东西就能够被使用，这样理解起来非常通顺。
置换规则
规则内容：在证明的任何步骤上，命题公式中的任何子命题公式都可以用与之等值的公式置换。规则理解：这就相当于数学中的等价代换，理解较为容易。
假言推理规则
规则内容：A→B,A |= B。规则理解：如果事件A发生则事件B一定发生。此时事件A发生了，那么事件B自然也会发生，这种给定假定后又满足假定的规则就是假言推理规则。
拒取式规则
规则内容：A→B， ┐B |= ┐A。规则理解：如果事件A发生则事件B一定发生，此时事件B没有发生，那么就可以判断事件A也一定没有发生。可以理解成从结果上拒绝了后一事件的发生，所以原因事件也发生不了。拒取式规则实际上就是假言推理规则的逆向规则。
附加规则
规则内容：A |= A∨B。规则理解：如果事件A发生，那么一定可以得出事件A或B发生，这里的B本身无意义，只是附加在A上，因此被叫做附加规则。
化简规则
规则内容：A∧B |=A。规则理解：如果A和B同时发生，那么一定可以推理出A发生，此时就没有必要再考虑B是否发生了，相当于进行了一次化简，所以被称为化简规则。
假言三段论规则
规则内容：A→B，B→C |=A→C。规则理解：事件A发生则事件B一定发生，而事件B发生则事件C一定发生，所以可以推理出事件A发生则事件C一定发生，由于一共有三个事件，因此称为假言三段式。
析取三段论规则
规则内容：A∨B，┐B |=A。规则理解：如果A事件发生或B事件发生，但是又已知B事件没有发生，那么一定就是A事件发生。
构造性二难规则
规则内容：A→B，C→D，A∨C |=B∨D。规则理解：如果事件A发生那么事件B也发生，事件C发生则事件D发生。所以当A事件或C事件发生时，B事件或D事件也会发生。
合取引入规则
规则内容：A,B |=A∧B。规则理解：A事件发生，B事件发生，其实就等价于A事件和B事件都发生了。
|