La negación de una proposición es una nueva proposición que tiene un valor de verdad opuesto a la proposición original.