Модус ponens и модус tollens отличаются направлением рассуждения в условно-категорическом умозаключении. 13

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

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

Пример умозаключения по модусу ponens: «Если сегодня воскресенье, то в школу идти не нужно. Сегодня воскресенье. В школу идти не нужно». 1

Пример умозаключения по модусу tollens: «Если сегодня воскресенье, то в школу идти не нужно. Сегодня нужно идти в школу. Сегодня не воскресенье». 1