[최지헌]

먼저 6-3번에서

Propositional Logic 식들(formula)을 다음과 같이 정의했다:
type formula = TRUE
| FALSE
| NOT of formula
| ANDALSO of formula * formula
| ORELSE of formula * formula
| IMPLY of formula * formula
| LESS of expr * expr
and expr = NUM of int
| PLUS of expr * expr
| MINUS of expr * expr

라고 적혀있는데, ANDALSO, ORELSE, LESS는 뭘 의미하나요?

그리고 expr에서 NUM of int는 0, 1만 올 수 있는 게 맞나요?
ANDALSO, ORELSE는 왠지 그냥 AND, OR 같긴 한데 LESS는 뭔지 도통 모르겠네요;

그리고 6-5번에서는 수업시간에 교수님이 설명해 주신 것처럼 그냥 인자로 오는 string에 대해 편미분하면 되는 건가요? 가령 x+xy를 y에 대해 미분하라고 하면 그냥 x가 나오면 맞는 건지 궁금합니다

[이주상]

ANDALSO는 그냥 AND고
ORELSE는 그냥 OR이고
LESS는 그냥 두개 비교해서 < 이거 아닌가요

expr은 숫자들이랑 더하기 빼기?
그래서 LESS에서 expr1결과랑 expr2결과 비교하는거아님가요

and also? or else? 잘모름ㅋ

[최민아]

이주상 학생이 말씀해 주신 것처럼
ANDALSO는 boolean and, ORELSE는 boolean or입니다.
가령
eval (ANDALSO(TRUE, TRUE))는 true,
eval (ANDALSO(TRUE, FALSE))는 false,
eval (ORELSE(FALSE, TRUE))는 true,
eval (ORELSE(FALSE, FALSE))는 false입니다.

LESS는 <입니다. 첫 번째 expr이 두 번째 expr보다 작은지를 나타냅니다.
가령
eval (LESS(NUM 3, PLUS(NUM 2, NUM 4)))는
3이 2+4=6보다 작으므로 eval이 true를 계산합니다.
eval (LESS(MINUS(NUM 10, NUM 5), NUM 3)는
10-5=5가 3보다 크므로 false를 계산합니다.

위 예제에서 보신 것처럼, NUM of int에서 int는 임의의 정수입니다.
expr 타입의 식은 boolean 식이 아니고 정수식입니다.
formula 타입의 식이 boolean 식입니다.

6-5에서는
diff: ae * string -> ae에서 diff는 식과 변수를 받아 식을 주어진 변수로 미분합니다.
x+xy를 y에 대해 미분하면 x가 나오면 됩니다.

[임성철]

IMPLY의 의미도 알려주시면 감사하겠습니다..ㅠㅠ

[최민아]

A imply B는
A이면 B이다 라는 뜻입니다.

http://en.wikipedia.org/wiki/Truth_table#Logical_implication
위 링크의 logical implication 부분을 참조하세요.

false implies false, false implies true, true implies true 를 계산하면 true이고

true implies false를 계산하면 false입니다.