命題の否定の余談