faktorálás

Kapcsolódó fogalmak: 
rezolució következtetési szabály
Kapcsolódó könyvfejezetek: 
7.4. Az ítéletkalkulus következtetési mintái
Rövid szöveges bemutatás: 
A rezolúciós következtetési szabály végrehajtása után előfordulhat, hogy egy literált gondolkodás nélkül kétszer leírnánk. Ez ugyanúgy helyes eredményre vezetne matematikailag, de érezzük, hogy nincs sok értelme tárolni az (A és A) vagy a (B vagy B) vagy az (A -> A) szabályt, mert ezek helyett logikailag azt írjuk csak le, hogy (A), (B), (A). Ezt a kikövetkeztetést, egyszerűsítést nevezzük faktorálásnak.