술어 논리: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
잔글편집 요약 없음 |
잔글편집 요약 없음 |
||
13번째 줄:
술어논리는 명제 논리의 이러한 문제를 해결할 수 있다. 술어논리는 하나의 명제를 술어와 그 술어의 수식을 받는 객체로 분리하여 '술어(객체)'의형태로 표현한다. 예를 들면 앞의 명제들은 다음과 같이 술어논리식으로 표현될 수 있다.
''소크라테스는 사람이다 -> Man(SOCRATES),
플라톤은 사람이다 -> Man(PLATO),
모든 사람은 죽는다 -> <math>\forall</math>x{man(x)->Die(x)}'',
여기서 Man은 '사람이다'라고 하는술어에 해당되고, SOCRATES와 PLATO는 각각 '소크라테스'와 '플라톤'을나타내는 객체가 된다. 이때 SOCRATES와 PLATO는 모두 Man이라는 공통된 술어에 의해 수식을 받고 있다.
| |||