数学百科
2023-05-12
elimination rule of disjunction
推理规则的一种.如果前提p∨q和p均为真,则可得结论命题q为真.由此可得如下推理规则:
.
这个推理规则称为析取消去规则.