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

내용 삭제됨 내용 추가됨
잔글편집 요약 없음
8번째 줄:
== 명제논리와 술어논리의 차이 ==
[[명제논리]]에서는 명제가 최소 단위이므로 명제의 내부구조에 대한 분석은 이루어질 수 없다. 예를 들어 다음과 같은 두 명제논리
'소크라테스는 사람이다.'
'플라톤은 사람이다.'
는 완전히 별개의 사실이며, 이것으로부터 '소크라테스'와 '플라톤'이 모두 사람이라는 유사점을 발견할 수 없다. 즉, 명제논리는 지식표현을 일반화할 수 없다. 따라서
'모든 사람은 죽는다.'
라는 명제를 추가할 때, 이 세 명제로부터 소크라테스와 플라톤은 죽는다는 사실을 유도해 낼 수 없게 되는 것이다.