10 처지: 벤 다이어그램, 공리, 부정, 논리곱, 논리합, 집합론, 수리논리학, 오거스터스 드 모르간, 여집합, 1차 논리.
벤 다이어그램
벤 다이어그램(Venn diagram)은 서로 다른 집합들 사이의 관계를 표현하는 다이어그램이.
새로운!!: 드 모르간의 법칙와 벤 다이어그램 · 더보기 »
공리
공리(公理)는 어떤 이론체계에서 가장 기초적인 근거가 되는 명제(命題)이.
새로운!!: 드 모르간의 법칙와 공리 · 더보기 »
부정
수리 논리학에서 부정(否定)은 명제의 참과 거짓을 반전하는 논리 연산이.
새로운!!: 드 모르간의 법칙와 부정 · 더보기 »
논리곱
AND 논리 게이트 논리곱(기호: AND)이란 수리 논리학에서, 주어진 복수 명제 모두가 참인지를 나타내는 논리 연산이.
새로운!!: 드 모르간의 법칙와 논리곱 · 더보기 »
논리합
리합(logical sum, 論理合, OR)이란 수리 논리학에서 주어진 복수 명제에 적어도 1개 이상의 참이 있는지를 나타내는 논리 연산이.
새로운!!: 드 모르간의 법칙와 논리합 · 더보기 »
집합론
집합론(集合論)은 추상적 대상들의 모임인 집합을 연구하는 수학 이론이.
새로운!!: 드 모르간의 법칙와 집합론 · 더보기 »
수리논리학
수리논리학(數理論理學)은 논리학에서 사용하는 명제들을 수학적인 기호로 표시하는 학문이.
새로운!!: 드 모르간의 법칙와 수리논리학 · 더보기 »
오거스터스 드 모르간
오거스터스 드모르간(1806년 6월 27일~1871년 3월 18일)은 영국의 수학자이.
새로운!!: 드 모르간의 법칙와 오거스터스 드 모르간 · 더보기 »
여집합
집합론에서, 집합 A의 여집합(餘集合, 또는 보집합(補集合), complement set) AC는, 전체집합 U의 원소 중 A의 원소가 아닌 것들의 집합이.
새로운!!: 드 모르간의 법칙와 여집합 · 더보기 »
1차 논리
1차 논리(一次論理)는 원소에만 한정 기호를 가할 수 있고, 술어에는 한정 기호를 가할 수 없는 술어 논리이.
새로운!!: 드 모르간의 법칙와 1차 논리 · 더보기 »