⊢⊨
2024 "List of logic symbols : 논리 기호"
(“List of Logic Symbols : 논리 기호” 2024)
In logic, a set of symbols is commonly used to express logical representation. The following table lists many common symbols, together with their name, how they should be read out loud, and the related field of mathematics. Additionally, the subsequent columns contains an informal explanation, a short example, the Unicode location, the name for use in HTML documents, and the LaTeX symbol.
forall nat
- Summary
1 이 문서는 논리학에서 사용되는 다양한 기호들을 목록으로 정리하고 있습니다. 2 기본적인 논리 기호 (예: ¬, ∧, ∨, →, ↔) 와 고급 또는 드물게 사용되는 기호들을 포함합니다. 3 각 기호의 유니코드, HTML 엔티티, LaTeX 표기법, 논리적 의미, 읽는 방법, 그리고 예시를 제공합니다. 4 양화 기호 (∀, ∃), 진리값 (⊤, ⊥), 추론 기호 (⊢, ⊨) 등 다양한 종류의 기호들을 설명합니다. 5 관련 용어 및 참고 자료 링크를 포함하고 있습니다.
"양상 논리 modal logic - 위키백과"
(“#양상논리 Modal Logic #위키백과” n.d.)
논리학에서 양상 논리(樣相論理, 영어: modal logic)는 논리 체계의 일종으로, 명제의 필연성·가능성·불가능성과 같은 양상(modality)을 서술할 수 있는 논리이다. 예컨대 진리 양상 논리에서 기호 □는 명제가 반드시 참임(필연성)을, ◇는 명제가 참일 수 있음(가능성)을 나타낸다
(“#양상논리 Modal Logic #나무위키” 2024)
- 2024 "양상논리 modal logic #나무위키" 양상논리( 樣 相 論 理 , modal logic)는 표준적인 논리학 을 확장하여, 가능성 이나 필연성 ,
"#그리스문자 #나무위키"
(“#그리스문자 #나무위키” n.d.)
2023 "수학/약어 및 기호 #나무위키"
(“수학/약어 및 기호 #나무위키” 2023)
수학 에서 쓰이는 약어와 기호에 대해 정리한 문서. 수학적 의미를 지니는 이탤릭체와의 구분을 위해 로만체(정체)로
2024 "Glossary of mathematical symbols"
(“Glossary of Mathematical Symbols” 2024)
A mathematical symbol is a figure or a combination of figures that is used to represent a mathematical object, an action on mathematical objects, a relation between mathematical objects, or for structuring the other symbols that occur in a formula. As formulas are entirely constituted with symbols of various types, many symbols are needed for expressing all mathematics. The most basic symbols are the decimal digits (0, 1, 2, 3, 4, 5, 6, 7, 8, 9), and the letters of the Latin alphabet. The decimal digits are used for representing numbers through the Hindu–Arabic numeral system. Historically, upper-case letters were used for representing points in geometry, and lower-case letters were used for variables and constants. Letters are used for representing many other sorts of mathematical objects. As the number of these sorts has remarkably increased in modern mathematics, the Greek alphabet and some Hebrew letters are also used. In mathematical formulas, the standard typeface is italic type for Latin letters and lower-case Greek letters, and upright type for upper case Greek letters. For having more symbols, other typefaces are also used, mainly boldface a , A , b , B , … \\textbackslash displaystyle \textbackslash mathbf \a,A,b,B\ ,\textbackslash ldots \ , script typeface A , B , … \\textbackslash displaystyle \\textbackslash mathcal \A,B\\,\textbackslash ldots \ (the lower-case script face is rarely used because of the possible confusion with the standard face), German fraktur a , A , b , B , … \\textbackslash displaystyle \\textbackslash mathfrak \a,A,b,B\\,\textbackslash ldots \ , and blackboard bold N , Z , Q , R , C , H , F q \\textbackslash displaystyle \textbackslash mathbb \N,Z,Q,R,C,H,F\ \_\q\\ (the other letters are rarely used in this face, or their use is unconventional). The use of Latin and Greek letters as symbols for denoting mathematical objects is not described in this article. For such uses, see Variable (mathematics) and List of mathematical constants. However, some symbols that are described here have the same shape as the letter from which they are derived, such as ∏ \\textbackslash displaystyle \textbackslash textstyle \textbackslash prod \\\ and ∑ \\textbackslash displaystyle \textbackslash textstyle \textbackslash sum \\\ . These letters alone are not sufficient for the needs of mathematicians, and many other symbols are used. Some take their origin in punctuation marks and diacritics traditionally used in typography; others by deforming letter forms, as in the cases of ∈ \\textbackslash displaystyle \textbackslash in \ and ∀ \\textbackslash displaystyle \textbackslash forall \ . Others, such as + and =, were specially designed for mathematics.
2024 "수학 기호"
(“수학 기호” 2024)
수학 기호(數學記號, 영어: mathematical symbol)는 수학에서 쓰는 기호로서, 수, 계산, 논리 등 수학의 개념을 간결하게 표현하기 위해 사용한다. 흔히 사용하는 기호로 사칙연산의 + (더하기표), − (빼기표), × (곱하기표), ÷ (나누기표) 등이 있다. 또한 많은 수학 기호의 이름은 유명한 수학자들의 업적을 기리기 위해 그들의 이름을 차용하여 짓기도 한다. 아래는 수학 기호의 목록이다.
2024 "수학 기호" phi
(“Phi (/FaꞮ/;[1] Uppercase Φ, Lowercase Φ or Φ #그리스문자” 2024)
2024 "Φ φ / 피 #그리스문자 #나무위키"
(“Φ Φ / 피 #그리스문자 #나무위키” 2024)
Φ φ / 피 대문자가 Φ, 소문자는 φ. 양순음 인 Π/π (파이)와는 달리 순치음 발음이다. 라틴 문자
Related-Notes
References
“수학 기호.” 2024. In 위키백과. https://ko.wikipedia.org/w/index.php?title=%EC%88%98%ED%95%99_%EA%B8%B0%ED%98%B8&oldid=37675192.
“수학/약어 및 기호 #나무위키.” 2023. 나무위키. December 13, 2023. https://namu.wiki/w/%EC%88%98%ED%95%99/%EC%95%BD%EC%96%B4%20%EB%B0%8F%20%EA%B8%B0%ED%98%B8.
“#그리스문자 #나무위키.” n.d. Accessed October 25, 2024. https://namu.wiki/w/%EA%B7%B8%EB%A6%AC%EC%8A%A4%20%EB%AC%B8%EC%9E%90.
“Glossary of Mathematical Symbols.” 2024. In Wikipedia. https://en.wikipedia.org/w/index.php?title=Glossary_of_mathematical_symbols&oldid=1253365653.
“List of Logic Symbols : 논리 기호.” 2024. In Wikipedia. https://en.wikipedia.org/w/index.php?title=List_of_logic_symbols&oldid=1213669779.
“#양상논리 Modal Logic #나무위키.” 2024. 나무위키. January 10, 2024. https://namu.wiki/w/%EC%96%91%EC%83%81%EB%85%BC%EB%A6%AC.
“#양상논리 Modal Logic #위키백과.” n.d. Accessed October 25, 2024. https://ko.wikipedia.org/wiki/%EC%96%91%EC%83%81_%EB%85%BC%EB%A6%AC.
“Phi (/FaꞮ/;[1] Uppercase Φ, Lowercase Φ or Φ #그리스문자.” 2024. In Wikipedia. https://en.wikipedia.org/w/index.php?title=Phi&oldid=1227770942.
“Φ Φ / 피 #그리스문자 #나무위키.” 2024. 나무위키. August 21, 2024. https://namu.wiki/w/%CE%A6.