El "modus ponendo tollens" establece que, si "no" es posible que dos términos sean "simultáneamente" verdaderos; y uno de ellos es verdadero; entonces se puede inferir que el otro término "no" puede ser verdadero.