예를들어
p-->q를 직접적으로 증명하는건 불가하고
~q->~p만 직접증명 가능한.

혹은 반례를 통해서"만" 거짓임을 증명 할 수밖에 없는.

이런 특성을 가진 명제들이 "존재한다"는 참? 아니면 알려지지않음?

- dc official App