했던것들/이산수학
술어 논리(predicate logic)
명제 중에는 값이 정해져있지 않는 변수나 객체(object)가 있어서 참과 거짓을 판별하기 힘든 경우가 있다. 즉, 변수의 값에 따라 그 명제가 참이되고 거짓이 될 수 있다. 예를들어 x²+5x+6=0 이라는 명제의 x의 값이 -2 또는 -3일 경우에는 참의 값을 가지고 그 외에는 거짓의 값을 가진다. 이런 경우 x²+5x+6=0을 만족시키는 변수가 있다고 표현한다. 이와같은 명제의 형태를 p(x)로 표시하고 p(x)를 변수 x에 대한 명제 술어(propositional predicate)라 한다. x는 3보다 크다. 는 술어인가? - x에 1을 대입하면 1 > 3 이 되며 거짓인 명제가 된다. - x에 4를 대입하면 4 > 3 이 되며 참인 명제가 된다. 즉, x는 3보다 크다. 는 술어이다. 술어를 ..
