Condicional material

El condicional material, también conocido como implicación material, condicional funcional de verdad o simplemente condicional, es una constante lógica que conecta dos proposiciones. El condicional material intenta ser la versión formal del condicional en el lenguaje natural, el cual se expresa por medio de palabras como las siguientes:

• Si llueve, entonces voy al cine.
• Voy al cine si llueve.
• Cuando llueve, voy al cine.