一个起否定作用的命题为了否定一个命题，首先必须在某种意义上使它为真。