Implicações

Implicações é um termo usado para descrever as consequências, significados ou desdobramentos que decorrem de uma afirmação, ação ou situação. Em lógica formal, a implicação é uma relação entre duas proposições, geralmente denotada por p → q, lida como 'se p, então q'.

Na lógica proposicional, a implicação é uma relação truth-functional: a expressão p → q é falsa apenas quando p é verdadeira e q é falsa; em todos os demais casos, incluindo quando p é falsa, ela é verdadeira. Ela não presupõe causalidade entre p e q; pode haver correlação sem que uma coisa cause a outra. A contrapositiva ¬p → ¬q é logicamente equivalente a p → q.

No uso cotidiano, implicação designa o que se sugere, implica ou resulta de uma situação, muitas vezes sem ser explicitamente afirmado. Pode referir-se a consequências legais, morais ou práticas, ou aos significados que se inferem de uma mensagem. É comum falar na implicação de uma decisão ou na implicação de uma política pública.

Etimologicamente, implicação vem do latim implicatio, de implicare "envolver, entrelaçar". Exemplos: "A assinatura do contrato implica obrigações legais." "A ausência de recursos implica dificuldades operacionais."