Словарь по логике

ЗАКОН КОСВЕННОГО ДОКАЗАТЕЛЬСТВА

ЗАКОН КОСВЕННОГО ДОКАЗАТЕЛЬСТВА — логический закон, позволяющий делать заключения об истинности какого-то выска­зывания на основании того, что отрицание этого высказывания влечет противоречие. Напр.: "Если из того, что 11 не является простым числом, вытекает то, что оно делится на число, отлич­ное от самого себя и единицы, и то, что оно не делится на такое число, то 11 есть простое число". С использованиемсимволики логической(p,q—некоторые выска­зывания; -> — импликация, "если, то"; & — конъюнкция, "и"; ~ — отрицание, "неверно, что") закон записывается так: (~p->q)&(~p->~q)->p, если (еслине-р,тоq)и (еслине-р,то не-q),тор.3. к. д. обычно называется также формула: (~p->q&~q)->p, если (еслине-р,тоqине-q),тор.Напр.: "Если из-того, что 10 не является четным числом, вытекает то, что оно делится и не делится на 2, то 10 — четное число".


  1. закон косвенного доказательства—логический закон позволяющий делать заключения об истинности какогото высказывания на основании того что отрицание этого высказывания влечет противоречие. Напр. Если из т...Словарь логики