LÓGICA DA COMPUTAÇÃO
von Mario Martins Ribeiro
1. 1 - LÓGICA PROPOSICIONAL
1.1. 1.1 Lógica
1.2. 1.2 Proposições
1.3. 1.3 Proposições compostas e conectivos lógicos
1.4. 1.4 Tabela Verdade
2. 2 - CONECTIVOS LÓGICOS - CONJUNÇÃO
2.1. 2.1 Conjunção
3. 3 - CONECTIVOS LÓGICOS - DISCONJUNÇÃO
3.1. 3.1 Disjunção
4. 4 - CONECTIVOS LÓGICOS - NEGAÇÃO
4.1. 4.1 Negação
5. 5 - CONECTIVOS LÓGICOSCONDICIONAL
5.1. 5.1 Condicional
6. 6 - CONECTIVOS LÓGICOS - BICONDICIONAL
6.1. 6.1 Bicondicional
7. 7 - CONECTIVOS LÓGICOS - FÓRMULAS
7.1. 7.1 Fórmulas
7.2. 7.2 Tabelas-verdade
8. 8 - TEORIA DOS CONJUNTOS-CONJUNTOS
8.1. 8.1 Conjuntos
9. 9 - TEORIA DOS CONJUNTOS – PERTINÊNCIA E CONTINÊNCIA
9.1. 9.1 Pertinência
9.2. 9.2 Continência
10. 10 - TEORIA DOS CONJUNTOS - DIAGRAMA DE VENN
10.1. 10.1 Diagrama de Venn
10.2. 10.2 Conectivos lógicos/operações de conjuntos
11. 11 - TEORIA DOS CONJUNTOS - OPERAÇÕES NÃO REVERSÍVEIS
11.1. 11.1 Operações não reversíveis
11.1.1. 11.1.1 União
11.1.2. 11.1.2 Intersecção
12. 12 - TEORIA DOS CONJUNTOS - OPERAÇÕES REVERSÍVEIS
12.1. 12.1 OPERAÇÕES REVERSÍVEIS
12.1.1. 12.1.1 Complemento
12.1.2. 12.1.2 Conjunto das partes
12.1.3. 12.1.3 Produto cartesiano
12.1.4. 12.1.4 União disjunta
13. 13 - RELAÇÕES E FUNÇÕES - CONCEITOS
13.1. 13.1 Conceitos
14. 14 - RELAÇÕES E FUNÇÕES - TIPOS
14.1. 14.1 Conceitos
14.1.1. 14.1.1 Relação Dual
14.1.2. 14.1.2 Composição de relações