혹시 논리학에 대해 좀 아시는 분 계신가요?

어떤 명제를 증명하는데 다양한 논리가 필요하다는 걸 절실히 깨닫고 있는데요...

무슨 영화인지는 잘 기억안나는데 어떤 터무니 없는 가설을 설정하고 그게 거짓이라는 것을 증명해서

또 다른 가설을 증명하는 뭐 대충 이런식의 논리법? 을 사용하던데...

혹시 조금은 가볍게? 읽을 수 있는 논리학 서적 아시는 것 있으시면 추천 좀 해주세요!