数学百科

析取消去规则

2023-05-12

英文

elimination rule of disjunction

简介

推理规则的一种.如果前提p∨q和p均为真,则可得结论命题q为真.由此可得如下推理规则:

.

这个推理规则称为析取消去规则.