술어 논리: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
24번째 줄:
x가 한국인이라면 x는 인간이다. : Korean(x) -> Man(x)
변수 x가 나타내는 객체의 집합 D를 정의역(domain)이라 한다.
이 정의역 (x의 범위) 내에서 “한국인”인 x만을 지정하는 기호로 '∃'와 '∀'를 사용할 수 있다. '∃x'는 '적어도 어느 하나의 x가 존재함'을 나타내며 '존재기호'라 부른다. '∀x'는 '모든 x에 대하여'라는 의미로 사용되며 '전칭기호'라 부른다.
'∃'와 '∀'를 총칭하여 '한정기호'라 하며 한정기호를 포함하고 있는 논리식에 대해서는 다음의 등식이 성립힌다.
| |||