3.1 술어

술어 : 값이 정해지지 않은 변수를 포함해, 그 변수의 값에 따라 참, 거짓이 판별되는 문장 x는 2이상이다 x+1=2 이러한 문장은 x를 변수로 하는 술어이며, x를 자유변수라고 한다. 이러한 x를 변수로 갖는 술어는 P(x), Q(x)등으로 나타낸다. x는 2이상이다 라는 술어를 P(x)라고 할때, P(1)는 거짓, P(3)은 참이다. 자유 변수 x에 대한 술어를 x에 대한 조건이라 하며, 변수 x가 취할수 있는(술어의 참거짓과 관계없이) x의 변역이라 한다....

3.1 술어에 대한 요약내용입니다.

자세한 내용은 아래에 원문링크를 확인해주시기 바랍니다.

원문링크 : 3.1 술어