연산자 수학과 논리

연산자, 수학에서 수행 할 연산을 나타내는 모든 기호. 예는 √x의 제곱근 (제곱근을 취함을 나타냄)과 ^d / _dx (x와의 차별화가 수행됨을 나타냄)입니다. 오퍼레이터는 한 세트의 요소를 다른 세트의 요소에 연관 시키거나 "매핑"한다는 의미에서 함수, 변환 또는 맵으로 간주 될 수 있습니다. 이형 성도 참조하십시오.

공식적인 논리: 연산자의 상호 정의

방금 언급 된 규칙은 표 3에 나열된 최초의 De Morgan 법률이