Welcome to Scribd. Sign in or start your free trial to enjoy unlimited e-books, audiobooks & documents.Find out more
Download
Standard view
Full view
of .
Look up keyword or section
Like this
38Activity

Table Of Contents

LÓGICA MATEMÁTICA
1.1 EVOLUÇÃO DA LÓGICA
1.1.1 Introdução
1.1.2 Evolução da lógica
1.2 UMA CLASSIFICAÇÃO DA LÓGICA
1.2.1 Lógica Indutiva
1.2.2 Lógica Dedutiva
1.2.3 O que a lógica não é
1.2.4 O que é a lógica matemática?
1.3 ENUNCIADOS. PROPOSIÇÕES
1.3.1 Noção de raciocínio
1.3.2 Noção de verdade
1.3.3 Enunciados abertos
São enunciados abertos
1.3.4 Composição de proposições
1.3.5 Conectivos lógicos
1.3.6 Argumento: Indutivo. Dedutivo
1.3.7 Tabela-verdade de uma proposição composta
1.3.8 Construção de uma tabela−verdade
Exercícios 1-1
1.4 TAUTOLOGIA
1.4.1 Tautologias elementares
1.4.2 Implicação lógica
1.4.3 Equivalência lógica
Exercícios 1-2
1.5 ÁLGEBRA DE PROPOSIÇÕES
1.5.1 Propriedades da conjunção
1.5.2 Propriedades da disjunção
1.5.3 Propriedades da disjunção e conjunção
1.5.5 Redução do número de conectivos
1.5.6 Princípio de dualidade
Exercícios 1-3
Miscelânea 1-1
TEORIA DA DEMONSTRAÇÃO
2.1 ARGUMENTO
2.1.1 Argumento: Dedutivo. Indutivo
2.1.2 Premissas
2.1.3 Inferência
2.1.4 Conclusão
2.1.5 A Implicação em detalhes
2.1.6 Validade de um argumento
2.1.7 Condicional associada a um argumento
2.1.8 Reconhecendo Argumentos
2.1.9 Argumentos consistentes fundamentais
2.2 INFERÊNCIA LÓGICA
2.2.1 Regras de inferência
2.2.2 Principais regras de inferência lógica
2.2.3 Verificação com o uso de tabela-verdade
2.2.4 Verificação sem o uso de tabela-verdade
Exercícios 2-1
2.3.2 Demonstrações indiretas
2.4 FUNÇÕES PROPOSICIONAIS
2.4.1 Função proposicional
2.4.2 Raiz de uma função proposicional
2.5 QUANTIFICADORES
2.5.1 Negação de quantificadores
2.5.2 Ambigüidades
Exercícios 2-2
Miscelânea 2-1
CONJUNTOS
3.1 ESTUDO AXIOMÁTICO DA TEORIA DE CONJUNTOS
3.1.1 Conceitos primitivos
3.1.2 Axioma de extensão
3.1.3 Axioma de especificação
3.1.4 Definições de classes
3.1.5 Conjunto Infinito
3.1.6 Classe: Vazia. Universal
3.1.7 Axioma do par não ordenado
3.1.8 Inclusão de conjuntos
3.1.9 Axioma das potências
3.1.10 Conjunto: Potência. Disjunto
3.1.11 Diagramas: De Venn-Euler. Linear
3.1.12 Complemento de um conjunto
Exercícios 3-1
3.2 OPERAÇÕES COM CONJUNTOS
3.2.1 União de conjuntos
3.2.2 Interseção de conjuntos
3.2.3 Diferença de conjuntos
3.2.4 Diferença simétrica de conjuntos
3.3 ÁLGEBRA DE CONJUNTOS
3.3.1 Leis da álgebra de conjuntos
3.3.2 Princípio de dualidade
3.3.6 Axioma do conjunto vazio
Exercícios 3-2
4.1 OUTRAS CLASSES DE CONJUNTOS
4.1.1 Propriedade definida sobre um conjunto
4.1.2 Quantificadores
4.2 CONJUNTO PRODUTO
4.2.1 Par ordenado
4.2.2 Produto cartesiano
4.2.3 Diagonal de um produto cartesiano
4.2.4 Relações
4.2.5 Domínio e Imagem de uma relação
4.2.6 Diagramas de coordenadas
4.2.7 Gráfico de uma relação
4.3 TIPOS DE RELAÇÕES
4.3.1 Relação binária
4.3.2 Relação reflexiva
4.3.3 Relação simétrica
4.3.4 Relação anti-simétrica
4.3.5 Relação transitiva
4.3.6 Relação de equivalência
4.3.7 Relação inversa
Exercícios 4-1
4.4 CLASSES DE EQUIVALÊNCIA
4.4.1 Conjunto quociente
4.4.2 Partição de um conjunto
4.5 APLICAÇÃO
4.5.1 Domínio e Imagem de uma aplicação
4.5.2 Axioma de substituição
4.5.3 Gráfico de uma aplicação
4.5.4 Definição formal de aplicação
4.5.5 Aplicação biunívoca, sobrejetiva e bijetiva
4.5.6 Composição de aplicações
4.5.7 Imagem inversa de uma aplicação
4.5.8 Aplicação inversa
4.6 CARDINALIDADE DE UM CONJUNTO
4.6.1 Conjuntos enumeráveis
4.6.2 Paradoxo de Cantor
Exercícios 4-2
Miscelânea 4-1
NÚMEROS NATURAIS
5.1 CONJUNTO INDUTIVO
5.1.1 Axioma de Infinitude
5.2 NÚMEROS NATURAIS
5.2.1 Indução matemática
5.2.2 Adição de números naturais
5.2.3 Relação de ordem em N
5.2.4 Multiplicação de números naturais
Exercícios 5-1
5.3 PROPRIEDADES ADICIONAIS EM N
5.3.1 Multiplicidade
5.3.2 Divisibilidade
5.3.3 Relação entre o m.m.c. e m.d.c
5.3.4 Propriedades adicionais de divisibilidade
Exercícios 5-2
Miscelânea 5-1
OPERAÇÕES BINÁRIAS
6.1 RELAÇÃO DE ORDEM
6.1.1 Relação de ordem parcial
6.1.2 Relação de ordem total
6.2 LIMITES: Superior. Inferior
6.2.1 Supremo. Ínfimo
Exercícios 6-1
Índice
0 of .
Results for:
No results containing your search query
P. 1
PINEDO_logica

PINEDO_logica

Ratings: (0)|Views: 2,555|Likes:
Published by Werton Bastos

More info:

Published by: Werton Bastos on Feb 10, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

04/22/2013

pdf

text

original

You're Reading a Free Preview
Pages 6 to 55 are not shown in this preview.
You're Reading a Free Preview
Pages 61 to 92 are not shown in this preview.
You're Reading a Free Preview
Pages 98 to 156 are not shown in this preview.
You're Reading a Free Preview
Pages 162 to 220 are not shown in this preview.
You're Reading a Free Preview
Pages 226 to 266 are not shown in this preview.

Activity (38)

You've already reviewed this. Edit your review.
1 thousand reads
1 hundred reads
Josemar Nkala added this note
eu sou fanático desta materia
Denize Silva liked this
Denize Silva liked this
Wallace Martins liked this
augustobhmg3175 liked this
ivancleber liked this

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->