mostrar texto associado

A proposição ~P é uma tautologia, isto é, o seu valor lógico é verdadeiro independentemente dos valores lógicos das proposições p, q e r.