En lógica proposicional, el condicional material es una función de verdad binaria, que se vuelve "falso" cuando B es falsa siendo A verdadera, y se vuelve "verdadero" en cualquier otro caso.