закон ассоциативности


закон ассоциативности
(от лат. associatio - соединение)
общее имя для ряда логических законов, позволяющих по-разному группировать высказывания, соединяемые с помощью конъюнкции ("и"), дизъюнкции ("или") и др.
Операции сложения и умножения чисел в математике ассоциативны:
(а + b)+с=а + (b + с), (а·b)·с=а·(b·с).
Ассоциативностью обладают также логическое сложение (дизъюнкция) и логическое умножение (конъюнкция). Символически соответствующие законы представляются так (р, q, r - некоторые высказывания, v - дизъюнкция, & - конъюнкция, = /є/ - эквивалентность, "если и только если"):
(pvq)vr = pv(qvr), (p&q)&r = p&(q&r).
В силу З.а. в формулах, представляющих конъюнкцию более чем двух высказываний или их дизъюнкцию, можно опускать скобки.

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

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

  • ЗАКОН АССОЦИАТИВНОСТИ — (сочетательный закон) закон, выражающий независимость суммы или произведения от замены некоторых слагаемых их суммой или некоторых сомножителей их произведением, т.е. (а + b) + с = а + (b + с) = а + b + с; (аb)с = а(bс) = abc …   Большая политехническая энциклопедия

  • ДИСТРИБУТИВНОСТИ ЗАКОН — (от лат. distributus – распределенный), р а с п р е д е л и тельный закон, – закон, выражающий дистрибутивность (распределительность) одной данной логич. или математич. операции относительно др. данной операции. Примером Д. з. может служить закон …   Философская энциклопедия

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

  • АРИФМЕТИКА — искусство вычислений, производимых с положительными действительными числами. Краткая история арифметики. С глубокой древности работа с числами подразделялась на две различные области: одна касалась непосредственно свойств чисел, другая была… …   Энциклопедия Кольера

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

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

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

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

  • АЛГЕБРА АБСТРАКТНАЯ — (общая алгебра), раздел современной математики, выросший из исследования уравнений и теории чисел. Свою теперешнюю форму абстрактная алгебра начала приобретать лишь в двадцатом веке. Занимается главным образом изучением систем, элементы которых… …   Энциклопедия Кольера

  • АССОЦИАТИВНОСТЬ — сочетательность, сочетательный зако н, свойство алгебраической операции. Для сложения и умножения чисел А. выражается тождествами Бинарная алгебраич. операция * ассоциативна (или, что то же, для * выполняется закон ассоциативности), если в данной …   Математическая энциклопедия


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

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

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.