논리학 입문 010-012: 배타적 선언과 달리쓰기 규칙