술어 논리학

술어 논리학

술어 논리(predicate logic)는 \forall, \exists 등의 술어 기호를 사용하는 논리 구조를 의미한다. 일반적으로 1차 술어논리가 많이 사용되지만, 2차 논리 등 고차 술어논리도 사용된다. 함수논리 또는 양화(量化)의 논리라고도 하며, 명제 논리(命題論理)보다 확장된 논리이다.
순수한 명제 논리 만으로는 지식표현을 일반화 할 수 없으며, 또한 주어진 명제로부터 새로운 결론을 유도해 낼수가 없으므로 술어논리를 이용해 이러한 문제를 해결한다.
술어논리는 하나의 명제를 술어와 그 술어의 수식을 받는 객체로 분리하여 '술어(객체)'의 형태로 표현한다. 하나의 명제를 술어와 객체로 분리하여 표현한다. 하나의 술어는 하나 이상의 객체를 수식할 수 있다. 또한 객체는 상수가 사용될 수도 있고 변수가 사용될 수도 있다.

자세히보기 : https://ko.wikipedia.org/