목차
논리 연산
리 연산(logical operation, logical connective) 혹은 불 연산(boolean operation)은 참, 거짓 두 가지 원소(진리값으로 불림)만 존재하는 집합(환으로 불림)에서의 연산이.
보다 명제와 논리 연산
논리식
리식은 논리 변수들을 논리 연산자를 이용하여 조합한 것이.
보다 명제와 논리식
진릿값
리값(truth value)은 논리학의 용어로, 어느 명제의 내용이 참인지 거짓인지를 나타내는 값이.
보다 명제와 진릿값
참고하세요
논리식
명제 논리
수리논리학
- 계산 가능성 이론
- 관계 (수학)
- 괴델의 불완전성 정리
- 구조 (논리학)
- 기본 동치
- 논리식
- 다음수 함수
- 대우 (논리학)
- 동치
- 등식
- 로빈슨의 정리
- 뢰벤하임-스콜렘 정리
- 명제
- 모형 이론
- 무한소
- 보존적 확장
- 부분론
- 셈
- 수리 논리학
- 수학 기호
- 수학기초론
- 알고리즘
- 양상 논리
- 양자 논리
- 열거
- 이중 턴스틸
- 재작성
- 전체모임
- 절대 논리식
- 정의 가능 집합
- 증명 (수학)
- 증명 이론
- 지시 함수
- 진리
- 집합론
- 초곱
- 초현실수
- 칸토어 역설
- 콤팩트성 정리
- 쾨니그의 정리 (집합론)
- 크레이그의 보간 정리
- 페아노 공리계
- 항 (논리학)
- 형식 문법
- 형식의 법칙들
언어철학
- 개념
- 규범
- 기호학
- 넌센스
- 다의어
- 뜻과 지시체
- 명제
- 밈
- 발화
- 발화수반행위
- 사피어-워프 가설
- 서술어
- 수사학
- 언어적 전회
- 언어철학
- 음성중심주의
- 일상 언어 철학
- 자연어
- 정의 (논리학)
- 추론주의
- 탈구축
- 통사론
- 화용론
의미론 (언어학)
- 가능세계론
- 가명
- 개념
- 공백어휘
- 논리곱
- 논리합
- 담론
- 담화 표지
- 대비 (언어학)
- 데모님
- 동어 반복
- 레트로님
- 명제
- 몬더그린
- 발화수반행위
- 발화행위
- 배타적 논리합
- 번역
- 분류
- 서법
- 서술어
- 아이리시 불
- 양상 논리
- 언어행위
- 유추
- 의미 기억
- 의미 변화
- 의미 분석
- 의미인지론
- 의태어
- 이중 턴스틸
- 정의 (논리학)
- 진리표
- 참고
- 추론
- 추론주의
- 타칭 지명과 자칭 지명
- 행위자 (문법)
- 형용 모순
- 화용론
- 환유
존재론
- 감각질
- 개념
- 관념
- 누스
- 단자 (철학)
- 마음 이론
- 명제
- 무 (철학)
- 물리주의
- 물체
- 보편
- 부분론
- 분류 체계
- 분석
- 세계
- 수학적 우주 가설
- 시간
- 시간과 공간의 철학
- 시간의 B이론
- 실재
- 실체
- 양 (크기)
- 원리
- 유명론
- 유물론
- 의식 (심리철학)
- 이론
- 이성
- 인내주의
- 존재론
- 존재론적 논증
- 진리
- 창발
- 초월
- 초월적 관념론
- 카르다쇼프 척도
- 황홀감
진술
또한 모순 명제, 모순 명제 형식, 복합명제로 알려져 있다.