Lógica da Computação

Lógica da Computação

1. Lógica Proposicional

   • Não Contradição
   • Terceiro Excluído

2. Conectivos Lógicos

   • Conjunção
   • Disjunção
   • Negação
   • Condicional
   • Bicondicional

3. Tabela Verdade

4. Conjuntos

   • Vazio
   • Unitário
   • Numérico
   • Finito
   • Infinito

5. Pertinência

   • ∉
   • ∈

6. Continência

   • ⊆
   • ⊇
   • ⊄
   • ⊅
   • =

7. Diagrama de Venn

8. Operações

   • Reversíveis
     • Complemento
     • Conjunto das partes
     • Produto cartesiano
     • União disjunta
   • Não Reversíveis
     • Intersecção
     • União

9. BD Relacional