-p es una proposición falsa si p es una proposición verdadera, y viceversa.