mostrar texto associado

P → Q é sempre verdadeira.