Estos problemas son conocidos como las paradojas de la implicación material, aunque no son realmente paradojas en sentido estricto; es decir, no provocan contradicciones lógicas.