심벌 마크
유니온백과
통신
다운로드하기 Google Play
새로운! 안드로이드 ™에 유니온백과를 다운로드 할 수 있습니다
비어 있는
브라우저보다 빠른!
 

명제논리

색인 명제논리

명제 논리(命題論理, propositional logic)는 논리식을 이용해 명제를 기술하는 형식 체계이.

6 처지: 명제, 개념, 논리식, 술어 논리, 수리논리학, 사고.

명제

명제(命題)는 논리학적으로 뜻이 분명한 문장을 말. 즉, 어떤 말을 딱 본 순간 '참' 혹은 '거짓'을 대번에 알 수 있는 말을 말. 명제는 거의 대부분의 인간들이 즉각, 맞다 틀리다 말할 수 있는 조건이지만, 현대 사회에서 거의 진리로 인정받고 있는 특정 가치관이 명제의 판별에 혼동을 주는 경우가 무시할 수 없이 많다는 것이.

새로운!!: 명제논리와 명제 · 더보기 »

개념

(槪念)은 우리 주위의 대상에서 공통된 것, 일반적인 것을 꺼내어 개괄(槪括)함으로써 생겨난 관념을 말. 개념은 모두 외계(外界) 대상의 공통된 징표(徵表)를 반영하고 있. 개념이 취하는 일정한 언어적 표현, 즉 개념의 언어적인 외피(外皮)는 '말(語)'이.

새로운!!: 명제논리와 개념 · 더보기 »

논리식

리식은 논리 변수들을 논리 연산자를 이용하여 조합한 것이.

새로운!!: 명제논리와 논리식 · 더보기 »

술어 논리

술어 논리(述語論理) 또는 함수 논리(函數論理) 또는 양화 논리(量化論理)는 명제에 '주어'와 '술어'의 구조가 존재하고, '주어'가 될 수 있는 대상에 대한 한정 기호를 사용할 수 있는 논리이.

새로운!!: 명제논리와 술어 논리 · 더보기 »

수리논리학

수리논리학(數理論理學)은 논리학에서 사용하는 명제들을 수학적인 기호로 표시하는 학문이.

새로운!!: 명제논리와 수리논리학 · 더보기 »

사고

선박사고 (2005) 사고(事故)는 뜻밖에 불행한 사건을 의미.

새로운!!: 명제논리와 사고 · 더보기 »

여기로 리디렉션합니다

명제 논리, 명제 논리학, 명제논리학.

나가는들어오는
이봐 요! 우리는 지금 Facebook에 있습니다! »