ETAPA 2 (tempo para realizao 20 horas )

LGICA MATEMTICA
Aula-tema 3 e 4: Lgica Proposional - Linguagem; Conectivos e Valores e lgicos; Tautologias

Esta atividade importante para que voc compreenda os requisitos do problema e determine uma
organizao inicial do cdigo fonte que permita o desenvolvimento de uma soluo, permitindo
iniciar, analisar, projetar e documentar por meio de ferramentas que otimizem o processo de
desenvolvimento de um projeto. Alm disso, importante para que aprenda a encontrar o valor
lgico de uma expresso em lgica proposicional e compreenda que os fundamentos matemticos
so importantes para a soluo de muitos problemas computacionais.

Para realiz-la, siga os passos descritos.
Transforme-o em pseudo-cdigo e identifique as proposies, do tipo se P ento Q, necessrias
para sua execuo.

4. Apresente as tabelas-verdades para as proposies encontradas e explique sua importncia na
execuo do algoritmo.

ETAPA 3 (tempo para realizao 20 horas )
LGICA MATEMTICA
Aula-tema 5 e 6: Lgica proposional - Argumentos Vlidos; Regras de Deduo; Mtodos
Dedutivos; Argumentos Verbais.

Esta atividade importante para que voc manipule arquivos e matrizes corretamente. Para que
aprenda usar ferramentas da lgica formal para ver como chegar a concluses a partir de
proposies dadas e adquira a experincia necessria para desenvolver prottipos de softwares,
bem como elaborar planos de testes visando garantir a qualidade dos softwares desenvolvidos.

3. Observe que no Passo 2 do algoritmo, s existir uma cidade k se o ciclo no estiver completo
com todas as cidades do conjunto. Expresse as negaes de Existe uma cidade k que no pertence
ao ciclo e ela mais prxima de qualquer cidade que est no ciclo usando as leis de De Morgan.