2021년 10월 16일 (토) 22:28 판 편집 Choboty (토론 \| 기여) 봇 1,722,962 편집 잔글 +분류:명제 논리 정리 ← 이전 편집		2021년 11월 16일 (화) 15:18 판 편집 편집 취소 TedBot (토론 \| 기여) 봇, 업로더 2,726,566 편집 잔글 봇: 문자열 변경 ( 에 대해 → 에 대해 ) 다음 편집 →
6번째 줄: * '''S'''의 임의의 원소 x, y, z 에 대해 ::x • (y + z) = (x • y) + (x • z); : 이 성립하면 연산 • 은 연산 + 에 대해 '''좌분배법칙'''(left-distributive)이 성립한다고 한다. * '''S'''의 임의의 원소 x, y, z 에 대해 :: (y + z) • x = (y • x) + (z • x); : 이 성립하면 연산 • 은 연산 + 에 대해 '''우분배법칙'''(right-distributive)이 성립한다고 한다. * 연산 + 에 대해 좌분배법칙과 우분배법칙이 모두 성립하면 연산 • 는 연산 + 에 대해 '''분배법칙'''이 성립한다고 한다. 만약 연산 ~~• 에~~•에 대해 [[교환법칙]]이 성립하면 위의 세 조건은 모두 논리적으로 동일하다. == 분배법칙의 예 ==

분배법칙: 두 판 사이의 차이