mostrar texto associado

Se a proposição P for falsa, então a proposição será uma proposição verdadeira.