Чем отличается модус ponens от модуса tollens в условно-категорическом умозаключении?

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

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

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

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

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