előfeltétel axióma

Kapcsolódó fogalmak: 
tervkészités
Rövid szöveges bemutatás: 
Az előfeltétel axiómákat akkor alkalmazzuk, amikor a tervkészítésben egy cselekvés végrehajtásának vannak bizonyos kritériuma. A cselekvés csak akkor hajtható végre, hogyha az előfeltételei is teljesülnek. A tipikus példája ennek, hogy ha el akarunk jutni A pontból B pontba, akkor ehhez először teljesülnie kell, hogy A pontban tartózkodjunk. Itt az A pontban való tartózkodás jelenti az előfeltétel axiómát, melynek ha értéke hamis akkor a hozzá rendelt cselekvést nem lehet végrehajtani.