[노건일]

주어진 formula를 받아서 참값을 만들어내는 함수 eval 이라면,

참,거짓을 판단하는 함수를 만들라는건가요?

[노건일]

1. 그리고, 웹에서 찾은건데요

andalso 는 and와 비슷하지만 (둘다 true일때 true)
앞이 false이면 바로 false 리턴

orelse 는 or과 비슷하지만(둘 중 하나만 true이면 true)
앞이 true이면 바로 true 리턴..

이 정의대로 만들어도 되나요?

2. andalso에서 둘다 false면 false인가요?

[허기홍]

첫째,
eval 함수는 타입 정의에서 보시다시피 bool type 값을 리턴합니다.
교수님께서 적어놓으신 참값이라는 뜻은 진리값(truth value)를 의미합니다.
따라서 주어진 식이 참이면 true 거짓이면 false를 리턴하시면 됩니다.


둘째,
제가 nml과 ocaml을 착각했네요.

어제 한 답변은 nml에 해당됩니다.

ocaml에서는 andalso, orelse키워드가 없습니다.

논리 and는 && 혹은 & 로 쓰고
논리 or는 || 혹은 or로 씁니다.
의미는 nml에서 andalo, orelse처럼 첫번째 인자의 결과 값에 따라 두번째 인자를 계산 하느냐 마느냐를 결정합니다.

이런 면에서는 nml의 표현력이 더 풍부하다고 할 수 있겠네요.

그리고 ocaml에서 and 키워드는 함수나 타입 정의할 때 쓰지요.

[노건일]

조교님의 친절한 답변에 항상 감탄하며..

자꾸 귀찮게 기본적인걸 질문하게 되는데요..

IMPLY (a, b) 라면

a가 참인 경우, b가 참이면 true
a가 거짓인경우 true
나머지 false

이게 맞나요?

[허기홍]

네. 맞습니다.