implikace, -e ž. (z lat.) log. logický vztah mezi výroky, z nichž jeden je konsekvencí druhého