Es decir, si el valor de verdad de una proposición "p" es verdadero, entonces el valor de verdad de ~"p" es falso.