Modus tollens, (lat. 'den måde, som hæver'), inden for logik slutningsskemaet "hvis p, så q; men ikke q; altså ikke p" , hvor man ved at "hæve", dvs. benægte, konsekvens (q) benægter antecedens (p).