inplikazio

iz. Mat. eta Log. Bi proposamenen arteko erlazio logikoa, bertan bigarren proposamena lehenengoaren ondorio logikoa delarik. A elementu batek B beste elementu bat inplikatzen duela esaten da, baldin B elementua A-ren ondorioa bada.