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

(от лат. idempotens - сохраняющий ту же степень) - логический закон, позволяющий исключить повторение одного и того же высказывания. Его формулировка: повторение высказывания через «и» и «или» равносильно само­му высказыванию. Напр., «Марс - планета и Марс - планета» есть то же самое, что «Марс - планета»; «Солнце — звезда или Солнце — звезда» то же самое, что «Солнце — звезда». С применением символики логической (р — некоторое высказы-   вание; & - конъюнкция, «и»; v - дизъюнкция, «или»; = () - экви­валентность, «если и только если») закон записывается так: (р&р) = (pvp) = р, р и р, если и только если р, и р или р, если и только если р. Закон позволяет исключить из логики коэффициенты и показатели сте­пеней. В алгебре а