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.