신흥철 교수의 이산 수학 3, 4 강: 한정자, 논리, 2장 증명
1장 명제 3. 변수를 포함한 명제와 한정자 명제 함수 (Propositional Function) P(x) 명제는 참과 거짓으로 판별할 수 있는 문장, 수식이다. 그런데 변수를 포함한 문장이 되려면 명제가 되려면 명제를 참이나 거짓으로 판별할 수 있는 변수의 범위(한정자, Quantifier)가 지정되어야 한다. 명제에 포함되된 변수가 속하게 될 범위를 논의 영역(Universe of Discourse - D)이라고 한다. 그리고 이 논의 영역 D에 속하는 변수 x를 포함하여 진릿값을 판별할 수 있는 문장이나 수식을 명제 함수(Propositional Function - P(x))라고 한다. 예제) 명제함수 P(x,y)가 x = 2y일 때, P(1,2)와 P(2,1)의 진릿값은? P(1,2) 1 != ..