이산수학 자주 사용하는 기호모음(뜻 포함)

머리 아픈 이산수학 기호 (논리, 집합, 관계, 함수, 확률)

코딩의 세계에서 떼려야 뗄 수 없는 존재, 바로 이산수학이죠. 하지만 복잡한 기호들 때문에 골머리를 앓았던 경험, 다들 한 번쯤 있으실 텐데요. (저만 그런 거 아니죠? 😅)

혹시 이런 경험 없으신가요? 알고리즘 문제를 풀다가 낯선 기호 때문에 막히거나, 논문이나 기술 문서를 읽다가 수식의 의미를 몰라서 답답했던 적... 분명 개념은 이해했는데, 기호 때문에 흐름이 끊기는 상황은 정말 곤욕스럽죠.

그래서 준비했습니다! 이산수학의 핵심 기호들을 정리했습니다. 이 글 하나로 논리, 집합, 관계, 함수, 확률까지 주요 기호를 모아봤습니다.

1. 논리: 참과 거짓

이산수학의 기본은 바로 논리입니다. 참(True)과 거짓(False)을 다루는 논리 기호들은 프로그래밍의 조건문, 회로 설계, 인공지능 등 다양한 분야에서 핵심적인 역할을 수행합니다.

기호	의미	설명	예시
$\sim p$	not $p$ (논리 부정)	$p$가 참이면 $\sim p$는 거짓, $p$가 거짓이면 $\sim p$는 참입니다.	$p$: "오늘 비가 온다"일 때, $\sim p$: "오늘 비가 오지 않는다"
$p \land q$	$p$ and $q$ (논리곱)	$p$와 $q$가 모두 참일 때만 참입니다.	$p$: "오늘은 금요일이다", $q$: "나는 피자를 좋아한다"일 때, $p \land q$: "오늘은 금요일이고, 나는 피자를 좋아한다"
$p \lor q$	$p$ or $q$ (논리합)	$p$ 또는 $q$ 중 하나 이상이 참이면 참입니다.	$p$: "나는 커피를 마셨다", $q$: "나는 차를 마셨다"일 때, $p \lor q$: "나는 커피를 마셨거나 차를 마셨다"
$p \oplus q$	$p$ exclusive or $q$ (배타적 논리합)	$p$와 $q$ 중 하나만 참일 때 참입니다.	$p$: "문이 열려있다", $q$: "창문이 열려있다"일 때, $p \oplus q$: "문 또는 창문 중 하나만 열려있다"
$p → q$	$p$이면 $q$이다 (조건)	$p$가 참이고 $q$가 거짓일 때만 거짓입니다. "만약 $p$라면, $q$이다"라는 의미로, 프로그래밍에서 조건문(if-then)과 밀접하게 관련됩니다.	$p$: "비가 온다", $q$: "땅이 젖는다"일 때, $p → q$: "비가 오면 땅이 젖는다"
$p ↔ q$	$p$이면 $q$이고 $q$이면 $p$이다 (쌍방 조건)	$p$와 $q$가 모두 참이거나 모두 거짓일 때 참입니다. $p$와 $q$는 동치라는 의미입니다.	$p$: "정삼각형이다", $q$: "세 변의 길이가 모두 같다"일 때, $p ↔ q$: "정삼각형인 것은 세 변의 길이가 모두 같은 것과 같다"
$p \equiv q$	p는 $q$와 논리적 동치이다 (논리적 동치)	$p$와 $q$의 진리값이 항상 같음을 의미합니다. 진리표를 사용하여 확인할 수 있습니다.	$(p → q) \equiv (\sim q → \sim p)$
$\forall$	for all (모든 것에 대하여)	주어진 범위 내의 모든 원소에 대해 명제가 참임을 나타냅니다.	$\forall x \in \mathbb{R}, x^2 \geq 0$ (모든 실수 x에 대해, x의 제곱은 0보다 크거나 같다)
$\exists$	there exists (존재한다)	주어진 범위를 만족하는 원소가 적어도 하나 존재함을 나타냅니다.	$\exists x \in \mathbb{Z}, x + 5 = 10$ (정수 x 중에서 x + 5 = 10을 만족하는 x가 존재한다)
$\exists! \space x \space p(x)$	$p(x)$를 만족하는 어떤 $x$가 유일하게 존재한다	$p(x)$를 만족하는 $x$가 하나만 존재한다는 것을 강조할 때 사용합니다.	$\exists! \space x \in \mathbb{N}, x + 2 = 5$ (자연수 x 중에서 x + 2 = 5를 만족하는 x는 유일하게 존재한다)

