Словарь логики - закон ассоциативности

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