Em lógica, o acarretamento (ou implicação lógica ou consequência semântica) é uma relação entre sentenças de uma linguagem formal de tal forma que se é um conjunto de sentenças e se é uma sentença, então podemos concluir que a sentença é verdadeira desde que todas as sentenças em o sejam.