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