Implicação
(do lat. im-plicare, pregar, embrulhar). Etimologicamente significa o que é contido em outro, o ser contido em outro.
a)
Diz-se que um objeto de conhecimento implica outro, se dado o primeiro, o segundo decorre necessariamente.
b)
Também quando há implicação de uma ideia em outra, se a primeira não pode ser pensada sem a segunda como nos correlativos: pai e filho, senhor e escravo, etc.
c)
Termo usado na lógica. Na fórmula a ) b, significa que a implica b.