술어 논리: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Monsieur Lichan (토론 | 기여) 편집 요약 없음 |
→명제논리와의 차이: 오타수정 태그: m 모바일 웹 |
||
35번째 줄:
:'소크라테스는 사람이다: Man(SOCRATES)'
:'플라톤은 사람이다: Man(
:'모든 사람은 죽는다: <math>\forall</math>x{Man(x)->Die(x)}'
여기서 Man은 '사람이다'라는 술어에 해당되고, SOCRATES와 PLATO는 각각 '소크라테스'와 '플라톤'을 나타내는 객체가 된다. 이때 SOCRATES와 PLATO는 모두 Man이라는 공통된 술어의 수식을 받고 있다. 이때 Man(SOCRATES), Man(PLATO)가 모두 참이라면 <math>\forall</math>x{Man(x)->Die(x)}에 의해 Die(SOCRATES)와 Die(PLATO)가 모두 참이라는 사실을 유도해 낼 수 있다.
|