챌린지 1번 질문

이지은 · 가입: 2014년 9월 6일 올린 글: 19

안녕하세요 조교님

챌린지 1번의 lemma 3 (preservation under substitution) 에서 weakening lemma 에 대한 증명을 해야하나요?

감사합니다

최재승 · 가입: 2012년 9월 10일 올린 글: 211

안녕하세요,

수업 슬라이드 및 교재의 해당 부분을 살펴보니, weakening lemma에 대한 증명도 있어야 전체 증명이 완전해질 것 같습니다.

채점은 교수님께서 직접 하시기 때문에 제가 확답을 드릴 수는 없지만, 안전하게 weakening lemma 에 대한 증명도 포함하시는 것이 좋겠습니다.

조교 드림