Relación entre dos proposiciones consistente en que una es lógicamente deducible de la otra. Sigue el formato "si-entonces": si p entonces q. (En sentido amplio "estar implicado en" significa "estar involucrado en" o "estar cercanamente conectado a".)
Ver también:
Implicatura