명제, 귀류법, 이런거 아직 감이 덜 잡혀서 책으로 읽어볼까 하는데 추천좀...