La operación unaria interna negación, definimos una aplicación que a cada proposición a, le asigna otra poposición b.