술어 논리: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Dialektike (토론 | 기여) 잔글편집 요약 없음 |
잔글 위키백과:봇/편집 요청#2010-03-26 Dalgial의 요청의 일부(그때, 이때) |
||
17번째 줄:
모든 사람은 죽는다 -> <math>\forall</math>x{man(x)->Die(x)}
여기서 Man은 '사람이다'라고 하는술어에 해당되고, SOCRATES와 PLATO는 각각 '소크라테스'와 '플라톤'을나타내는 객체가 된다.
이때 Man(SOCRATES), Man(PLATO)이 모두 참이라면 <math>\forall</math>x{man(x)->Die(x)}에 의해 Die(SOCRATES)와 Die(PLATO)가 모두 참이라는 사실을 유도해 낼 수 있다.
| |||