mostrar texto associado
Se o argumento 2 for válido, então a proposição Q3 será verdadeira.