идемпотентности закон

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

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

Игры ⚽ Нужно решить контрольную?

Смотреть что такое "идемпотентности закон" в других словарях:

  • ТАВТОЛОГИЯ — в обычном языке: повторение того, что уже было сказано. Напр.: «Стол есть стол». Т. бессодержательна и пуста, она не несет никакой информации, и от нее стремятся избавиться как от ненужного балласта, загромождающего речь и затрудняющего общение.… …   Философская энциклопедия

  • АЛГЕБРА ЛОГИКИ —         система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… …   Философская энциклопедия

  • МЫШЛЕНИЯ ЗАКОНЫ — (логические) – законы связи между суждениями и понятиями, законы формирования и развития мысли, определяющие правильные формы и методы познания действительности на ступени абстрактного мышления. Целью изучения М. з. является выяснение объективных …   Философская энциклопедия

  • Алгебра логики —         раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности), и логические операции над ними. А. л. возникла в середине 19 в. в трудах Дж. Буля (См. Буль) и развивалась… …   Большая советская энциклопедия

  • АЛГЕБРА ЛОГИКИ — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логич. значений (истинности пли ложности), и логич. операций над ними. А. л. возникла в сер. 19 в. в трудах Дж. Буля (см. [1], [2]) и развилась затем в работах Ч …   Математическая энциклопедия

  • СИЛЛОГИСТИКА — (от греч. syllogisticos рассчитываю, считаю) логическая теория дедуктивных рассуждений, в которой исследуются логические связи между категорическими атрибутивными высказываниями. С. была построена Аристотелем. К числу указанных высказываний… …   Философская энциклопедия

  • Дизъюнктивная нормальная форма — (ДНФ) в булевой логике нормальная форма, в которой булева формула имеет вид дизъюнкции конъюнкций литералов. Любая булева формула может быть приведена к ДНФ.[1] Для этого можно использовать закон двойного отрицания, закон де Моргана, закон… …   Википедия

  • Классическая логика — термин, используемый в математической логике по отношению к той или иной логической системе, для указания того, что для данной логики справедливы все законы (классического) исчисления высказываний, в том числе закон исключения третьего.… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»