mostrar texto associado
A proposição composta "Se A então B" é necessariamente verdadeira.