propositional-logic Definition Factoring Inference Rule (Propositional Resolution) where is called factor.