Non esiste, pertanto, nessun valore di verità assegnabile alle proposizioni p e q che renda la conclusione di Modus tollens falsa.
La stessa conclusione si evince immediatamente dalla tabella di verità della implicazione logica.
<div style="text-align:center;" id="mwHQ">
{| id="mwHg" border="1"
! id="mwIQ" | ''p''
! id="mwIw" | ''q''
! id="mwJQ" |<math> p \rightarrow q </math>
|- id="mwJw"
! id="mwKA" | F
! id="mwKQ" | F
! id="mwKg" | V
|- id="mwKw"
! id="mwLA" | F
! id="mwLQ" | V
! id="mwLg" | V
|- id="mwLw"
! id="mwMA" | V
! id="mwMQ" | F
! id="mwMg" | F
|- id="mwMw"
! id="mwNA" | V
! id="mwNQ" | V
! id="mwNg" | V
|}
</div>
La premessa maggiore è la implicazione logica (terza colonna). Leggendo la tabella al contrario, se si tiene vera la premessa maggiore e "p" è falsa (premessa minore), necessariamente si cade nel secondo che riporta che ''q'' è vera.
