논리적 추론과 증명 (leet, psat)