対偶命題「あるモノが何かをしたと実証されれば、そのモノは存在する」