La implicación relaciona una causa con un efecto, y en la lógica proposicional se puede escribir formalmente como:formula_1que indica que siendo formula_2 una causa, formula_3 es el efecto "esperado" de esa causa.