Please enable JavaScript.
Coggle requires JavaScript to display documents.
LÓGICA PARA COMPUTAÇÃO - Coggle Diagram
LÓGICA PARA
COMPUTAÇÃO
LÓGICA PROPOSICIONAL
Lógica
verdade
falso
PROPOSIÇÕES COMPOSTAS
conectivos lógicos
OU (Disjunção
NÃO (Negação
E (Conjunção
SE … ENTÃO … (Condicional
SE E SOMENTE SE (Bicondicional)
formulas
Conectivo de disjunção (⋁)
Conectivo condicional (→)
Conectivo de conjunção (⋀)
Conectivo bicondicional (↔)
Conectivo de negação (¬)
TABELA VERDADE
CONJUNTOS
Conjunto unitário
Conjuntos numéricos
Conjunto vazio
Conjuntos finitos e infinitos
Pertinência
∈ (PERTENCE)
∉ (NÃO PERTENCE)
Continência
⊆ (ESTÁ CONTIDO EM)
⊄ (NÃO ESTÁ CONTIDO EM)
⊇ (CONTÉM)
⊅ (NÃO CONTÉM)
= (IGUAL)
TEORIA DOS CONJUNTOS
Não reversíveis
Intersecção
União
Reversíveis
Conjunto das partes
Produto cartesiano
Complemento
União disjunta
