술어 논리: 두 판 사이의 차이

 

== 개요 ==

술어 논리에서는 하나의 명제를 [[술어]]와 [[객체]]로 분리하여 표현한다. 하나의 술어는 하나 이상의 객체를 수식할 수 있다. 또한 객체에는 상수가 사용될 수도 있고 [[변수]]가 사용될 수도 있다.

: <math>x</math>가 한국인 이라면 <math>x</math>는 인간이다.: <math>Korean(x) \to Man(x)</math>