El enunciado

Si 3 es impar entonces 4 es par

es una proposición compuesta porque resulta de unir las proposiciones simples “3 es impar” y “4 es par” mediante el conectivo “si … entonces …”. Se dice entonces que la proposición compuesta “Si 3 es impar entonces 4 es par” es una implicación. La proposición que va a continuación de “si” (en este caso “3 es impar”) se llama el antecedente de la implicación. La proposición que va a continuación de “entonces” (en este caso “4 es par”) se llama el consecuente de la implicación. Las implicaciones se llaman también condicionales.