leválasztás

Rövid szöveges bemutatás: 
A leválasztás az egyik tulajdonsági a logikai alapú következtető rendszereknek. Azt fejezi ki ez a tulajdonság, hogyha tudjuk, hogy egy adott B állítás igaz, akkor azt nem vesszük figyelembe, hogy honnan tudjuk, hogy B állítás igaz. Tehát teljesen mindegy ebben az esetben, hogy hogyan jutott el a rendszer addig, hogy a B állítás igaz, csak az számít, hogy eljutott. Tehát a B állítást innentől kezdve bármikor figyelembe lehet venni későbbi felhasználásra, senki sem vizsgálhatja érdemben, hogy honnan szárazik a B állítás. Ez valószínűségi rendszereknél nem igaz, mert az állítás forrása meghatározza általában azt, hogy mennyire hihetünk B állítás igazságában, vagyis a bizonytalanságot.