[일반] 이런 종류의 귀류법도 있나요?

[익명(39.7)]

기존 귀류법이 모순을 이끌어내 명제가 거짓임을 입증한다면

무모순을 이끌어내 참임을 입증할수도 있나요

- dc official App

[익명(223.39)]

무모순일땐 모르는거임

[익명(39.7)]

무모순이면 참이라고 할수없나요? - dc App

[익명(223.39)]

ㅇㅇ

[익명(223.39)]

그냥 그렇게 가정했을 때 모순이 나오지 않는다는 것 외엔 모름

[익명(134.49)]

무모순이면 제일 첫 가정이 참이면 결론도 참. p이면 q이다를 증명하는데, "p가 거짓임을 가정하면" 으로 시작해서 무모순이 나왔을 경우, 첫 가정인 "p가 거짓이다"가 참인지 거짓인지는 모름.