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