대탈출/1~2화 이등변삼각형 블레이드 러너 2049/등장인물 同 비오-사바르 법칙 헴펠의 까마귀 취추바이 동치관계 필요조건과 충분조건 논리학 관련 정보 명제 논리 쿠도 신이치 미즈하라 가나 자싱시 조건문 오시노 시노부 세금계산서