Ключевые различия между утверждающим и отрицающим модусами условно-категорического умозаключения:

1. В утверждающем модусе (modus ponens) посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия. 23 Рассуждение направлено от утверждения истинности основания к утверждению истинности следствия. 2
2. В отрицающем модусе (modus tollens) посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания. 23 Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания. 2

Таким образом, в утверждающем модусе утверждается истинность следствия, а в отрицающем — истинность основания. 12