Mind map
Matemática Discreta
Map content
Matemática Discreta
Relações
- Comparação de objetos com ordem definida
- Objeto
- Regra ou não
- Objeto
- MENOR QUE "<"
- Regra ou não
- Objeto
- Binárias
- AxB (a,b| a€A ^ b€B)
- Endorrelação
- AxA (a,b | a€A ^ b€A)
- A se relaciona com A
- Grafo
- Gráfico
- Arestas
- Indica Relação
- Vértices
- Conjuntos
- Arestas
- Gráfico
- Proprieadades
- Reflexíva
- (aRa| a € A)
- Todos os elementos se autorelacionam
- (aRa| a € A)
- Irreflexíva
- (a € A)
- a não se relaciona com a
- (a € A)
- Simétrica
- (a € A)(b € A)(aRb -> bRa)
- Para cada (a,b) tem se um (b,a)
- (a € A)(b € A)(aRb -> bRa)
- Anti-simétrica
- (a € A)(b € A)(aRb ^ bRa -> a=b)
- Se existe (a,b) não existe (b,a)
- (a € A)(b € A)(a~Rb v b~Ra -> a ≠ b)
- (a € A)(b € A)(aRb ^ bRa -> a=b)
- Transitiva
- (∀a ∈ A)(∀b ∈ A)(∀c ∈ A)(aRb ∧ bRc → aRc)
- Se existe (a,b) e (b,c) então existe (a,c)
- (∀a ∈ A)(∀b ∈ A)(∀c ∈ A)(aRb ∧ bRc → aRc)
- Reflexíva
- AxA (a,b | a€A ^ b€A)
- Matrizes
- Gráfico
- AxB
- Linhas
- A
- Colunas
- B
- Linhas
- AxB
- Gráfico
- Endorrelação
- AxB (a,b| a€A ^ b€B)
- Comparação de objetos com ordem definida
Lógica Matemática
- Proposição
- p: Hoje está frio
- V v F
- Princípio
- Não contradição
- Não pode ser V ^ F ao mesmo tempo
- Terceiro Excluído
- V v F
- Não contradição
- Operações Lógicas
- Negação
- Se p = V então ~p = F
- Conjunção
- p^q (p.q)
- p e q
- p^q (p.q)
- Disjunção
- pvq(p+q)
- p ou q
- pvq(p+q)
- Disjunção Exclusiva
- p+-q
- ou p ou q
- p+-q
- Condicional
- p -> q
- Se p então q
- p -> q
- Incondicional
- p<-->q
- p se e somente se q
- p<-->q
- Negação
- q : Hoje está chovendo
- p: Hoje está frio
- Proposição
Information
- Description
- Mind Map on Matemática Discreta, created by Matheus Vieira Terra on 10/04/2017.
- Created by
- Matheus Vieira Terra
- Views
- 9
- Rating