lokalitás

Kapcsolódó fogalmak: 
implikáció
Rövid szöveges bemutatás: 
A lokalitás egy kikövetkeztetési folyamat. Akkor következik egy A mondatból egy B mondat logikailag, ha minden olyan esetben amikor A igaz, igaz B is. Tehát ez egy ok-okozat összefüggést vizsgál. Nem zárja ki azt az esetet, hogy B igaz lehet, de nem azért mert A is igaz. Ez az implikáció egy szűkített esete. A lokalitás esetében az A állítás a B állítás bizonyítékaként szolgál. Jele: A ⇒ B.