Entre los métodos para probar un negativo, se encuentran la regla de inferencia lógica "modus tollendo tollens" («que es la base de la falsación en el método científico») y la reducción al absurdo.