La negación del antecedente es una falacia o un paralogismo formal . Se expresa a sí mismo:
Aquí hay un ejemplo interpretado:
Este razonamiento es, por supuesto, erróneo, porque el suelo se puede mojar porque se ha regado sin que llueva.