mostrar texto associado

A proposição ~(~PΛP) é verdadeira, independentemente do valor lógico da proposição P.