否定の導入