O Modus Tollens é um recurso comumente utilizado em nossa argumentação cotidiana. Na Lógica Proposicional, se p e q indicam proposições simples, o Modus Tollens pode ser representado pela seguinte tautologia:
[(p → q) ^ (~q)] → (~p)
É um exemplo de Modus Tollens, de acordo com o modelo proposicional acima apresentado, a seguinte argumentação:
Se eu tenho sede, então eu bebo água. Por isso,