В чем отличие между утверждающим и отрицающим модусом в логическом умозаключении?

Отличие утверждающего и отрицающего модуса в логическом умозаключении заключается в направлении рассуждения. www.ineu.ru infourok.ru

Утверждающий модус (modus ponens) характеризуется направленностью от утверждения истинности основания к утверждению истинности следствия. www.procuror.spb.ru Например: «Если идёт дождь (р), то на асфальте должны быть лужи (q). Сейчас идёт дождь (р). Значит, на асфальте должны быть лужи (q)». infourok.ru

Отрицающий модус (modus tollens) строится от отрицания следствия к отрицанию основания. www.ineu.ru sdo.ivanovo.ac.ru Например: «Если идёт дождь (р), то на асфальте должны быть лужи (q). На асфальте луж нет (┐q). Следовательно, сейчас дождь не идёт (┐р)». infourok.ru

Утверждающий и отрицающий модусы являются правильными модусами условно-категорического умозаключения и дают достоверные выводы. www.ineu.ru Отрицающий модус, в отличие от утверждающего, даёт лишь правдоподобные выводы. infourok.ru