∀

∀ (전칭 기호, 보편 양화사, Universal Quantifier)

∀는 수리 논리학에서 사용되는 논리 기호로, "모든 것에 대하여(for all)", "각각의(for every)", "임의의(for any)"를 의미한다. 이 기호는 주어진 논의 영역(domain of discourse) 안의 모든 원소에 대해 특정 명제(술어)가 참임을 표현하는 데 사용된다.

기원 및 역사

∀ 기호는 대문자 A를 상하로 뒤집은(turned A) 형태로 디자인되었다. 이는 존재 양화사(∃, turned E)와의 대칭성에서 비롯되었다. 독일의 수학자이자 논리학자인 게르하르트 겐첸(Gerhard Gentzen, 1909–1945)이 1935년 논문 《Untersuchungen über das logische Schließen》(논리적 추론에 관한 연구)에서 처음으로 이 기호를 사용하였다. 겐첸은 주세페 페아노(Giuseppe Peano)가 존재 양화사로 사용한 ∃ 기호에 착안하여 ∀를 도입하였으며, 이후 버트런드 러셀(Bertrand Russell) 등이 이 표기법을 채택하면서 널리 확산되었다.

의미와 용법

∀는 1차 논리(first-order logic)에서 전칭 양화(universal quantification)를 나타내는 핵심 기호이다. 예를 들어, "∀x P(x)"는 "모든 x에 대하여 P(x)가 성립한다"는 의미이다. 구체적인 예로 "∀n ∈ ℕ: n² ≥ n"은 "모든 자연수 n에 대하여 n의 제곱은 n보다 크거나 같다"로 읽을 수 있다.

전칭 기호 ∀는 존재 양화사 ∃("존재한다", there exists)와 대비된다. ∃가 "적어도 하나의 원소에 대해 성립함"을 나타내는 반면, ∀는 "모든 원소에 대해 성립함"을 나타낸다. 단 하나의 반례(counterexample)만 있어도 ∀로 표현된 명제 전체는 거짓이 된다.

표기 및 인코딩

• 유니코드(Unicode): U+2200 (∀)
• HTML: ∀ 또는 ∀
• LaTeX: \forall
• 읽는 방법: "for all", "for any", "for each", "given any", "모든", "임의의"

사용 분야

∀는 수리 논리학, 수학(특히 집합론, 해석학, 대수학), 전산학(형식 언어, 알고리즘 분석), 철학(논리학), 언어학(형식 의미론) 등 다양한 학문 분야에서 폭넓게 사용된다.