대우명제 틀:수학기초론 偶 귀류법 역(동음이의어) 이 조건문 좋은 XX은/는 죽은 XX 명제 필요조건과 충분조건 순환 논법 논리학 관련 정보 토르(마블 시네마틱 유니버스)/작중 행적 유턴 헴펠의 까마귀