Mind map
Lógica da Computação
Map content
Lógica da Computação
Lógica proposicional
- Não contradição
- Verdadeiro ou falso
- Não existe um terceira resposta
- Verdadeiro ou falso
- Proposições
- Proposições compostas
- E
- Conjunção
- V quando ambos forem V
- AND
- Conjunção
- OU
- Disjunção
- V quando ao menos uma for V
- OR
- Disjunção
- NÃO
- Negação
- Inverte o resultado
- NOT
- Negação
- SE ENTÃO
- Condicional
- F quando o segundo valor for F
- <=
- Condicional
- SE E SOMENTE SE
- Bicondicional
- V somente quando ambos forem V
- =
- Bicondicional
- Conectivos lógicos
- Formulas
- ⋀
- ⋁
- ¬
- →
- ↔
- →
- ¬
- ⋁
- ⋀
- Formulas
- E
- Tabela verdade
- Possibilidades de V ou F
- Proposições compostas
- Não contradição
Teoria dos conjuntos
- Conjuntos
- Coleção de elementos
- Denotação por extensão
- Lista todos elementos
- Denotação por compreensão
- Descreve propriedades
- Conjunto vazio
- Sem dados
- Conjunto unitário
- Único elemento
- Conjunto numérico
- Regras matemáticas
- Denotação universal
- ℕ
- ℤ
- ℚ
- I
- ℝ
- I
- ℚ
- ℤ
- ℕ
- Denotação universal
- Regras matemáticas
- Pertinência
- Pertence ou não pertence ao conjunto
- Continência
- Contém Está Contindo
- Diagrama de Venn
- John Venn (1834-1923)
- Visão clara dos conjuntos
- Não reversíveis
- União
- Intersecção
- União
- Reversíveis
- Complemento
- Conjunto das partes
- Produto cartesiano
- União disjunta
- Produto cartesiano
- Conjunto das partes
- Complemento
- Conjuntos
Information
- Description
- Mind Map on Lógica da Computação, created by Felipe Henrique on 16/03/2022.
- Created by
- Felipe Henrique
- Views
- 1
- Rating