반응형 술어1 [이산수학] 1.3 술어와 한정기호 술어는 글로 표현하기보다는 보여주겠습니다. "x is greater than 3" 이라는 문장이 있으면, x는 변수이고, is greater than 3 은 술어 입니다. P(x) = x is greater than 3 에서 P(x)는 명제 함수 입니다. 예를 들어 P(x) = x ＞ 3 일때, P(7) 와 P(2)의 진리값을 물으면, P(7) 은 7 ＞ 3 이기때문에 참이고 P(2)은 2 ＞ 3 이기때문에 거짓입니다. 인제 전조건과 후조건입니다. 전조건은 어떤 프로그램을 수행하기 전에 입력 받아야 하는것이고, 후조건은 프로그램을 수행했을때 나와야하는 결과 입니다. 만약 프로그램이 x 와 y 를 바꾸는 프로그램이면 x 와 y 에 전조건으로 값을 입력받아야 합니다. 그리고 후조건은 x 와 y를 바꾼 값이겠.. 2019. 3. 26. 이전 1 다음 반응형
