이중 턴스틸

1. 개요

이중 턴스틸은 논리학에서 모델 구조와 문장 집합 사이의 관계를 나타내는 기호로, 특정 문장 집합의 충족 가능성을 표현하는 데 사용된다. 충족 가능성은 모델 구조가 주어진 문장 집합의 모델이 될 수 있는지를 나타내는 개념이며, 항진명제는 이중 턴스틸 기호와 밀접하게 연결되어 있다. 이 기호는 의미론적 귀결, 충족 가능성, 항진명제 등의 개념을 표현하는 데 활용되며, 유니코드에서는 U+21C4로, LaTeX에서는 `turnstile` 패키지 또는 `\models` 명령어를 통해 표현할 수 있다.

더 읽어볼만한 페이지

• 논리 기호 - 화살표
  화살표는 방향이나 관계를 나타내는 기호로, 과거에는 물의 흐름이나 군대 이동을 나타냈지만 현재는 표지판, 수학, 논리학, 컴퓨터 과학 등 다양한 분야에서 활용되며 유니코드에는 다양한 형태의 화살표 기호들이 정의되어 있다.
• 논리 기호 - 논리 연산
  논리 연산은 논리적 명제를 조작하고 결합하는 연산으로, 연산 법칙을 따르고 다양한 종류가 있으며, 컴퓨터 과학, 집합론, 자연어 처리 등 다양한 분야에서 활용된다.
• 논리적 귀결 - 추론
  추론은 하나 이상의 명제를 전제로 결론을 도출하는 사고 과정으로, 논리학에서는 전제와 결론 간의 관계를 통해 정확성을 판단하며, 연역 추론, 귀납 추론, 가추법 등으로 나뉘고 인공지능 등 다양한 분야에서 활용된다.
• 논리적 귀결 - 정리
  정리는 논리학과 수학에서 공리를 바탕으로 증명된 참인 명제로서, "만약 A이면 B이다" 형태의 가정적 조건문으로 표현되며, 수학 외 다양한 분야에서도 사용되지만 수학에서의 엄밀한 증명과는 차이가 있다.
• 수학 기호 - 프라임 (기호)
  프라임(′)은 숫자나 문자 등에 붙어 여러 분야에서 다양한 용도로 사용되는 기호로, 단위, 각도, 수학, 물리학 등에서 다양한 의미로 활용되며, 발음 또한 다양하다.
• 수학 기호 - 존재 양화사
  존재 양화사는 형식 논리에서 특정 조건을 만족하는 대상이 존재함을 나타내는 방법으로, 수리 논리학에서는 기호 "$\backslash exists$"를 사용하여 변수가 특정 집합에 속하면서 주어진 조건을 만족하는 원소가 적어도 하나 존재함을 나타내며, 존재 일반화, 존재 제거 등의 추론 규칙과 관련이 있고, 담화 영역에 따라 진술의 참과 거짓이 달라질 수 있으며, 존재 양화된 명제 함수의 부정은 해당 명제 함수의 부정의 전칭 양화와 논리적으로 동치이다.