귀류법 (reductio absurdum) 어떤 결론의 부정이 결국 필연적으로 거짓인 어떤 것으로 인도된다는 것을 보여줌으로써, 그 결론을 확립시키는 연역적 추리. 도식화하면 “p ⊃ (q & –q), ∴ –p“는 그것의 한 형식이다. Stephen F. Barker, 최세만 이재희 옮김, 『논리학의 기초』, 경기 파주: 서광사, 2009, p. 395. 가 귀류법
