고등 집합과 명제는 했는데 뭔가 한 느낌이 아님
겉핥기한 느낌이라서 수리 논리학 교재 추천해줘라