En lenguas naturales, un condicional indicativo[1][2] es la operación lógica dada por enunciados de la forma "Si A entonces B".
La literatura filosófica en esta operación es extensa, y el consenso no ha sido logrado.
El material condicional no siempre está de acuerdo con el razonamiento si-entonces.
Por tanto, existen inconvenientes con utilizar el material condicional para representar enunciados de la forma si-entonces.
Un problema es que el material condicional deja implicaciones para ser ciertas incluso cuándo el antecedente es irrelevante al consiguiente.