논리 기호들을 자유자재로 사용할 수 있다면, 복잡한 조건들을 명확하게 표현하고, 논리적인 사고 능력을 향상시키는 데 큰 도움이 될 것입니다.

2. 집합: 원소들의 아름다운 조화

이산수학에서 집합은 객체(원소)들의 모임을 의미합니다. 집합론은 데이터베이스, 알고리즘, 프로그래밍 언어 등 다양한 분야의 기초가 됩니다.

기호	의미	설명	예시
$\{a_{1}, …, a_{n}\}$	집합의 원소 나열법	집합의 원소들을 직접 나열하여 표현합니다.	$A = \{1, 2, 3, 4, 5\}$
$\{x \space	\space p(x)\}$	집합의 조건 제시법	조건을 만족하는 원소들의 집합을 표현합니다. $B = \{x \space \space x는 짝수, 1 < x < 10\}$
$A \cup B$	$A$와 $B$의 합집합	$A$ 또는 $B$에 속하는 모든 원소들의 집합입니다.	$A = \{1, 2, 3\}$, $B = \{3, 4, 5\}$일 때, $A \cup B = \{1, 2, 3, 4, 5\}$
$A \cap B$	$A$와 $B$의 교집합	$A$와 $B$ 모두에 속하는 원소들의 집합입니다.	$A = \{1, 2, 3\}$, $B = \{3, 4, 5\}$일 때, $A \cap B = \{3\}$
$A - B$	$A$와 $B$의 차집합	$A$에는 속하지만 $B$에는 속하지 않는 원소들의 집합입니다.	$A = \{1, 2, 3\}$, $B = \{3, 4, 5\}$일 때, $A - B = \{1, 2\}$
$A \times B$	$A$와 $B$의 곱집합 (카티시안 곱)	$A$의 원소와 $B$의 원소로 이루어진 순서쌍들의 집합입니다.	$A = \{1, 2\}$, $B = \{a, b\}$일 때, $A \times B = \{(1, a), (1, b), (2, a), (2, b)\}$
$A \subseteq B$	$A$는 $B$의 부분집합이다	$A$의 모든 원소가 $B$에 속할 때, $A$는 $B$의 부분집합이라고 합니다.	$A = \{1, 2\}$, $B = \{1, 2, 3\}$일 때, $A \subseteq B$
$\mathcal{P}(A)$	$A$의 멱집합	$A$의 모든 부분집합들의 집합입니다.	$A = \{1, 2\}$일 때, $\mathcal{P}(A) = \{\emptyset, \{1\}, \{2\}, \{1, 2\}\}$
$\bigcup_{i=1}^{n} A_i$	$A_i, i = 1, 2, ..., n$의 합집합	$A_1, A_2, ..., A_n$ 중 적어도 하나에 속하는 모든 원소들의 집합입니다.	$A_1 = \{1, 2\}$, $A_2 = \{2, 3\}$, $A_3 = \{3, 4\}$일 때, $\bigcup_{i=1}^{3} A_i = \{1, 2, 3, 4\}$
$\bigcap_{i=1}^{n} A_i$	$A_i, i = 1, 2, ..., n$의 교집합	$A_1, A_2, ..., A_n$ 모두에 속하는 모든 원소들의 집합입니다.	$A_1 = \{1, 2\}$, $A_2 = \{2, 3\}$, $A_3 = \{2, 4\}$일 때, $\bigcap_{i=1}^{3} A_i = \{2\}$

집합 연산은 데이터 필터링, 데이터 그룹화, 관계형 데이터베이스 설계 등 다양한 분야에서 활용됩니다.

