(1)P and -P

{1}(2)P   연언제거

{2}(3)P or Q  선언도입

{1}(4)-P  연언제거

{3, 4}(5) Q  선언제거


이 도출엔 형식적으로 전혀 결함이 없는데

왜 직관에 반하는 것처럼 느껴질까요?

모순을 참이라고 전제로 두는 부분 때문일까요?