并非所有的小猪都叫佩奇——对命题否定的负命题