진리 함수

논리학에서 **진리 함수**(truth function)Roy T. Cook (2009). A Dictionary of Philosophical Logic, p. 294: Truth Function. Edinburgh University Press.는 진릿값을 입력으로 받아 고유한 진릿값을 출력하는 함수이다. 다시 말해, 진리 함수의 입력과 출력은 모두 진릿값이다. 진리 함수는 항상 정확히 하나의 진릿값을 출력하며, 동일한 진릿값(들)을 입력하면 항상 동일한 진릿값이 출력된다. 전형적인 예는 명제 논리에서 복합 명제가 논리 연산으로 연결된 개별 명제들을 사용하여 구성되는 경우이다. 만약 복합 명제의 진릿값이 구성 명제(들)의 진릿값에 의해 전적으로 결정된다면, 복합 명제는 진리 함수라고 불리며, 사용된 모든 논리 연산은 **진리 함수적**이라고 한다.Roy T. Cook (2009). A Dictionary of Philosophical Logic, p. 295: Truth Functional. Edinburgh University Press. 고전 명제 논리는 진리 함수적 논리이다.Internet Encyclopedia of Philosophy: Propositional Logic, by Kevin C. Klement 이는 모든 명제가 참 또는 거짓 중 정확히 하나의 진릿값을 가지며, 모든 논리 연산이 진리 함수적(대응하는 진리표를 가짐)이므로 모든 복합 명제가 진리 함수이기 때문이다.Roy T. Cook (2009). A Dictionary of Philosophical Logic, p. 47: Classical Logic. Edinburgh University Press. 반면에 양상 논리는 비진리 함수적이다.
# 개요
복합 문장의 진릿값이 하위 문장의 진릿값의 함수인 경우, 논리 연산은 진리 함수적이다. 논리 연산의 집합은 각 구성원이 진리 함수적일 경우 진리 함수적이다. 예를 들어, "그리고" 연산은 진리 함수적이다. 왜냐하면 "사과는 과일이고 당근은 채소이다"와 같은 문장은 "사과는 과일이다"와 "당근은 채소이다"라는 각 하위 문장이 참일 때만 참이고, 그렇지 않으면 거짓이기 때문이다. 영어와 같은 자연어의 일부 논리 연산은 진리 함수적이 아니다. "x는 ...라고 믿는다" 형식의 논리 연산은 진리 함수적이 아닌 연산의 전형적인 예이다. 예를 들어 메리가 2000년 4월 20일에 앨 고어가 미국 대통령이었다고 잘못 믿지만, 달이 녹색 치즈로 만들어졌다고는 믿지 않는다고 가정하자. 그렇다면 다음 문장은 :"메리는 앨 고어가 2000년 4월 20일에 미국 대통령이었다고 믿는다" 는 참이지만, 다음 문장은 :"메리는 달이 녹색 치즈로 만들어졌다고 믿는다" 는 거짓이다. 두 경우 모두, 각 구성 문장(즉, "앨 고어는 2000년 4월 20일에 미국 대통령이었다"와 "달은 녹색 치즈로 만들어졌다")은 거짓이지만, "메리는 ...라고 믿는다"라는 구를 접두사로 붙여 형성된 각 복합 문장은 진릿값이 다르다. 즉, "메리는 ...라고 믿는다" 형식의 문장의 진릿값은 구성 문장의 진릿값만으로는 결정되지 않으므로, (단항) 논리 연산 (또는 단항이므로 단순히 연산자)은 비진리 함수적이다. 공식 구성에 사용되는 고전 논리 연산(예: &, →)은 진리 함수적이다. 인수로 다양한 진릿값을 사용할 때의 값은 일반적으로 진리표로 주어진다. 진리 함수적 명제 논리는 공식이 참 또는 거짓으로 해석될 수 있는 형식 체계이다.
# 이항 진리 함수 표
2가 논리에서 두 입력 P와 Q에 대한 16가지 가능한 진리 함수가 있으며, 이를 불 함수라고도 한다. 이 함수들 각각은 고전 논리에서 특정 논리 연산의 진리표에 해당하며, 인수의 하나 또는 둘 모두에 의존하지 않는 함수와 같은 몇 가지 퇴화된 경우도 포함한다. 다음 진리표에서는 간결성을 위해 참은 1, 거짓은 0으로 표시한다. {| | | |- | |image=Venn1010.svg |- | |image=Venn1100.svg |- | |image=Venn1110.svg |- | |image=Venn1000.svg |- | |image=Venn1011.svg |- | |image=Venn1101.svg |- | |image=Venn1001.svg |}
# 함수적 완전성
함수적 완전성 함수는 합성으로 표현될 수 있으므로, 진리 함수적 논리 계산은 함수적으로 완전하기 위해 위에 언급된 모든 함수에 대한 전용 기호를 가질 필요가 없다. 이는 명제 논리에서 특정 복합 명제의 논리적 동치로 표현된다. 예를 들어, 고전 논리에서 ¬P ∨ Q는 P → Q와 동치이다. 따라서 "¬"(부정)와 "∨"(논리합)가 이미 사용 중이라면 조건 연산자 "→"는 고전 기반 논리 체계에 필수적이지 않다. 명제 논리에서 표현 가능한 모든 명제를 표현할 수 있는 최소 연산자 집합을 최소 함수적 완전 집합이라고 한다. 최소 완전 집합의 연산자는 NAND만 {↑} 또는 NOR만 {↓}으로 달성된다. 아리티가 2를 초과하지 않는 최소 함수적 완전 연산자 집합은 다음과 같다.Wernick, William (1942) "Complete Sets of Logical Functions," Transactions of the American Mathematical Society 51: 117–32. In his list on the last page of the article, Wernick does not distinguish between ← and →, or between \nleftarrow and \nrightarrow. ;하나의 원소: {↑}, {↓}. ;두 개의 원소: \\{\vee, \neg\\}, \\{\wedge, \neg\\}, \\{\to, \neg\\}, \\{\gets, \neg\\}, \\{\to, \bot\\}, \\{\gets, \bot\\}, \\{\to, \nleftrightarrow\\}, \\{\gets, \nleftrightarrow\\}, \\{\to, \nrightarrow\\}, \\{\to, \nleftarrow\\}, \\{\gets, \nrightarrow\\}, \\{\gets, \nleftarrow\\}, \\{\nrightarrow, \neg\\}, \\{\nleftarrow, \neg\\}, \\{\nrightarrow, \top\\}, \\{\nleftarrow, \top\\}, \\{\nrightarrow, \leftrightarrow\\}, \\{\nleftarrow, \leftrightarrow\\}. ;세 개의 원소: \\{\lor, \leftrightarrow, \bot\\}, \\{\lor, \leftrightarrow, \nleftrightarrow\\}, \\{\lor, \nleftrightarrow, \top\\}, \\{\land, \leftrightarrow, \bot\\}, \\{\land, \leftrightarrow, \nleftrightarrow\\}, \\{\land, \nleftrightarrow, \top\\}.
# 대수적 속성
일부 진리 함수는 해당 논리 연산을 포함하는 정리로 표현될 수 있는 속성을 가지고 있다. 이항 진리 함수(또는 해당 논리 연산)가 가질 수 있는 속성 중 일부는 다음과 같다. *결합법칙: 같은 결합 연산자가 연속으로 두 개 이상 포함된 식에서, 피연산자의 순서가 바뀌지 않는 한 연산의 순서는 중요하지 않다. *교환법칙: 논리 연산의 피연산자는 식의 진릿값에 영향을 주지 않고 서로 바꿀 수 있다. *분배법칙: ·로 표시되는 논리 연산이 +로 표시되는 다른 논리 연산에 대해 분배된다는 것은 모든 피연산자 a, b, c에 대해 a · (b + c) = (a · b) + (a · c)가 성립함을 의미한다. *멱등법칙: 연산의 피연산자가 동일할 때, 해당 논리 연산은 피연산자를 결과로 반환한다. 다시 말해, 해당 연산은 진리 보존적이면서 거짓 보존적이다(아래 참조). *흡수 법칙: 한 쌍의 논리 연산자 \land, \lor는 모든 피연산자 a, b에 대해 a\land(a\lor b)=a\lor(a\land b)=a일 경우 흡수 법칙을 만족한다. 진리 함수 집합은 다음 다섯 가지 속성 각각에 대해 이를 결여하는 구성원을 적어도 하나 포함할 때에만 함수적으로 완전하다. *단조: 모든 a1, ..., an, b1, ..., bn ∈ {0,1}에 대해 a1 ≤ b1, a2 ≤ b2, ..., an ≤ bn일 때 f(a1, ..., an) ≤ f(b1, ..., bn)이다. 예를 들어, \vee, \wedge, \top, \bot. *아핀: 각 변수에 대해, 다른 모든 변수의 값이 고정되어 있을 때, 해당 변수의 값을 변경하면 연산의 진릿값이 항상 변경되거나 전혀 변경되지 않는다. 예를 들어, \neg, \leftrightarrow, \not\leftrightarrow, \top, \bot. *자기 쌍대: 연산의 진릿값 할당을 진리표에서 위에서 아래로 읽는 것이 아래에서 위로 읽은 값의 보수를 취하는 것과 같다. 즉, f(¬a1, ..., ¬an) = ¬f(a1, ..., an)이다. 예를 들어, \neg. *진리 보존: 모든 변수가 참의 진릿값으로 할당된 해석이 이러한 연산의 결과로 참의 진릿값을 산출한다. 예를 들어, \vee, \wedge, \top, \rightarrow, \leftrightarrow, \subset. (타당성 참조) *거짓 보존: 모든 변수가 거짓의 진릿값으로 할당된 해석이 이러한 연산의 결과로 거짓의 진릿값을 산출한다. 예를 들어, \vee, \wedge, \nleftrightarrow, \bot, \not\subset, \not\supset. (타당성 참조)
## 항수
구체적인 함수는 연산자로도 지칭될 수 있다. 2가 논리에는 2개의 널항 연산자(상수), 4개의 단항연산, 16개의 이항 연산자, 256개의 삼항 연산자, 그리고 2^{2^n}개의 n항 연산자가 있다. 3가 논리에는 3개의 널항 연산자(상수), 27개의 단항연산, 19683개의 이항 연산자, 7625597484987개의 삼항 연산자, 그리고 3^{3^n}개의 n항 연산자가 있다. k가 논리에는 k개의 널항 연산자, k^k개의 단항 연산자, k^{k^2}개의 이항 연산자, k^{k^3}개의 삼항 연산자, 그리고 k^{k^n}개의 n항 연산자가 있다. k가 논리의 n항 연산자는 \mathbb{Z}_k^n \to \mathbb{Z}_k 함수이다. 따라서 이러한 연산자의 수는 |\mathbb{Z}_k|^{|\mathbb{Z}_k^n|} = k^{k^n}이며, 위의 숫자들이 여기서 유도되었다. 그러나 특정 항수를 가진 일부 연산자는 실제로 일부 입력에 대해 더 낮은 항수 연산을 수행하고 나머지 입력은 무시하는 퇴화된 형태이다. 위에 언급된 256개의 삼항 불 연산자 중 \binom{3}{2}\cdot 16 - \binom{3}{1}\cdot 4 + \binom{3}{0}\cdot 2개는 포함배제의 원리를 사용하여 이항 또는 그 이하 항수 연산자의 퇴화된 형태이다. 삼항 연산자 f(x,y,z)=\lnot x는 실제로 하나의 입력에 적용되고 다른 두 입력은 무시하는 단항 연산자이다. "부정"은 단항 연산자이며, 단일 항(¬P)을 취한다. 나머지는 이항 연산자이며, 두 항을 취하여 복합 명제(P ∧ Q,wrapP ∨ Q,개행P → Q,개행P ↔ Q)를 만든다. 논리 연산자 집합 Ω는 다음과 같이 서로소 부분 집합으로 분할될 수 있다. ::: \Omega = \Omega_0 \cup \Omega_1 \cup \ldots \cup \Omega_j \cup \ldots \cup \Omega_m \,. 이 분할에서 \Omega_j는 항수 j의 연산자 기호 집합이다. 더 익숙한 명제 논리에서는 \Omega가 일반적으로 다음과 같이 분할된다. :::널항 연산자: \Omega_0 = \\{\bot, \top \\} :::단항 연산자: \Omega_1 = \\{ \lnot \\} :::이항 연산자: \Omega_2 \supset \\{ \land, \lor, \rightarrow, \leftrightarrow \\}
# 구성성 원리
진리표를 사용하는 대신, 논리 연산 기호는 의미의 구성성 원리에 의해 상세히 설명된 바와 같이, 해석 함수와 함수적으로 완전한 진리 함수 집합(Gamut 1991)을 통해 해석될 수 있다. I를 해석 함수라 하고, Φ, Ψ를 두 임의의 문장이라 하며, 진리 함수 fnand를 다음과 같이 정의하자. * fnand(T,T) = F; fnand(T,F) = fnand(F,T) = fnand(F,F) = T 그러면 편의를 위해 fnot, for, fand 등은 fnand를 통해 다음과 같이 정의된다. * fnot(x) = fnand(x,x) * for(x,y) = fnand(fnot(x), fnot(y)) * fand(x,y) = fnot(fnand}(x,y)) 또는 대안적으로 fnot, for, fand 등은 직접 다음과 같이 정의된다. * fnot(T) = F; fnot(F) = T; * for(T,T) = for(T,F) = for}(F,T) = T; for(F,F) = F * fand(T,T) = T; fand(T,F) = fand(F,T) = fand(F,F) = F 그러면 I(ΦandΨ) = I(and)(I(Φ), I(Ψ)) = fand(I(Φ), I(Ψ)) 등. 따라서 S가 논리 연산자를 나타내는 논리 기호 v1...vn과 비논리 기호 c1...cn으로 구성된 기호열인 문장이라고 하자. 그러면 I(v1)...I(vn)이 fnand(또는 다른 함수적으로 완전한 진리 함수 집합)를 통해 v1부터 vn까지를 해석하도록 제공된 경우에만 I(s)의 진릿값은 c1...cn의 진릿값, 즉 I(c1)...I(cn)에 의해 전적으로 결정된다. 다시 말해, 예상대로 S는 모든 비논리 기호의 해석 하에서만 참 또는 거짓이다.
# 정의
위에 정의된 함수들을 사용하여, 명제의 진리 함수에 대한 형식적인 정의를 내릴 수 있다.language=en PROP를 모든 명제 변수의 집합이라고 하자. : PROP = \\{p_1,p_2,\dots\\} **진리 할당**은 임의의 함수 \phi:PROP\to \\{T,F\\}로 정의한다. 진리 할당은 따라서 각 명제 변수를 특정 진릿값과 연결하는 것이다. 이는 명제의 진리표의 특정 행과 실질적으로 동일하다. 진리 할당 \phi에 대해, 그 **확장된 진리 할당** \overline\phi를 다음과 같이 정의한다. 이는 \phi를 모든 명제 형식의 집합과 동일한 정의역을 갖는 새로운 함수 \overline \phi로 확장한다. \overline\phi의 치역은 여전히 \\{T,F\\}이다. # A \in PROP이면 \overline\phi(A) = \phi(A)이다. # A와 B가 임의의 명제 형식인 경우, ## \overline\phi(\neg A) = f_{\text{not (\overline\phi(A))이다. ## \overline\phi(A\land B) = f_{\text{and (\overline\phi(A),\overline\phi(B))이다. ## \overline\phi(A\lor B) = f_{\text{or (\overline\phi(A),\overline\phi(B))이다. ## \overline\phi(A\to B) = \overline\phi(\neg A\lor B)이다. ## \overline\phi(A\leftrightarrow B) = \overline\phi((A\to B)\land (B\to A))이다. 마지막으로, 확장된 진리 할당을 정의했으므로, 이를 사용하여 명제의 진리 함수를 정의할 수 있다. 명제 A에 대한 **진리 함수** f_A는 모든 진리 할당의 집합과 동일한 정의역을 가지며, \\{T,F\\}를 치역으로 가진다. 이는 각 진리 할당 \phi에 대해 f_A(\phi) = \overline\phi(A)로 정의된다. \overline\phi(A)에 의해 주어진 값은 \phi로 식별된 행에 있는 A의 진리표의 마지막 열에 표시된 값과 동일하다.
# 컴퓨터 과학
논리 연산자는 디지털 회로에서 논리 회로로 구현된다. 거의 모든 디지털 회로(주요 예외는 DRAM)는 NAND, NOR, NOT, 그리고 전송 게이트로 구성된다. 일반적으로 2개 입력 대신 3개 이상의 입력을 가진 NAND 및 NOR 게이트는 상당히 일반적이지만, 논리적으로는 2개 입력 게이트의 캐스케이드와 동등하다. 다른 모든 연산자는 위의 2개 이상의 논리 게이트의 논리적으로 동등한 조합으로 분해하여 구현된다. "NAND만", "NOR만", "NOT과 AND"의 "논리적 동등성"은 튜링 동치와 유사하다. 모든 진리 함수가 NOR만으로 표현될 수 있다는 사실은 아폴로 가이던스 컴퓨터에 의해 입증되었다.
# 내용주
각주
# 추가 문헌
* 유제프 마리아 보헨스키 (1959), A Précis of Mathematical Logic, Otto Bird에 의해 프랑스어 및 독일어 버전 번역, Dordrecht, South Holland: D. Reidel. * 알론조 처치 (1944), Introduction to Mathematical Logic, Princeton, NJ: Princeton University Press. 진리 함수 개념의 역사에 대해서는 서론을 참조하시오. 위키데이터 속성 추적 분류:수리논리학 분류:논리적 참