ATPS Completo

Centro Universitário Anhanguera - Leme
Curso de Ciência da Computação

Nome: ALEX BEZERRA DE MENEZES RA: 6617347183
Nome: ANTÔNIO FERNANDO ZANCHETTA RA: 6400278544 Nome: CHARLES BORGES DE MELO RA: 6377228638
Nome: TIAGO FERREIRA CERIDÓRIO RA: 6640372820
2º Série

Atividade Prática Supervisionada
Lógica Matemática

Prof. Carlos Eduardo Spadin

Leme
2014

Sumário
1. ETAPA 1 4
1.1. Aula-tema: Apresentação da Disciplina e Metodologia de Trabalho. Introdução à Lógica. Álgebra de Conjuntos. 4
1.1.1 Passo 1 4
1.1.2 Passo 2 4
1.1.3 Passo 3 4
1.1.4 Passo 4 5
2. ETAPA 2 6
2.1. Aula-tema: Lógica Proposicional – Linguagem; Conectivos e valores lógicos; Tautologias. 6
2.1.1 Passo 1 6
2.1.2 Passo 2 6
2.1.3 Passo 3 7
2.1.4 Passo 4 7
3. ETAPA 3 9
3.1. Aula-tema: Lógica Proposicional – Linguagem; Conectivos e valores lógicos; Tautologias. 9
3.1.1. Passo 1 9
3.1.2. Passo 2 9
3.1.3. Passo 3 9
3.1.4. Passo 4 10
4. ETAPA 4 12
4.1. Aula-tema: Lógica Proposicional – Argumentos Válidos; Regras de Dedução; Métodos Dedutivos; Argumentos Verbais; Lógica Posicional – Tableaux Semânticos. Técnicas de Demonstração. 12
4.1.1. Passo 1 12
4.1.2. Passo 2 12
4.1.3. Passo 3 12
4.1.4. Passo 4 12
5. ETAPA 5 13
5.1. Aula-tema: Lógica Proposicional – Argumentos Válidos; Regras de Dedução; Métodos Dedutivos; Argumentos Verbais; Lógica Posicional – Tableaux Semânticos. Técnicas de Demonstração. 13
6. ETAPA 6 14
6.1. Aula-tema: Lógica de Predicados – Linguagem; Quantificadores; Predicados e Validade. Lógica de Predicados – Regras de Dedução; Métodos Dedutivos; Argumentos Verbais. 14
6.1.1. Passo 1 14
6.1.2. Passo 2 14
6.1.3. Passo 3 14
7. ETAPA 7 16
7.1. Aula-tema: Álgebra de Boole. 16
7.1.1. Passo 1 16
7.1.2. Passo 2 16
7.1.3. Passo 3 17
8. ETAPA 8 18
8.1. Aula-tema: Álgebra de Boole. 18
8.1.1. Passo 1 18
8.1.2. Passo 2 18
8.1.3. Passo 3 18
8.1.4. Passo 4 18
Referências Bibliográficas 19

1. ETAPA 1

1.1. Aula-tema: Apresentação da Disciplina e Metodologia