논리 기호 목록

이 문서에는 논리 기호가 포함되어 있습니다.적절한 렌더링을 지원하지 않으면 논리 기호 대신 물음표, 상자 또는 기타 기호를 볼 수 있습니다.

논리학에서는 논리적인 표현을 표현하기 위해 기호 세트가 일반적으로 사용됩니다.다음 표는 많은 공통 기호와 함께 이름, 큰 소리로 읽는 방법 및 수학의 관련 분야를 나열합니다.또한 후속 열에는 비공식, 간단한 예, 유니코드 위치, HTML ^[1]문서에서 사용할 이름 및 LaTeX 기호가 포함됩니다.

기본 논리 기호

기호.	유니코드 가치 (소수)	HTML 가치 (표준)	HTML 독립체 (이름 있음)	LaTeX 기호.	로직명	로 읽다	카테고리	설명.	예
⇒ → ⊃	U+21D2 U+2192 U+2283	⇒ → ⊃	→ → ⊃	$§$ ${\displaystyle\오른쪽$ 화살표 $\Rightarrow$ 오른쪽 화살표 $→$ ${\displaystyle$ \to $\to$ \to 또는 \오른쪽 화살표 $§$ ${\displaystyle$ \supset $\supset$ \supset $§$ $(\displaystyle\$ displaystyle $\implies$ displays $\implies$	물질적 함의	함축하다그리고나서	명제 논리, 헤이팅 대수	$A\Rightarrow B$ 가 true일 $때$ 는 $B$ 가 $A\Rightarrow B$ false이고 $,$ $그렇지$ 않을 때는 $true일$ 때는 B가 false입니다. $→$ ${{$ displaystyle \ $right$ 화살표 $}$ 는 $\rightarrow$ $§$ {displaystyle \ $right$ 화살표 $}$ 와 같은 의미일 수 있습니다 $\rightarrow$ 기호는 함수의 영역 및 코드메인을 나타낼 수도 있습니다. 수리 기호 표 참조). ${\$ { displaystyle \ $supset$ }는 $\supset$ $\supset$ ${\$ { displaystyle \ $Rightarrow$ } $\Rightarrow$ 와 같은 의미일 수 있습니다(기호는 슈퍼셋을 의미할 수도 있습니다).	$x=2\Rightarrow x^{2}=4$ $x=2\Rightarrow x^{2}=4$ $x=2\Rightarrow x^{2}=4$ $x=2\Rightarrow x^{2}=4$ $x=2\Rightarrow x^{2}=4$ 2 $x=2\Rightarrow x^{2}=4$ {{ $displaystyle x=2\rightarrow$ x $^{2$ }= $4}$ 는 $x=2\Rightarrow x^{2}=4$ $x^{2}=4\Rightarrow x=2$ 이지만 $x^{2}=4\Rightarrow x=2$ 2 $x^{2}=4\Rightarrow x=2$ $x^{2}=4\Rightarrow x=2$ x $=$ $x^{2}=4\Rightarrow x=2$ { $displaystyle$ x $^{2$ }= $4\rightarrow$ x $=2$ }는 $x^{2}=4\Rightarrow x=2$ 일반적으로 거짓입니다(x는 -2일 수 $있습니다$ ).
⇔ ≡ ↔	U+21D4 U+2261 U+2194	⇔ ≡ ↔	↔ &quiv; & 왼쪽 오른쪽 화살표;	$§$ ${\displaystyle\왼쪽$ 화살표 $\Leftrightarrow$ 왼쪽 화살표 $§$ ${\displaystyle$ \equiv $\equiv$ \equiv $↔$ ${\displaystyle$ \ $왼쪽$ 화살표 $\leftrightarrow$ \왼쪽 화살표 $§$ $\displaystyle$ \iff $\iff$ \iff	물질적 등가	if 및 only if; ifff; 와 같은 의미이다.	명제 논리	$A$ $A$ 와 B가 $모두$ false이거나 $A$ 와 B가 $모두$ true인 경우에만 $true$ 입니다.	$x+5=y+2\왼쪽 화살표 x+3=y$
¬ ˜ !	U+00AC U+02DC U+0021	" ˜ !	¬ 칠드 "	$§$ $\displaystyle$ \neg $\$ lnot 또는 \neg $~$ {\ $displaystyle \sim$ \sim	부정	것은 아니다.	명제 논리	$\lnot A$ 가 false인 $경우$ 에만 A $\displaystyle\lnot$ A라는 $\lnot A$ 문장이 True입니다. 다른 연산자를 통해 배치되는 슬래시는 앞에 배치되는 $\neg$ "\ $displaystyle\neg"$ 와 $\neg$ 동일합니다.	$\displaystyle \neg (\neg A)\왼쪽 화살표 A}$ $x\neq y\왼쪽 화살표 \neg(x=y)$
$\displaystyle \mathbb {D}$	U+1D53B	𝔻	& dopf;	\mathbb{D}	담론의 영역	술어 영역	술어(수학 논리)		$\displaystyle \mathbb {D} \mathbb {:} \mathbb {R} }$
∧ · &	U+2227 U+00B7 U+0026	∧ " &	& · &	$§$ \ $displaystyle$ \displaystyle \displays $\wedge$ \land 또는 \ $§$ ${\displaystyle$ \cdot $\cdot$ \ $cdot &\$ displaystyle $\&$ \&} $\&$ ^[2] \&	논리 접속사	그리고.	명제 논리, 부울 대수	스테이트먼트 A trueB는 A와 B가 모두 true이면 true이고, 그렇지 않으면 false입니다.	$n$ < $4$ µ n > $2$ µ n = $3$ (n이 자연수일 경우).
∨ + ∥	U+2228 U+002B U+2225	∨ + ∥	" + "	$§$ ${\displaystyle \$ lor $\lor$ \lor 또는 \vee $§$ $(\displaystyle\$ displaystyle $\parallel$ displays $\parallel$	논리적인 (논리적인) 분리	또는	명제 논리, 부울 대수	A 또는 B(또는 둘 다)가 true이면 스테이트먼트 A bB가 true이고 둘 다 false이면 스테이트먼트가 false입니다.	$n$ 이 자연수일 경우 n $2$ 4 $n$ n 3 2 n n $3$ 3.
↮ ⊕ ⊻ ≢	U+21AE U+2295 U+22BB U+2262	↮ ⊕ ⊻ ≢	& plus; & veebar; &quiv;	$§$ ${\displaystyle$ \oplus $\oplus$ \oplus $§$ ${\displaystyle$ \ $veebar$ \veebar $§$ $\displaystyle$ \equiv $\not$ \equiv	배타적 분리	xor; 둘 중 하나...또는	명제 논리, 부울 대수	스테이트먼트 A bB는 A 또는 B 중 하나가 true일 때 true입니다(둘 다 true가 아닙니다.A b B는 같은 의미입니다.	('A') A는 항상 true이고, A는 항상 false입니다(공백한 true가 제외되어 있는 경우).
⊤ T 1 ■	U+22A4 U+25A0	⊤	톱;	$§$ ${\displaystyle$ \top $\top$ \ $top$	동음이의어	top, truth, full 절	명제 논리, 부울 대수, 1차 논리	문①은 무조건 참입니다.	(A) A는 항상 참이다.
⊥ F 0 □	U+22A5 U+25A1	⊥	&perp;	$§$ ${\displaystyle$ \bot $\bot$ \ $bot$	모순	bottom, false, false, empty 절	명제 논리, 부울 대수, 1차 논리	①은 무조건 거짓입니다.(기호 may는 수직선을 의미할 수도 있습니다.)	(A) A는 항상 거짓이다.
∀ ()	U+2200	∀	&all;	$§$ ${\displaystyle$ \forall $\forall$ \forall	보편적 수량화	모두를 위해, 모두를 위해, 각각을 위해	일차 논리	$θ x$ : $P ($ x) $또는$ ( $x$ ) $P ($ x)는 모든 x에 대해 P(x)가 참임을 의미한다 $.$	$\displaystyle \forall n\in \mathbb {N}:n^{2}\geq n.}$
∃	U+2203	∃	존재하다	$§$ $(\displaystyle\$ displaystyle $\exists$ displays $\exists$	실존 수량화	존재하다	일차 논리	$θ x$ : $P ($ x)는 P(x)가 참인 x가 적어도 하나 이상 있음을 의미한다 $.$	$\exists n\in \mathbb {N} :$ n $N$ : ${\displaystyle$ \ $exists n\in \mathbb$ { $\exists n\in \mathbb {N} :$ $}$ :} n은 짝수이다 $\exists n\in \mathbb {N} :$
$\exists!$	U+2203 U+0021	∃!	& exist;!	$!$ ${\displaystyle \$ displaystyle $\exists !$ \displaystyle!	고유성 정량	딱 하나 있다	일차 논리	$θ!$ $x$ : $P ($ x)는 P(x)가 참인 x가 정확히 하나라는 것을 의미한다 $.$	$\displaystyle !n\in \mathbb {N}:n+5=2n.}$
≔ ≡ :⇔	U+2254(U+003A U+003D) U+2261 U+003A U+229C	≔ (:=) ≡ ⊜	&coloneq; &quiv; ↔	$=$ {\ $displaystyle$ :=} := $§$ ${\displaystyle$ \equiv $\equiv$ \equiv $:\Leftrightarrow$ ${\$ { $displaystyle$ : \ $왼쪽$ 화살표 } $:\Leftrightarrow$ : \ $:\Leftrightarrow$ 왼쪽 화살표	정의.	로 정의됩니다.	온통.	$x$ ≔ $y$ $또는$ x $y$ y는 x가 y의 다른 이름으로 정의됨을 의미합니다(단, can는 일치 등 다른 의미도 있습니다). $P$ : ' $Q$ '는 P가 논리적으로 Q와 동등하다고 정의되어 있음을 의미합니다.	$(\displaystyle \cosh x:=black {e^{x}+e^{-x}}{2})$ $A XOR B : (A b B ) ( (A b B )$
( )	U+0028 U+0029	40; )	& lpar; )	$(~)$ ) $(~)$ { $displaystyle$ ( $(~)$ ~ ) $(~)$ } ( )	우선 순위 그룹화	괄호; 괄호	온통.	먼저 괄호 안의 작업을 수행합니다.	$(8/4$ )÷2= $2/2$ = $1$ 이지만, 8 $/2 = 8/2$ = $4$ .
⊢	U+22A2	⊢	&vdash;	$§$ ${\displaystyle$ \vdash $\vdash$ \vdash	회전식	증명하다	명제 논리, 1차 논리	x y y는 x의 증명(구사적으로 포함) y를 의미합니다.	(A → B) ( (θB → aA)
⊨	U+22A8	⊨	&vDash;	$§$ ${\displaystyle$ \vDash $\vDash$ \vDash, \models	이중 개찰구	모델	명제 논리, 1차 논리	x y y는 x 모델(일반적으로 포함) y를 의미합니다.	(A → B) ( (θB → aA)

고급 논리 기호로 거의 사용되지 않음

이러한 기호는 유니코드 값에 따라 정렬됩니다.

기호.	유니코드 가치 (소수)	LaTeX 기호.	로직명	로 읽다	카테고리	설명.	예
̅	U+0305		오버라인의 조합			Gödel 숫자를 나타내는 형식을 사용합니다. 주로 전자제품에서 사용되는 부정을 나타냅니다.	using HTML style "4"는 표준 숫자 "SSSS0"의 줄임말입니다. "A a B"는 (A b B)의 괴델 수를 말한다."A"는 "A"와 같다.
↑	U+2191 U+007C		위쪽 화살표 세로줄			셰퍼 스트로크, NAND 연산자를 위한 기호(접속사 부정).
↓	U+2193		아래쪽 화살표			피어스 화살표, NOR 연산자 기호(분리 거부).
⊙	U+2299	$⊙$ ${\displaystyle$ \odot $\odot$ \odot	동그라미 도트 연산자			XNOR 연산자 기호(배타적 분리 거부).
∁	U+2201		보완물
∄	U+2204	\partists	존재하지 않는다			"discription"과 같은 실존적 수량사를 삭제한다.
∴	U+2234	\timeout(\timeout)\timeout(\timeout)	그러므로	그러므로
∵	U+2235	\\왜냐하면	왜냐면	왜냐면
⊧	U+22A7		모델			모델(또는 "평가가 만족스러운가")
⊨	U+22A8	§\vDash	진실의	에 해당된다
⊬	U+22AC	\nvdash	증명되지 않다			부정 ,, "does not problem" 기호	T p P는 "P는 T의 정리가 아니다"라고 말한다.
⊭	U+22 AD	§\nvDash	사실이 아니다	사실이 아니다
†	U+2020		단검	…라는 것은 사실이다		긍정 연산자
⊼	U+22BC		낸드			NAND 연산자
⊽	U+22BD		도 아니다			NOR 연산자
◇	U+25C7		화이트 다이아몬드			"It possible that", "untily not" 또는 드물게 "untily not"에 대한 모달 연산자(대부분의 모달 로직에서는 "modal◻modal"로 정의됨)
⋆	U+22C6		스타 오퍼레이터			보통 애드버타이즈 오퍼레이터에 사용됩니다.
⊥ ↓	U+22A5 U+2193		업택 아래쪽 화살표			웹 오퍼레이터 또는 피어스 애로우, NOR의 기호입니다.' absurd'은 모순이나 부조리를 나타내는 표시이기도 합니다.
⌐	U+2310		반전 표시 없음
⌜ ⌝	U+231C U+231D	\ulcorner \urcorner	왼쪽 상단 모서리 오른쪽 상단 모서리			엄호해라 시세, 또한, quasi-quotation에, 즉 불특정("가변")표현을 특정한 상황 말을 인용해;[3]또한 괴델 수를 나타내는에 사용되는,"⌜G⌝"G.(Typographical 점:비록 그 인용문은"쌍"로 unicode에 나타나는(231C과 231D)의 괴델 번호를 의미한다 예를 들어[4], 그들은 약간의 f에서 대칭을 이루지 않는다"Quine 인용"라고 불렀다onts.또한 일부 글꼴(Arial 등)에서는 특정 크기에서만 대칭이 됩니다.또는 인용부호를 θ 및 θ(U+2308 및 U+2309)로 렌더링하거나, 위첨자 모드에서 부정기호 및 역부정기호 θ를 사용하여 렌더링할 수 있다.)
◻ □	U+25FB U+25A1		흰색 중간 정사각형 흰색 정사각형			「그것이 필요하다」(모달 로직에서는), 「그것이 증명 가능하다」(증빙 로직에서는), 「그것이 의무이다」(의사 논리에서는) 또는 「그것이 옳다고 생각된다」(독사스틱 로직에서는)의 모달 연산자.또한 빈 절(대안: $∅$ \ $display$ style \ $emptyset$ $）$ ⊥ ) ⊥ ⊥ ⊥ ⊥ 。
⟛	U+27DB		좌우 택		의미 등가
⟡	U+27E1		화이트 오목면 다이아몬드	절대.	모달 연산자
⟢	U+27E2		왼쪽 눈금이 있는 흰색 오목면 다이아몬드	없었다	모달 연산자
⟣	U+27E3		우측 진드기가 있는 흰색 오목면 다이아몬드	결코 그렇지 않을 것이다	모달 연산자
□	U+25A1		흰색 정사각형	항상	모달 연산자
⟤	U+25A4		왼쪽 눈금이 있는 흰색 정사각형	항상 그랬다	모달 연산자
⟥	U+25A5		오른쪽 TIC가 있는 흰색 사각형	항상 그럴 것이다	모달 연산자
⥽	U+297D		오른쪽 물고기 꼬리			때때로 '관계'에 사용되며, 다양한 임시 관계를 나타내기 위해 사용되기도 한다(예를 들어 로서의 속임수에서 '목격'을 나타내기 위해 사용됨).낚싯바늘은 C에 의해 엄격한 의미로 사용되기도 한다.I. $Lewis$ p { $displaystyle$ p $}$ $p$ $q\equiv \Box (p\rightarrow q)$ $q\equiv \Box (p\rightarrow q)$ ( $q\equiv \Box (p\rightarrow q)$ $q\equiv \Box (p\rightarrow q)$ ) { $displaystyle$ q \ $equiv \ Box$ ( $p$ \ $rightarrow$ q ) $q\equiv \Box (p\rightarrow q)$ } the the 、 대응하는 LaTeX 매크로는 \ ifstrictstrictstrictstrictstrictstrictstrictstrictstrictstrictstrictstrictstrictstrictstrictstrictstrictstrictstrictstrictstrictstrict strictstrictstrictstrictstrictstrictstrictstrictstrictstrictstrictstrictstrictstrictstrictstrict글리프의 이미지는 여기를 참조해 주세요.Unicode 3.2.0에 추가되었습니다.
⨇	U+2A07		2개의 논리 연산자

다양한 국가의 사용

폴란드와 독일

2014년 현재^[update] 폴란드에서는 유니버설 수량식이 $\wedge$ 로 표기되기도 하며, 실존 수량식이 $display$ \displaystyle $\vee$ 로 표기되기도 합니다.독일도 마찬가지입니다.

일본.

본문에서는 「상품의 판매 여부를 조사했습니다.★판매하지 않습니다」와 같이, 「결과」나 「결론」을 나타내는 기호가 많이 사용되고 있습니다.또한 → 기호는 "이자가 바뀌었다"는 문장에서처럼 "이율 변경"을 나타내는 데 자주 사용됩니다.3월 20% → 4월 21%"

「」를 참조해 주세요.

레퍼런스

^ "Named character references". HTML 5.1 Nightly. W3C. Retrieved 9 September 2015.
^ 이 캐릭터는 LaTeX에서 사용할 수 있지만 MediaWiki TeX 시스템에서는 지원되지 않습니다.
^ Quine, W.V.(1981) :수리논리, 66
^ 를 클릭합니다Hintikka, Jaakko (1998), The Principles of Mathematics Revisited, Cambridge University Press, p. 113, ISBN 9780521624985.

추가 정보

요제프 마리아 보첸스키(1959), 수학논리학의 프레시스, 옮김.오토 버드, 프랑스어 및 독일어판, 사우스 홀란드 도르트레흐트: D.레이델.

외부 링크

HTML 4.0의 이름 있는 문자 엔티티

[1] "Named character references". HTML 5.1 Nightly. W3C. Retrieved 9 September 2015.

[2] 이 캐릭터는 LaTeX에서 사용할 수 있지만 MediaWiki TeX 시스템에서는 지원되지 않습니다.

[3] Quine, W.V.(1981) :수리논리, 66

[4] 를 클릭합니다Hintikka, Jaakko (1998), The Principles of Mathematics Revisited, Cambridge University Press, p. 113, ISBN 9780521624985.

[1]

[2]

Search

논리 기호 목록

네임스페이스

더

목차

기본 논리 기호

고급 논리 기호로 거의 사용되지 않음

다양한 국가의 사용

폴란드와 독일

일본.

「」를 참조해 주세요.

레퍼런스

추가 정보

외부 링크

Search

논리 기호 목록

기본 논리 기호

고급 논리 기호로 거의 사용되지 않음

다양한 국가의 사용

폴란드와 독일

일본.

「 」를 참조해 주세요.

레퍼런스

추가 정보

외부 링크

「」를 참조해 주세요.