Ключевые различия между утверждающим и отрицающим модусами условно-категорического умозаключения:
- В утверждающем модусе (modus ponens) посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия. ineu.ru studizba.com Рассуждение направлено от утверждения истинности основания к утверждению истинности следствия. ineu.ru
- В отрицающем модусе (modus tollens) посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания. ineu.ru studizba.com Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания. ineu.ru
Таким образом, в утверждающем модусе утверждается истинность следствия, а в отрицающем — истинность основания. spravochnick.ru ineu.ru