O aprendizado da Lógica auxilia os estudantes no raciocínio, na compreensão de conceitos básicos, na verificação formal de programas e melhor os prepara para o entendimento do conteúdo de tópicos mais avançados.

Este roteiro constitui uma INTRODUÇÃO À LÓGICA ELEMENTAR CLÁSSICA, procurando alcançar os objetivos gerais e específicos propostos pela disciplina Lógica Matemática de Cursos de Ciência da Computação que possuem a Lógica Matemática em seu currículo.

O que apresentamos aqui, de modo sucinto, engloba uma parte do conteúdo da disciplina LÓGICA MATEMÁTICA do curso de Ciência da Computação desta Universidade.

Esperamos estar contribuindo para o seu aprendizado!

PONTIFÍCIA UNIVERSIDADE CATÓLICA DE SÃO PAULO
CENTRO DAS CIÊNCIAS EXATAS E TECNOLOGIA
- CELINA A.A.P. ABAR -
- 2008 -