Update especificacao.sable

Novas correções em Expressões e Expressões Lógicas.