A implicação é um tipo de relação condicional que pode ocorrer entre duas proposições e desempenha um importante papel nas inferências em geral. Esta relação é adequadamente descrita por meio da expressão