否定の定義