PROGRAMA DE DISCIPLINA DO CURSO DE LICENCIATURA EM MATEMÁTICA

DISCIPLINA: Lógica Matemática

HORAS-AULA SEMANAIS: 40 hs
TOTAL DE HORAS-AULA PRESENCIAL: 40 hs
TOTAL DE HORAS-AULA SEMIPRESENCIAL, REDE DE LEITURA: 0 hs
TOTAL DE HORAS-AULA: 40 hs

1 - OBJETIVOS DA DISCIPLINA
Levar o aluno a reconhecer os conceitos de Lógica Matemática e saber aplicar esses conceitos.

2 – EMENTA
Proposições. Conectivos. Operações lógicas sobre proposições. Construção de tabela verdade. Tautologias,
Contradições e contingências. Implicação lógica. Equivalência lógica. Argumentos. Regras de inferência.

3 – CONTEÚDO PROGRAMÁTICO

UNIDADE I:.Proposições e conectivos

1.1 – Conceito de proposição
1.2 - Valores lógicos das proposições
1.3 - Proposições simples e compostas
1.4 - Conectivos
1.5 - Tabela-verdade

UNIDADE II: Operações lógicas sobre proposições

2.1 – Negação
2.2 – Conjunção
2.3 – Disjunção
2.4 – Condicional
2.5 – Bicondicional

UNIDADE III: Construção de Tabelas-Verdade

3.1 – Tabela-verdade de uma proposição composta
3.2 – Número de linhas de uma tabela-verdade
3.3 – Construção da tabela-verdade de uma proposição composta
3.4 – Valor lógico de uma proposição composta
UNIDADE IV: Tautologias, contradições e contingências
4.1 – Tautologia
4.2 – Contradição
4.3 – Contingência

UNIDADE V: Implicação Lógica

5.1 – Definição
5.2 – Propriedades
5.3 – Tautologias e implicação lógica

UNIDADE VI: Equivalência Lógica

6.1 – Definição
6.2 – Propriedades
6.3 – Tautologias e equivalência lógica
6.4 – Proposições associadas a uma condicional
6.5 – Negação conjunta de duas proposições
6.6 – Negação disjunta de duas proposições

UNIDADE VII: Álgebra das proposições

7.1 – Propriedades da conjunção
7.2 – Propriedade da disjunção
7.3 – Negação da condicional
7.4 – Negação da bicondicional

UNIDADE VIII: Argumentos e Regras de Inferência

8.1 – Definição de argumento
8.2 – Validade de um argumento
8.3 - Critério de validade de um argumento
8.4 - Condicional associada a um argumento
6.5 - Regras de inferência

4 - METODOLOGIA
Utilizar a aula expositiva para introduzir o assunto e a aula prática em resolução de exercícios.

5 – RECURSOS DIDÁTICOS
Quadros de pilot e de giz, listas de exercícios,livro e biblioteca.

6 – SISTEMA DE AVALIAÇÃO
* Primeira avaliação: avaliação individual e com consulta
* Segunda avaliação: avaliação individual e sem consulta
* Prova Final: avaliação individual e sem consulta.

7 - BIBLIOGRAFIA BÁSICA
FILHO, Edgard de Alencar, iniciação à Lógica Matemática, São Paulo: Nobel, 2005.