Estos patrones de razonamiento se conocen como las paradojas de la implicación material, porque son argumentos válidos que sin embargo parecen poco naturales o incluso absurdos.