[정태호]

TRUE, FALSE, IMPLY, NOT 등은 정확히 알겠는데요ㅜ

ORELSE나 ANDALSO 는 정확히 어떤 연산을 지칭하는건지 헷갈립니다

ORELSE는 ||연산이고 ANDALSO는 &&연산이 맞나요?
사전에 쳐보니까 ORELSE 는 배타적 논리합(XOR)이라고 하던데.. ANDALSO는 정확한 뜻이 안나오더라구요

정확한 정의좀 부탁드립니다 감사합니다~

[정태호]

3번의 nat type이 정확히 뭘 나타내고자 하는건지 의미가 와닿지 않아서 질문드립니다.

예를들어 let a = SUCC(SUCC(ZERO));;라고 했을 때 a가 가지는 값이 어떤 수인지 궁금합니다.

요약하자면 SUCC가 뭘 나타내고자 만든 constructor인지 알고싶습니다.

[김민석]

nat는 자연수를 귀납적으로 정의한 걸거에요.
(SUCC n)은 n+1이라고 생각하심 됩니다.
SUCC (SUCC ZERO)는 2가 되구요

[강동옥]

SUCC 은 successor입니다.

자연수를 정의하는 전형적인 방법입니다.
0
0+1
0+1+1
...

[정태호]

답변 모두 감사드립니다.