LÓGICA DA COMPUTAÇÃO

LÓGICA DA COMPUTAÇÃO

1. CONECTIVOS LÓGICOS - CONJUNÇÃO

   • Representa ( a E b) ou A^B

2. CONECTIVOS LÓGICOS - DISJUNÇÃO

   • Representa (a OU b) ou AvB

3. CONECTIVOS LÓGICOS - NEGAÇÃO

   • Representa ( Não P) ou ¬P

4. CONECTIVOS LÓGICOS - CONDICIONAL

   • Representa ( P  → Q) ou " Se p então q"

5. CONECTIVOS LÓGICOS - BICONDICIONAL

   • Representa ( P ↔Q) ou P se e somente se Q

6. CONECTIVOS LÓGICOS - FÓRMULAS

   • Ex de FBF.: A ⋁ (¬B) → ¬(A ⋁ B) t
   • Tabela Verdade, Fórmula (2 elevado a n)

7. TEORIA DOS CONJUNTOS - CONJUNTOS

   • Denotação por extensão
   • Denotação por compreensão

8. LÓGICA PROPOSICIONAL

   • Princípio da Não-contradição
   • Princípio do terceiro excluído
   • Proposições compostas
   • conectivos lógicos

9. Tipos de Conjuntos

   • Conjunto vazio
   • Conjunto unitário
   • Conjuntos numéricos
   • Conjuntos finitos e infinitos

10. Pertinência

    • Pertence (b ∈ B)
    • Não Pertence ( b ∉ B )

11. Continência

    • Contém ( P ⊆ Q)
    • Não contém ( Q ⊇ P)

12. DIAGRAMA DE VENN

    • União (A ∪ B )
    • Intersecção ( A ∩ B)

13. Operações não reversíveis

    • União
    • Intersecção A ∩ B = { x | (x ∈ A) ⋀ (x ∈ B) }

14. Operações Reversíveis

    • Complemento ( ~A )
    • Conjunto das partes ( : P(A) = { X | X ⊆ A } )
    • Produto cartesiano ( A × B )
    • União disjunta (A + B = { 〈a, A〉 | a ∈ A } ∪ { 〈b, B〉 | b ∈ B } )

15. RELAÇÕES E FUNÇÕES

    • Relação Dual
    • Composição de relações
    • Banco de dados relacional
      • 2 Diagrama Entidade-Relacionamento
        • Total, Funcional, Injetora e Sobrejetora