모순이 두 명제가 동시에 참이거나 거짓일 수 없고

어느 한 쪽이 참이면 다른 쪽은 꼭 거짓이어야 하는 '명제'간 관계인데

귀류법 설명하는 걸 보면 가정 결론(p->q) 둘 모두 '조건'에 해당되는데

(가정에 모순)할 때 가정이 명제가 아닌데 모순이란 단어를 왜 쓰지