蕴涵符号：~A∪B替换A—＞B的依据"/>
消解原理中消去蕴涵符号：~A∪B替换A—＞B的依据
消解原理中消去蕴涵符号：~A∪B替换A—>B的依据
消解是一种可用于一定的子句公式的重要推理规则，子句是由文字的析取组成的公式（一个原子公式和原子公式的否定都叫做文字）。在子句集求解过程中，第一步就是消去蕴含符号，用~A∪B替换A—>B，为什么可以这样呢？其实，就是因为两者的真值表相同。
表1 两者的真值表
| A | B | ~ A∪B | A—>B |
|---|---|---|---|
| T | T | T | T |
| F | T | T | T |
| T | F | F | F |
| F | F | T | T |
可以看到，在A和B的所有情况组合下，~ A∪B 与A—>B的真值表相同。而对于两个合式公式，如果无论如何解释，其真值表都是相同的，那么就称此二者是等价的。因此，可以用~A∪B替换A—>B.
更多推荐
消解原理中消去蕴涵符号：~A∪B替换A—＞B的依据
发布评论