Lógica para Computação

Lógica para Computação

1. Proposições

2. Proposições

   • Proposições Lógicas e conectivos
     • Tabela verdade
       • Conjunção: "e"
         • Disjunção: "ou"
           • Negação: "não"
             • Condicional: "Se...então
               • Bicondicional: "Se e somente se"

3. Fórmulas e seus Conectivos:

   • Conjunção (⋀)
     • disjunção (⋁
       • condicional (→)
         • bicondicional (↔)
           • Negação (¬)

4. Conjuntos:

   • Negação / Complemento
     • Disjunção / União
       • Conjunção / Intersecção
         • Condicional / Continência
           • Equivalência / Igualdade de Conjuntos

5. Relações e Funções

   • Entidades e Relacionamento
     • Relações entre conjuntos
       • Diagrama de Venn
         • Tipos de conjuntos