8.7 괄호의 사용과 결합 우선순위
1. 절의 학술적 목표
본 절은 명제 논리의 형식 언어에서 괄호(parenthesis)의 사용과 결합 우선순위(precedence of connectives)에 관한 규약을 학술적으로 검토하는 것을 목표로 한다. 괄호는 복합 공식의 구조를 명확히 하는 기본 수단이며, 결합 우선순위는 괄호의 생략을 체계화하는 규약이다. 본 절은 두 요소의 형식적 역할과 학술적 의의를 정리한다.
2. 괄호의 구문론적 역할
괄호는 복합 공식의 구조를 명시적으로 표현하는 구분 기호이다. 적형식의 귀납적 정의에 따르면, A와 B가 적형식일 때 (A ∧ B), (A ∨ B), (A → B), (A ↔ B)는 각각 괄호로 묶인 적형식이다. 괄호는 복합 공식의 구성 범위를 한정하며, 구문 분석의 모호성을 제거한다(Mendelson, 2015).
3. 괄호의 의미론적 역할
괄호는 구문론적 구조를 통하여 간접적으로 의미론적 해석에도 영향을 미친다. 예를 들어 “P ∧ Q ∨ R“는 괄호 없이는 모호하지만, “(P ∧ Q) ∨ R“와 “P ∧ (Q ∨ R)“는 서로 다른 의미를 가진다. 전자는 “P이고 Q이거나 R이다“로, 후자는 “P이고, Q이거나 R이다“로 해석되며, 두 복합 명제의 진리값은 일반적으로 다르다(Copi, Cohen, & McMahon, 2014).
4. 완전 괄호화
완전 괄호화(fully parenthesized)는 모든 이항 연결사의 적용에 괄호를 사용하는 표기 방식이다. 예를 들어 “((P ∧ Q) → R)“는 완전 괄호화된 적형식이다. 완전 괄호화는 구조의 모호성을 완전히 제거하지만, 표기가 복잡해지는 단점이 있다. 이론적 분석에서는 완전 괄호화를 전제로 하는 경우가 많다(Mendelson, 2015).
5. 괄호 생략의 필요성
완전 괄호화는 복잡한 공식에서 가독성을 떨어뜨린다. 예를 들어 “((¬P) ∧ ((Q → R) ∨ (¬S)))“와 같은 표기는 구조를 파악하기 어렵다. 따라서 실용적 분석에서는 결합 우선순위 규약을 통하여 괄호를 선택적으로 생략하는 방식이 사용된다. 괄호 생략은 가독성을 높이면서도 유일 가독성을 유지한다(Enderton, 2001).
6. 결합 우선순위의 개념
결합 우선순위는 괄호가 없을 때 연결사의 적용 순서를 결정하는 규약이다. 우선순위가 높은 연결사가 먼저 적용되며, 낮은 연결사는 나중에 적용된다. 이는 산술 연산에서 곱셈이 덧셈보다 먼저 적용되는 것과 유사한 원리이다. 결합 우선순위 규약은 괄호 생략의 기준을 체계화한다(Mendelson, 2015).
7. 명제 논리 연결사의 표준 우선순위
명제 논리의 표준 결합 우선순위는 다음과 같다. 첫째, 부정(¬)이 가장 높은 우선순위를 가진다. 둘째, 연언(∧)과 선언(∨)이 중간 우선순위를 가진다. 셋째, 조건(→)과 쌍조건(↔)이 가장 낮은 우선순위를 가진다. 이 규약에 따르면 “P ∨ Q → R“는 “(P ∨ Q) → R“로 해석되고, “¬P ∧ Q“는 “(¬P) ∧ Q“로 해석된다(Copi, Cohen, & McMahon, 2014).
8. 결합 방향
결합 방향(associativity)은 동일한 우선순위의 연결사가 반복될 때 괄호를 어떻게 배치할지에 관한 규약이다. 일반적으로 조건(→)은 오른쪽 결합(right-associative)으로 처리된다. 즉, “P → Q → R“는 “P → (Q → R)“로 해석된다. 연언과 선언은 교환 법칙과 결합 법칙이 성립하므로 결합 방향의 선택이 의미에 영향을 미치지 않는다(Enderton, 2001).
9. 괄호 생략의 제약
괄호 생략은 유일 가독성을 해치지 않는 범위에서만 허용된다. 즉, 생략된 표현이 다시 완전 괄호화 형태로 일의적으로 복원될 수 있어야 한다. 결합 우선순위와 결합 방향 규약이 명확하면 이러한 복원이 가능하다. 규약이 불명확한 경우에는 괄호를 유지하는 것이 권장된다(Mendelson, 2015).
10. 괄호 사용의 실용적 원칙
실용적으로 괄호의 사용에는 다음 원칙이 권장된다. 첫째, 가독성을 해치지 않는 범위에서 불필요한 괄호를 생략한다. 둘째, 구조가 복잡하여 모호성이 우려되는 경우에는 괄호를 추가한다. 셋째, 학술적 발표나 교재에서는 결합 우선순위 규약을 명시적으로 제시한다. 이러한 원칙은 형식적 엄밀성과 가독성의 균형을 확보한다(Copi, Cohen, & McMahon, 2014).
11. 괄호 없는 표기법
괄호를 전혀 사용하지 않는 표기법으로는 폴란드 표기법(Polish notation)이 있다. 이 표기법에서는 연결사를 피연산자 앞에 배치함으로써 괄호 없이 공식의 구조를 명확히 할 수 있다. 예를 들어 “(P ∧ Q) → R“는 폴란드 표기법으로 “CKPQR“로 표현된다. 이 표기법은 얀 우카시에비치에 의하여 개발되었으며, 일부 논리학 연구와 프로그래밍 언어에서 활용된다(Łukasiewicz, 1929).
12. 본 절의 결론적 정리
괄호는 명제 논리 복합 공식의 구조를 명확히 하는 구분 기호이며, 결합 우선순위는 괄호 생략을 체계화하는 규약이다. 표준 우선순위에 따르면 부정이 가장 높고, 연언과 선언이 중간이며, 조건과 쌍조건이 가장 낮다. 괄호 생략은 유일 가독성을 해치지 않는 범위에서 허용되며, 실용적으로 가독성과 형식적 엄밀성의 균형을 확보한다. 학습자는 괄호의 사용 규약과 결합 우선순위를 정확히 이해하고, 복합 공식을 일관되게 읽고 쓸 수 있어야 한다.
13. 출처
- Łukasiewicz, J. (1929). Elementy logiki matematycznej. Warsaw: Państwowe Wydawnictwo Naukowe.
- Enderton, H. B. (2001). A Mathematical Introduction to Logic (2nd ed.). San Diego: Academic Press.
- Copi, I. M., Cohen, C., & McMahon, K. (2014). Introduction to Logic (14th ed.). London: Routledge.
- Mendelson, E. (2015). Introduction to Mathematical Logic (6th ed.). Boca Raton: CRC Press.
14. 버전
- 문서 버전: 1.0
- 작성 기준일: 2026-04-15