술어 논리: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
편집 요약 없음 |
|||
4번째 줄:
== 명제논리와 술어논리의 차이 ==
[[명제논리]]에서는 명제가
예를 들어 다음과 같은 두 명제논리
'소크라테스는 사람이다'
12번째 줄:
라는 명제를 추가할 때, 이 세 명제로부터 소크라테스와 플라톤은 죽는다는 사실을 유도해 낼 수 없게 되는 것이다.
술어논리는 명제논리의 이러한 문제를 해결할 수 있다. 술어논리는 하나의 명제를 술어와 그 술어의 수식을 받는 객체로 분리하여 '술어(객체)'
''소크라테스는 사람이다 : Man(SOCRATES)''
| |||