Condicional material

El condicional material, també conegut com a implicació material, condicional funcional de veritat o simplement condicional, és una constant lògica que connecta dues proposicions. El condicional material intenta ser la versió formal del condicional en el llenguatge natural, el qual s'expressa per mitjà de paraules com les següents:

• Si plou, llavors vaig al cinema.
• Vaig al cinema si plou.
• Quan plou, vaig al cinema.

Simbòlicament, el condicional material se sol denotar de les següents maneres:

${\displaystyle A\to B\,}$

${\displaystyle A\supset B}$, i de vegades:

${\displaystyle A\rightarrow B\,}$

On A i B són proposicions qualssevol. Les variables A i B es coneixen respectivament com l'antecedent i el conseqüent del condicional.

A lògica proposicional, el condicional material és una funció de veritat binària, que retorna fals quan A és veritable i B és falsa, i torna veritable en qualsevol altre cas. A lògica de predicats, pot ser vist com una relació de subconjunt entre l'extensió de predicats (possiblement complexos).