Please enable JavaScript.
Coggle requires JavaScript to display documents.
lógica da computação - Coggle Diagram
lógica da computação
diagrama de venn
linguagem diagramática
formas geométricas
complementam textos
descreve conjuntos
relações e operações
facilita raciocínio
semelhante tabela verdade
negação = complemento
disjunção = união
conjunção = intersecção
condicional = continência
equivalência = iguldade de conjuntos
fórmulas
negação (↴)
conjunção (⋀)
disjunção (⋁)
condicional (→)
bicondicional (↔)
NOT (negação)
AND ( conjução)
OR (disjunção)
<= (condicional)
= (bicondicional)
lógica proposicional
métodos de pensamento
Maneiras de organizar
Investigação criminal
Estudos científicos
Decisão racional
Programação
Não contradição
Verdadeiro ou falso
Conectivos lógicos
Proposições simples
Proposições compostas
E - conjunção
Ou- disjunção
Não- negação
Se... então- condicional
Se e somente se- bicondicional
Tabela verdade
Ajuda mapear
Proposições compostas
p e Q
relações e funções
computação
desenvolvimento de sofwere
teoria dos conjuntos
igualdade, continência
lógica
equivalência, implicação
bancos de dados relacionais
dados e complementos oas usuários
distribuída, varias tabelas
pertinência
auxiliar
descreve
avalia
pertence
não pertence
B ∈ b
B ∉ b
continência
subconjunto
iguldade de conjuntos
P ⊆ Q (contém)
P ⊇ Q (está contido
P ⊈ Q (não contido)
P ⊉ Q (não contém)
Condicional
Representada P então Q
Se P, então Q
P = antecedente
Ou = hipótese
Q = conseguência
Será falso F então V
Restantes verdadeiras
conjuntos
definições
tipos de conjuntos
operações
relações
funções
exemplos conjuntos
vogais: a.e,i,o,u
dígitos: 0,1,2,3,4,5,6,7,8,9,
estados brasileiros
numeros partes 0,2,4,6,8,
impares: 1,3,5,7,9
conjunto { }
conjunto Ø
conjuntos numéricos
N = naturais
Z = inteiros
Q = racionais
I = irracionais
R = reais
Conjunção
Expressão A
Expressão B
Conectivo E
Só será verdadeira com V e V
Restantes falsos
Disconjução
A v B
A ou B
Só será falso F ou F
Restantes verdadeiras
Bicondicional
P se e somente se Q
P = premissa
Q = conclusão
P = conclusão
Negação
Não A
Expressão equivalente
A verdadeira
Resultado não
Será falso
operações não reversíveis
união
A ∪ B
elementos comuns
simultaneamente
intersecção
A ∩ B
novo conjunto
resultado compostos
A,B simultaneamente
existe no A como no B
reversíveis
complemento
diferença de conjuntos
símbolo = ∾
conjuntos das partes
novo conjunto
subconjuntos
produto cartesiano
novo conjunto
composto sequência
dois componentes
chamada de n-upla ordenada
união disjunta
semelhante aunião
união disjunta