feltételek törlése

Kapcsolódó fogalmak: 
konjunkció
Rövid szöveges bemutatás: 
A feladatokban, logikai leírásokban, hogyha egy konkrét leírásból egy olyan leírást akarunk létrehozni mely a példák nagyobb százalékát lefedi, akkor az állítások feltétel részéből törölnünk kell néhány kijelentést, ha az állítás konjunktív alakban volt megfogalmazva. Tehát azt kell megérteni, hogyha van egy szabályunk (konjunktív formában, például A(x) és B(x)), akkor ez a problémák azon eseteit fedi le, ahol A és B is igaz. De ha nekünk egy absztraktabb leírásra van szükségünk, akkor törölhetünk ebből az állításból, így jöhet létre például A(x), vagy esetleg B(x), attól függ mit töröltünk. Könnyen belátható, hogy így több feladatra áll fenn az állítás.