Factoring Inference Rule (Propositional Resolution)

propositional-logic

Definition

Factoring Inference Rule (Propositional Resolution)

$${\frac{C\vee F\vee F}{C\vee F}}_{(\text{factoring})}$$

where $C\vee F$ is called factor.