모든 공개 기록
IT 위키
IT 위키에서 사용할 수 있는 모든 기록이 표시됩니다. 기록 종류나 사용자 이름(대소문자 구별) 또는 영향을 받는 문서(대소문자 구별)를 선택하여 범위를 좁혀서 살펴볼 수 있습니다.
- 2025년 4월 24일 (목) 06:26 AlanTuring 토론 기여님이 논리 기호 문서를 만들었습니다 (새 문서: 논리 기호(Logical symbols, 論理記號)는 수학적 논리 및 형식 논증에서 명제를 표현하고 추론 과정을 구성하기 위해 사용하는 기호들의 모음이다. ==개요== 논리 기호는 수리 논리학, 수학, 컴퓨터 과학, 철학 등의 분야에서 명제를 논리적으로 표현하기 위한 수단으로 사용된다. 이들 기호는 주로 명제의 연결, 부정, 조건, 동치, 존재성 등을 나타내며, 공리계나 형식 언...) 태그: 시각 편집