3. 관계: 연결고리를 찾아서

이산수학에서 관계는 두 집합 간의 연결을 나타냅니다. 예를 들어, "A는 B의 친구이다", "C는 D보다 크다"와 같은 관계를 수학적으로 표현할 수 있습니다. 관계는 데이터베이스 모델링, 소셜 네트워크 분석, 추천 시스템 등 다양한 분야에서 중요한 역할을 합니다.

기호	의미	설명	예시
$xRy$	$x$와 $y$는 관계가 있다	$x$와 $y$가 특정 관계 $R$을 만족함을 나타냅니다.	$R$: "같다"라는 관계일 때, $3R3$은 "3은 3과 같다"를 의미합니다.
$R^{-1}$	관계 $R$의 역	관계 $R$의 순서를 뒤집은 관계입니다. $xRy$이면 $yR^{-1}x$입니다.	$R$: "부모이다"라는 관계일 때, $R^{-1}$: "자식이다"라는 관계입니다.
$[a]$	$a$의 동치 클래스	관계 $R$에 대해 $a$와 동치인 모든 원소들의 집합입니다. 동치 관계는 반사성, 대칭성, 추이성을 만족해야 합니다.	예를 들어, "mod 3으로 나눈 나머지가 같다"라는 동치 관계에서, [1]은 {..., -5, -2, 1, 4, 7, ...}입니다.
$x \equiv y \pmod{m}$	$x$와 $y$는 mod $m$에 대하여 동치이다	$x$와 $y$를 $m$으로 나눈 나머지가 같다는 의미입니다. 합동식이라고도 합니다.	$17 \equiv 2 \pmod{5}$ (17과 2는 5로 나눈 나머지가 같다)

4. 함수

이산수학에서 함수는 입력 값을 받아서 정해진 규칙에 따라 출력 값을 반환하는 관계입니다. 함수는 프로그래밍에서 매우 중요한 개념이며, 알고리즘 설계, 데이터 처리, 시스템 모델링 등 다양한 분야에서 활용됩니다.

기호	의미	설명	예시
$f : X → Y$	$X$에서 $Y$로의 함수	집합 $X$의 각 원소를 집합 $Y$의 유일한 원소에 대응시키는 관계입니다. $X$는 정의역, $Y$는 공역이라고 합니다.	$f(x) = x^2$은 실수 집합 $\mathbb{R}$에서 실수 집합 $\mathbb{R}$로의 함수입니다.
$g \circ f$	$g$와 $f$의 합성 함수	$f$의 결과를 $g$의 입력으로 사용하는 함수입니다. $(g \circ f)(x) = g(f(x))$입니다.	$f(x) = x + 1$, $g(x) = 2x$일 때, $(g \circ f)(x) = g(f(x)) = 2(x + 1) = 2x + 2$입니다.
$f^{-1}(x)$	$f$의 역함수	$f(x) = y$일 때, $f^{-1}(y) = x$를 만족하는 함수입니다. 역함수가 존재하려면 $f$는 전단사 함수여야 합니다.	$f(x) = x + 1$일 때, $f^{-1}(x) = x - 1$입니다.
$\lfloor x \rfloor$	$x$의 내림 함수 (Floor function)	$x$보다 작거나 같은 가장 큰 정수입니다.	$\lfloor 3.14 \rfloor = 3$, $\lfloor -2.7 \rfloor = -3$
$\lceil x \rceil$	$x$의 올림 함수 (Ceiling function)	$x$보다 크거나 같은 가장 작은 정수입니다.	$\lceil 3.14 \rceil = 4$, $\lceil -2.7 \rceil = -2$
$f(x) = O(g(x))$	$f(x)$는 $O(g(x))$	$f(x)$의 증가 속도가 $g(x)$의 증가 속도보다 빠르지 않다는 의미입니다. 알고리즘의 시간 복잡도를 분석할 때 사용됩니다.	$f(x) = 2x^2 + 3x + 1$일 때, $f(x) = O(x^2)$입니다.

 

