시중에 풀린 pdf에선 명제논리부분이 없는거같던데 원래 이런가요?