7 처지: 멱집합, 명제논리, 부정, 논리곱, 논리합, 논리학, 양상 논리.
멱집합
하세 도표로 표현한 \x, y, z\의 멱집합 원소들 집합론에서, 어떤 집합의 멱집합(冪集合)은 그 집합의 모든 부분 집합을 모은 집합이.
새로운!!: 선형 시제 논리와 멱집합 · 더보기 »
명제논리
명제 논리(命題論理, propositional logic)는 논리식을 이용해 명제를 기술하는 형식 체계이.
새로운!!: 선형 시제 논리와 명제논리 · 더보기 »
부정
수리 논리학에서 부정(否定)은 명제의 참과 거짓을 반전하는 논리 연산이.
새로운!!: 선형 시제 논리와 부정 · 더보기 »
논리곱
AND 논리 게이트 논리곱(기호: AND)이란 수리 논리학에서, 주어진 복수 명제 모두가 참인지를 나타내는 논리 연산이.
새로운!!: 선형 시제 논리와 논리곱 · 더보기 »
논리합
리합(logical sum, 論理合, OR)이란 수리 논리학에서 주어진 복수 명제에 적어도 1개 이상의 참이 있는지를 나타내는 논리 연산이.
새로운!!: 선형 시제 논리와 논리합 · 더보기 »
논리학
리학(論理學,, logic)은 인간의 두뇌 활동과 관련하여 그 원리들을 분석하고 명제화하여 체계화하는 학문이.
새로운!!: 선형 시제 논리와 논리학 · 더보기 »
양상 논리
리학에서, 양상 논리(樣相論理)는 명제의 필연성·가능성·불가능성을 서술할 수 있는 논리 체계이.
새로운!!: 선형 시제 논리와 양상 논리 · 더보기 »