my_lesson/_용어사전3 명제 논리학 명제 논리학 명제 논리(命題論理, propositional logic [1] )는 논리식을 이용해 명제를 기술하는 형식 체계이다. 명제 논리는 기호논리학의 가장 기초적인 영역이다. 사고를 개념으로까지 분해하는 고전논리학에 과는 달리, 사고의 최소 구성단위를 명제(원자적 명제)로 하여 명제의 내용·구조에는 개입하지 않고 각 명제 사이의 결합관계만을 연구한다. 명제의 결합을 4-6종의 기호로 통일적으로 나타내고, 각 명제를 진위(진리값)의 관점으로부터만 생각하여 복합적 명제의 진위를 원 명제의 진위로부터 수학적 계산법에 의해 결정하려고 한다(論理計算). 2015. 8. 22. 술어 논리학 술어 논리학 술어 논리(predicate logic)는 \forall, \exists 등의 술어 기호를 사용하는 논리 구조를 의미한다. 일반적으로 1차 술어논리가 많이 사용되지만, 2차 논리 등 고차 술어논리도 사용된다. 함수논리 또는 양화(量化)의 논리라고도 하며, 명제 논리(命題論理)보다 확장된 논리이다. 순수한 명제 논리 만으로는 지식표현을 일반화 할 수 없으며, 또한 주어진 명제로부터 새로운 결론을 유도해 낼수가 없으므로 술어논리를 이용해 이러한 문제를 해결한다. 술어논리는 하나의 명제를 술어와 그 술어의 수식을 받는 객체로 분리하여 '술어(객체)'의 형태로 표현한다. 하나의 명제를 술어와 객체로 분리하여 표현한다. 하나의 술어는 하나 이상의 객체를 수식할 수 있다. 또한 객체는 상수가 사용될 수.. 2015. 8. 22. 기호 논리학 기호 논리학 수학적 연산을 할 수 있도록 논리 형식을 기호화하여 다루는 논리학. 수학적 이론 가운데 대수학(代數學)에서처럼 언어 대신 기호를 활용하여 언어의 모호성이나 제약을 없애고 논리 체계의 순수성과 엄밀성에 치중하여 논리의 구조를 밝히려고 하는 형식 논리학으로, 19세기 후반 불, 프레게, 러셀 등에 의하여 논리학의 주요 부분으로 발전하였다. 2015. 8. 22. 이전 1 다음