수학용 왼쪽 흰 대괄호

특수한 괄호 쌍을 여는 기호이며, 의미는 표기법에 따라 달라집니다. 이중 괄호의 뜻은 분야에 따라 다릅니다. 형식 의미론에서 ⟦M⟧는 M의 지시 대상, 즉 언어 표현이나 프로그램에 배정된 수학적 대상 또는 진리값을 나타냅니다.

1960년대에 데이나 스콧은 식이 길어지자 식의 진리값을 나타내는 표기를 이중 세로선에서 괄호로 바꾸었습니다. 1967년 그의 연구는 지시 대상을 나타내는 괄호의 초기 인쇄 사례입니다. 이런 역사 때문에 의미론 표기에는 스콧의 이름이 붙었습니다.

같은 괄호 쌍이 가방도 나타내는 이유는?

Z 표기법에서는 다중집합을 둘러쌉니다.

⟦B⟧는 가방, 즉 같은 항목이 여러 번 들어갈 수 있고 그 횟수도 중요한 모음을 나타낼 수 있습니다. 이는 별도의 표기 관례입니다. 괄호만 보고 판단하지 말고 주변의 Z 명세를 함께 살펴보세요.