Update especificacao.sable

Parcial de Expressões Lógicas