Please enable JavaScript.
Coggle requires JavaScript to display documents.
Lógica da Computação - Coggle Diagram
Lógica da Computação
Teoria dos Conjuntos
Coleção/Agrupamento de elementos
representado por { }
Denotação de conjuntos
Extensão
Escreve por inteiro
Compreensão
Conjuntos
Unitário
Numéricos
Vazio
Finito
Infinito
Pertinência
Se algum elemento pertence a algum conjunto
£ (Pertence)
£/ (não pertence)
Continência
Relação entre conjuntos
P está contido em Q
Q contém P
Negações
Operação reversível
Complemento ( ~ )
Conjunto das partes (P)
Produto Cartesiano (x)
nupla ordenada
União Disjunta (+)
Fórmulas
Parênteses ( )
Conectivos
Conjunção ( /\ )
Disjunção ( V )
Negação ( ¬ )
Condicional ( -> )
Bicondiconal ( <->)
Lógicos (Pascal)
NOT (Negação)
AND (Conjunção)
OR (Disjunção)
<= (Condicional)
= (BIcondicional)
Letras de proposições (A, B, C)
Proposição
V ou F
Composta
Conectivos Lógicos
Não (Negação)
A não A
Tabela Verdade
V = F
F = V
A não A
Se ... Então ...(Condicional)
se P então Q
Tabela Verdade
V e F = F
F e V = V
V e V = V
F e F = V
p é suficiente para q
p implica q
P antecedente ou hipótese
Q consequência ou conclusão
Ou (Disjunção)
A ou B
Tabela Verdade
V e F = V
F e V = V
V e V = V
F e F = F
Se e Somente Se (Bicondicional)
P se e somente se Q
Tabela Verdade
V e V = V
V e F = F
F e V = F
F e F = V
(Se P então Q) E (Se Q então P
E (Conjunção)
A e B
Tabela Verdade
V e F = F
F e V = F
V e V = V
F e F = F
Tabela Verdade
Princípio
Não contradição
Terceiro excluído
Operações não reversíveis
União (U)
Intersecção ()