Alapfeltétele

Alapfeltétele vagy alapfeltétel olyan kiindulási vagy szükségszerű körülmény, amelynek megléte nélkül egy állítás, terv vagy tevékenység értelmezése vagy végrehajtása nem lehetséges vagy nem megbízható. A kifejezés az alap és a feltétel szavak összekapcsolásával jön létre; szoros kapcsolatban áll a kontextusbeli követelményekkel és az elfoglalt feltételezésekkel.

Elterjedt használata van a logikában, a matematikában, a jogban és a gyakorlati tervezésben. Matematikai vagy tudományos állítások esetén az alapfeltételek adják meg azt a keretrendszert, amelyben a következtetés érvényes lehet. Jogban és szerződésekben az alapfeltételek azok a körülmények, amelyek nélkül a megállapodás nem lép hatályba vagy érvényes. Programozásban gyakran beszélnek előfeltételekről (preconditions), amelyeket egy függvény vagy művelet megkezdése előtt teljesíteni kell. Az alapfeltétel tehát lehet általánosabb, mint egy konkrét előfeltétel, és gyakran a rendszer vagy projekt alapját képezi.

Különbségként megemlíthető, hogy az alapfeltétel általában a kezdeti, alapvető körülményt jelenti, amely nélkül a további állítások már nem értelmezhetők vagy megbízhatatlanok. Ugyanakkor a részletezett feltételek vagy előfeltételek pontosabban meghatározzák a konkrét végrehajtás vagy bizonyítás feltételeit.

Példák: egy projekt megkezdésének alapfeltételei lehetnek a jóváhagyott költségvetés és az időterv rendelkezésre állása; egy kísérlet értelmezéséhez szükséges alapfeltétel a mérőeszköz kalibráltsága; egy jogi megállapodásban pedig a finanszírozás biztosított volta.