5. 확률: 불확실성 속의 질서

이산수학에서 확률은 사건이 발생할 가능성을 수치로 나타내는 개념입니다. 확률론은 통계학, 머신러닝, 게임 이론 등에서 활용됩니다.

기호	의미	설명	예시
$P(A)$	사건 $A$의 확률	사건 $A$가 발생할 가능성을 나타내는 값입니다. 0과 1 사이의 값을 가지며, 0은 불가능한 사건, 1은 반드시 발생하는 사건을 의미합니다.	동전을 던졌을 때 앞면이 나올 확률: $P(앞면) = 0.5$
${n \choose r}$	$n$개에서 $r$개를 선택하는 조합	$n$개의 서로 다른 원소 중에서 순서에 상관없이 $r$개를 선택하는 경우의 수를 나타냅니다. 이항 계수라고도 합니다.	5개의 숫자 중에서 2개를 선택하는 조합의 수: ${5 \choose 2} = \frac{5!}{2!(5-2)!} = 10$
$nPr$	$n$개에서 $r$개를 선택하는 순열	$n$개의 서로 다른 원소 중에서 순서를 고려하여 $r$개를 선택하는 경우의 수를 나타냅니다.	5개의 숫자 중에서 2개를 순서를 고려하여 선택하는 순열의 수: $5P2 = \frac{5!}{(5-2)!} = 20$

6. 행렬: 데이터의 효율적인 표현

이산수학에서 행렬은 숫자들을 직사각형 모양으로 배열한 것입니다. 행렬은 선형대수학의 핵심 개념이며, 컴퓨터 그래픽스, 머신러닝, 데이터 분석 등에서 활용됩니다.

기호	의미	설명	예시
$A + B$	행렬 $A$와 $B$의 합	같은 크기의 행렬 $A$와 $B$의 각 요소들을 더한 결과입니다.	$\begin{bmatrix} 1 & 2 \\ 3 & 4 \end{bmatrix} + \begin{bmatrix} 5 & 6 \\ 7 & 8 \end{bmatrix} = \begin{bmatrix} 6 & 8 \\ 10 & 12 \end{bmatrix}$
$AB$	행렬 $A$와 $B$의 곱	행렬 $A$의 열의 수와 행렬 $B$의 행의 수가 같아야 곱셈이 가능합니다.	$\begin{bmatrix} 1 & 2 \\ 3 & 4 \end{bmatrix} \begin{bmatrix} 5 & 6 \\ 7 & 8 \end{bmatrix} = \begin{bmatrix} 19 & 22 \\ 43 & 50 \end{bmatrix}$
$I_n$	$n \times n$ 항등 행렬	주대각선 요소가 모두 1이고, 나머지 요소는 모두 0인 $n \times n$ 행렬입니다.	$I_2 = \begin{bmatrix} 1 & 0 \\ 0 & 1 \end{bmatrix}$
$A^T$	행렬 $A$의 전치 행렬	행렬 $A$의 행과 열을 바꾼 행렬입니다.	$A = \begin{bmatrix} 1 & 2 \\ 3 & 4 \end{bmatrix}$일 때, $A^T = \begin{bmatrix} 1 & 3 \\ 2 & 4 \end{bmatrix}$

마치며

지금까지 이산수학의 핵심 기호들을 논리, 집합, 관계, 함수, 확률, 행렬로 나누어 자세히 살펴보았습니다. 어떠신가요? 이제 이산수학 기호들이 조금 더 친숙하게 느껴지시나요? 😉
이 글이 여러분에게 작은 도움이 되었기를 바랍니다.

이 글이 도움이 되셨다면 좋아요 ❤️ 와 공유 🚀 부탁드립니다!

 

참조 목록

• Wikipedia - 이산수학: https://ko.wikipedia.org/wiki/%EC%9D%B4%EC%82%B0%EC%88%98%ED%95%99
• Khan Academy - Permutation and Combination https://www.khanacademy.org/math/statistics-probability/counting-permutations-and-combinations

 

함께 보면 좋은 글

 

수학 기호 입력 사이트들