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