La struttura sillogistica di questo ragionamento è la seguente:
se p allora q,
q quindi p
ed è evidentemente sbagliata! L’inferenza giusta, chiamata in termini medioevali "Modus tollens", è la seguente:
se p allora q
~ q quindi ~ p
Secondo questo schema si ha la conclusione valida ~p falsificando q.