implicação

Implicação é um termo polissêmico usado em várias áreas, incluindo lógica, linguística, direito e uso cotidiano. Em sentido geral, designa uma relação de dependência, consequência ou envolvimento entre eventos, proposições ou pessoas. Em discurso comum, fala-se nas implicações de uma decisão ou de um projeto, ou no que uma determinada ação pode implicar para diferentes atores.

Etimologicamente, a palavra vem do latim implicatio, de implicare, que significa "envolver, entrelaçar".

Na lógica, implicação é a relação entre proposições, normalmente escrita como A → B, lida como "se A, então B". Em lógica clássica, é uma relação material verdadeira sempre que A é falsa ou B é verdadeira; não implica necessariamente causalidade. A contraposição, ¬B → ¬A, é logicamente equivalente a A → B. A implicação expressa condições necessárias ou suficientes e não exige uma relação causal entre A e B.

Em linguística e semântica, implicação pode designar o conteúdo que decorre de uma afirmação, ainda que não seja explicitamente dito. O campo distingue implicação (consequência lógica) de implicatura, que é o conteúdo sugerido pelo falante e nem sempre diretamente expresso.

No direito e na prática forense, "implicação" pode referir-se à participação de alguém em um crime ou fato, por exemplo, quando uma pessoa é implicada em uma investigação ou acusação, sem que haja condenação.

Assim, a noção de implicação varia conforme o domínio, mas mantém o tema comum de ligação entre causas, consequências ou envolvimento.