논리 기호

논리학에서는 논리적인 표현(logical representation)을 표시하기 위한 다양한 기호를 사용하고 있다. 물론 논리학을 공부한 사람들에게는 이러한 기호들이 익숙하기 때문에, 기호를 사용할 때마다 그 기호의 의미를 설명하지 않고 사용하곤 한다. 그래서 논리학을 공부하고자 하는 사람들을 위해서 논리 기호들, 기호 이름, 읽는 방법, 수학과 관련된 예 등을 아래와 같은 표로 만들었다. 참고로 세 번째 열은 비형식적 정의를 설명하고 있으며, 네 번째 열은 짧은 예를, 다섯 번째 열은 유니코드에서 위치 값을, 여섯 번째 열은 HTML에서 사용되는 이름을 제시하였다. 마지막 열은 LaTeX 기호를 나타내고 있다.
참고로  논리학 영역 밖에서는, 문맥에 따라서 다른 기호들이 같은 의미를 갖기도 하고, 같은 기호가 다른 의미를 갖기도 한다는 것에 유의하자.
| 기호> 기호.기호 | 이름> 읽는 법.분류 | 설명> 설명.설명 | 예시> 예시.예시 | 유니코드> 유니코드.유니코드 | HTML> HTML.HTML | LaTeX> LaTeX.LaTeX |
| --- | --- | --- | --- | --- | --- | --- |
| ⇒  → ⊃  Ɔ  | 실질 함축 (material implication) | 만약 A 이면  B이다. | x = 2  ⇒  x2 = 4 is true, but x2 = 4   ⇒  x = 2 is in general false (since x could be −2). | U+21D2  U+2192  U+2282 | &rArr;  &rarr;  &sup; |  \Rightarrow \Rightarrow  \to \to ⊃\supset  \implies \implies |
| ⇒  → ⊃  Ɔ  | implies, if A then B | 만약 A 이면  B이다. | x = 2  ⇒  x2 = 4 is true, but x2 = 4   ⇒  x = 2 is in general false (since x could be −2). | U+21D2  U+2192  U+2282 | &rArr;  &rarr;  &sup; |  \Rightarrow \Rightarrow  \to \to ⊃\supset  \implies \implies |
| ⇒  → ⊃  Ɔ  | 명제 논리, 헤이팅 대수 | 만약 A 이면  B이다. | x = 2  ⇒  x2 = 4 is true, but x2 = 4   ⇒  x = 2 is in general false (since x could be −2). | U+21D2  U+2192  U+2282 | &rArr;  &rarr;  &sup; |  \Rightarrow \Rightarrow  \to \to ⊃\supset  \implies \implies |
| ⇔  ≡  ↔ | 동치 |  A\iff B는  A와  B가 모두 참이거나 모두 거짓일 때 성립한다. | x + 5 = y + 2  ⇔  x + 3 = y | U+21D4  U+2261  U+2194 | &hArr;  &equiv;  &harr; |   \Leftrightarrow \Leftrightarrow  \equiv \equiv  \leftrightarrow \leftrightarrow  \iff \iff |
| ⇔  ≡  ↔ | if and only if, iff , means the same as |  A\iff B는  A와  B가 모두 참이거나 모두 거짓일 때 성립한다. | x + 5 = y + 2  ⇔  x + 3 = y | U+21D4  U+2261  U+2194 | &hArr;  &equiv;  &harr; |   \Leftrightarrow \Leftrightarrow  \equiv \equiv  \leftrightarrow \leftrightarrow  \iff \iff |
| ⇔  ≡  ↔ | 명제 논리 |  A\iff B는  A와  B가 모두 참이거나 모두 거짓일 때 성립한다. | x + 5 = y + 2  ⇔  x + 3 = y | U+21D4  U+2261  U+2194 | &hArr;  &equiv;  &harr; |   \Leftrightarrow \Leftrightarrow  \equiv \equiv  \leftrightarrow \leftrightarrow  \iff \iff |
| ¬  ˜  ! | 부정 |  | ¬(¬A) ⇔ A   x ≠ y  ⇔  ¬(x = y) | U+00AC  U+02DC | &not;  &tilde; ~ |  \neg \lnot or \neg  \sim \sim |
| ¬  ˜  ! | not |  | ¬(¬A) ⇔ A   x ≠ y  ⇔  ¬(x = y) | U+00AC  U+02DC | &not;  &tilde; ~ |  \neg \lnot or \neg  \sim \sim |
| ¬  ˜  ! | 명제 논리 |  | ¬(¬A) ⇔ A   x ≠ y  ⇔  ¬(x = y) | U+00AC  U+02DC | &not;  &tilde; ~ |  \neg \lnot or \neg  \sim \sim |
| ∧   •  & | 논리곱 | The statement A ∧ B is true if A and B are both true; else it is false. | n < 4  ∧  n >2  ⇔  n = 3 when n is a natural number. | U+2227  U+0026 | &and;  &amp; |  \wedge \wedge or \land \& |
| ∧   •  & | and | The statement A ∧ B is true if A and B are both true; else it is false. | n < 4  ∧  n >2  ⇔  n = 3 when n is a natural number. | U+2227  U+0026 | &and;  &amp; |  \wedge \wedge or \land \& |
| ∧   •  & | 명제 논리, 불 논리 | The statement A ∧ B is true if A and B are both true; else it is false. | n < 4  ∧  n >2  ⇔  n = 3 when n is a natural number. | U+2227  U+0026 | &and;  &amp; |  \wedge \wedge or \land \& |
| ∨  +  ǀǀ | 논리합 |  | n ≥ 4  ∨  n ≤ 2  ⇔ n ≠ 3 when n is a natural number. | U+2228 | &or; |  \lor \lor or \vee |
| ∨  +  ǀǀ | or |  | n ≥ 4  ∨  n ≤ 2  ⇔ n ≠ 3 when n is a natural number. | U+2228 | &or; |  \lor \lor or \vee |
| ∨  +  ǀǀ | 명제 논리, 불 논리 |  | n ≥ 4  ∨  n ≤ 2  ⇔ n ≠ 3 when n is a natural number. | U+2228 | &or; |  \lor \lor or \vee |
|  ⊕  ⊻ | 배타적 논리합 | 언령 A ⊕ B는 A 또는 B가 참이되 A와 B가 동시에 참은 아닐 때 참이다. A ⊻ B도 같은 뜻이다. | (¬A)  ⊕ A는 언제나 참이고, A ⊕ A는 언제나 거짓이다. | U+2295  U+22BB | &oplus; |  \oplus \oplus  \veebar \veebar |
|  ⊕  ⊻ | xor | 언령 A ⊕ B는 A 또는 B가 참이되 A와 B가 동시에 참은 아닐 때 참이다. A ⊻ B도 같은 뜻이다. | (¬A)  ⊕ A는 언제나 참이고, A ⊕ A는 언제나 거짓이다. | U+2295  U+22BB | &oplus; |  \oplus \oplus  \veebar \veebar |
|  ⊕  ⊻ | 명제 논리, 불 논리 | 언령 A ⊕ B는 A 또는 B가 참이되 A와 B가 동시에 참은 아닐 때 참이다. A ⊻ B도 같은 뜻이다. | (¬A)  ⊕ A는 언제나 참이고, A ⊕ A는 언제나 거짓이다. | U+2295  U+22BB | &oplus; |  \oplus \oplus  \veebar \veebar |
|  ⊤  T  1 | 항진 | 언령 ⊤는 언제나 참이다. | A ⇒ ⊤는 언제나 참이다. | U+22A4 | T |  \top \top |
|  ⊤  T  1 | top, verum | 언령 ⊤는 언제나 참이다. | A ⇒ ⊤는 언제나 참이다. | U+22A4 | T |  \top \top |
|  ⊤  T  1 | 명제 논리, 불 논리 | 언령 ⊤는 언제나 참이다. | A ⇒ ⊤는 언제나 참이다. | U+22A4 | T |  \top \top |
|  ⊥  F  0 | 모순 | 언령 ⊥는 언제나 거짓이다. | ⊥ ⇒ A는 언제나 참이다. | U+22A5 | &perp; F |  \bot \bot |
|  ⊥  F  0 | bottom, falsum | 언령 ⊥는 언제나 거짓이다. | ⊥ ⇒ A는 언제나 참이다. | U+22A5 | &perp; F |  \bot \bot |
|  ⊥  F  0 | 명제 논리, 불 논리 | 언령 ⊥는 언제나 거짓이다. | ⊥ ⇒ A는 언제나 참이다. | U+22A5 | &perp; F |  \bot \bot |
| ∀  () | 전칭 |  | ∀ n ∈ ℕ: n2 ≥ n. | U+2200 | &forall; |  \forall \forall |
| ∀  () | for all; for any; for each |  | ∀ n ∈ ℕ: n2 ≥ n. | U+2200 | &forall; |  \forall \forall |
| ∀  () | 1차 논리 |  | ∀ n ∈ ℕ: n2 ≥ n. | U+2200 | &forall; |  \forall \forall |
| ∃ | 존재 |  | ∃ n ∈ ℕ: n is even. | U+2203 | &exist; |  \exists \exists |
| ∃ | there exists |  | ∃ n ∈ ℕ: n is even. | U+2203 | &exist; |  \exists \exists |
| ∃ | 1차 논리 |  | ∃ n ∈ ℕ: n is even. | U+2203 | &exist; |  \exists \exists |
| ∃! | 유일 |  | ∃! n ∈ ℕ: n + 5 = 2n. | U+2203 U+0021 | &exist; ! |  \exists !\exists ! |
| ∃! | there exists exactly one |  | ∃! n ∈ ℕ: n + 5 = 2n. | U+2203 U+0021 | &exist; ! |  \exists !\exists ! |
| ∃! | 1차 논리 |  | ∃! n ∈ ℕ: n + 5 = 2n. | U+2203 U+0021 | &exist; ! |  \exists !\exists ! |
| :=  ≡  :⇔ | 정의 |  |  | U+2254 (U+003A U+003D)  U+2261  U+003A U+229C | := :  &equiv;  &hArr; |  :=:=  \equiv \equiv  \Leftrightarrow \Leftrightarrow |
| :=  ≡  :⇔ | is defined as |  |  | U+2254 (U+003A U+003D)  U+2261  U+003A U+229C | := :  &equiv;  &hArr; |  :=:=  \equiv \equiv  \Leftrightarrow \Leftrightarrow |
| :=  ≡  :⇔ | 모든 수학 분야 |  |  | U+2254 (U+003A U+003D)  U+2261  U+003A U+229C | := :  &equiv;  &hArr; |  :=:=  \equiv \equiv  \Leftrightarrow \Leftrightarrow |
| ( ) | 우선집단 | 괄호 안의 연산을 먼저 수행한다. | (8 ÷ 4) ÷ 2 = 2 ÷ 2 = 1,   8 ÷ (4 ÷ 2) = 8 ÷ 2 = 4. | U+0028 U+0029 | ( ) |  (~) ( ) |
| ( ) | parentheses, brackets | 괄호 안의 연산을 먼저 수행한다. | (8 ÷ 4) ÷ 2 = 2 ÷ 2 = 1,   8 ÷ (4 ÷ 2) = 8 ÷ 2 = 4. | U+0028 U+0029 | ( ) |  (~) ( ) |
| ( ) | 모든 수학 분야 | 괄호 안의 연산을 먼저 수행한다. | (8 ÷ 4) ÷ 2 = 2 ÷ 2 = 1,   8 ÷ (4 ÷ 2) = 8 ÷ 2 = 4. | U+0028 U+0029 | ( ) |  (~) ( ) |
| ⊢ | 턴스틸 | x ⊢ y는 y가 x에서 증명가능하다는 뜻이다. | A → B ⊢ ¬B → ¬A | U+22A2 | &#8866; |  \vdash \vdash |
| ⊢ | provable | x ⊢ y는 y가 x에서 증명가능하다는 뜻이다. | A → B ⊢ ¬B → ¬A | U+22A2 | &#8866; |  \vdash \vdash |
| ⊢ | 명제 논리, 1차 논리 | x ⊢ y는 y가 x에서 증명가능하다는 뜻이다. | A → B ⊢ ¬B → ¬A | U+22A2 | &#8866; |  \vdash \vdash |
| ⊨ | 이중 턴스틸 | x ⊨ y는 x가 의미론적으로 y를 수반한다는 뜻이다. | A → B ⊨ ¬B → ¬A | U+22A8 | &#8872; |  \models \models |
| ⊨ | entails | x ⊨ y는 x가 의미론적으로 y를 수반한다는 뜻이다. | A → B ⊨ ¬B → ¬A | U+22A8 | &#8872; |  \models \models |
| ⊨ | 명제 논리, 1차 논리 | x ⊨ y는 x가 의미론적으로 y를 수반한다는 뜻이다. | A → B ⊨ ¬B → ¬A | U+22A8 | &#8872; |  \models \models |