Lógica Matemática

Annotations:

• http://www.famat.ufu.br/system/files/conteudo/ges001.pdf
• ALENCAR F. E., Teoria Elementar do Conjuntos.São Paulo: Nobel, 1978. ALENCAR FILHO, E. Iniciação à Lógica. São Paulo: Nobel, 1986. DAGHLIAN, J., Lógica e Álgebra de Boole. São Paulo: Atlas, 1995. DOMINGUES, H., H. IEZZI, G. Álgebra Moderna. Editora Atual, Brasil, 1995.

1. Teoria dos Conjuntos

   Annotations:

   • proprieds conjs, subconjuntos, operaçs, conj das ptes de um conj, conj enumeráveis, conj parcialmente ordenados, Produto cartesiano,
   • relaçs pertinencia e iguald, relaçs binarias, relaç sobre um conj, inversa de uma relaç,
   1. Relações Equivalência, Ordem,
2. Teoria matemát.
3. Tabelas Verdade
4. Argumento
5. Lógica sequencial
6. Técnicas Dedutivas

   Annotations:

   • Teoremas e proposições;tipos de demonstração
   1. Teorema e demonstração
7. Álgebra Booleana

   Annotations:

   • : Operação binária, funções Booleanas, representação, formas normais, circuitos lógicos
8. Sentenças matemáticas
9. Conectivos
10. Lógica sentencial:decibilidade
11. Relaçs Implicação e Equivalencia