Teste

[pic]
PONTIFÍCIA UNIVERSIDADE CATÓLICA DE SÃO PAULO
FACULDADE DE CIÊNCIAS EXATAS E TECNOLOGIA
[pic]
NOÇÕES DE LÓGICA MATEMÁTICA
[pic]
CELINA A.A.P. ABAR
-2011-

NOÇÕES DE LÓGICA MATEMÁTICA
[pic]
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!
[pic]
PONTIFÍCIA UNIVERSIDADE CATÓLICA DE SÃO PAULO
CENTRO DAS CIÊNCIAS EXATAS E TECNOLOGIA
- CELINA A.A.P. ABAR -
- 2008 -

NOÇÕES DE LÓGICA MATEMÁTICA
[pic]
INTRODUÇÃO
Neste roteiro, o principal objetivo será a investigação da validade de ARGUMENTOS: conjunto de enunciados dos quais um é a CONCLUSÃO e os demais PREMISSAS. Os argumentos estão tradicionalmente divididos em DEDUTIVOS e INDUTIVOS.
ARGUMENTO DEDUTIVO: é válido quando suas premissas, se verdadeiras, a conclusão é também verdadeira.
Premissa : "Todo homem é mortal."
Premissa : "João é homem."
Conclusão : "João é mortal."
Esses argumentos serão objeto de estudo neste roteiro.
ARGUMENTO INDUTIVO: a verdade das premissas não basta para assegurar a verdade da conclusão.
Premissa : "É comum após a chuva ficar nublado."
Premissa : "Está chovendo."
Conclusão: "Ficará nublado."
Não trataremos do estudo desses argumentos neste roteiro.
As premissas e a conclusão de um argumento, formuladas em uma