adolfo/Disciplinas/LogicaParaComputaca… · ou o estado de urn programa). Usando variáveis,...
18
adolfo/Disciplinas/LogicaParaComputaca… · ou o estado de urn programa). Usando variáveis, podemos agora especificar os significados de E, I e J de maneira mais formal: x é um