Please enable JavaScript.
Coggle requires JavaScript to display documents.
Lógica Para Computação, image, image, image, image, image - Coggle Diagram
Lógica Para Computação
Lógica Proposicional
Lógica Booleana
Verdadeiro
Falso
Conectivos Lógicos
Conjunção =
E
Disjunção =
Ou
Negação =
Não
Condicional =
se P então Q
Bicondicional =
P se e somente se Q
Fórmulas
Preposições, conectivos e parênteses
Fórmulas bem formuladas =
fbf
Conjuntos
Conjuntos numéricos
Conjunto vazio
conjuntos finitos
conjuntos infinitos
Conjunto unitário
Teoria dos conjuntos
Diagrama de Venn
Continência
Operações não reversíveis :
União/ Intersecção
Pertinência
Operações reversíveis :
Complemento/ Conjunto das partes/ Produto Cartesiano/ União disjunta
Relações e Funções
Diagrama Entidade-Relacionamento
Entidades : Retângulo
Relacionamentos : Losango
Regras de relacionamento
