Please enable JavaScript.
Coggle requires JavaScript to display documents.
Lógica matemática - Coggle Diagram
Lógica matemática
Axioma
Desenvolvimento histórico
Teorema
Lemas
Corolário
Conjectura
Demonstração
Sofismo
Paradoxo
Portas lógicas
NOT
AND
OR
NAND
NOR
XOR
XNOR
Teorema de Morgan
Provas matemáticas
Provas diretas
Provas indiretas
Prova por exaustão
Provas por casos
Prova por contra positiva
Prova do tipo "se e somente se"
Conectivos
Negação
não
Conjunção
e
Disjunção
ou
Condicional
se, então
Bicondicional
Se, e somente se
Tabela verdade
Duas proposições
Três preposições
Tautologia
Contingência
Argumentação
Argumento válido
Argumento inválido
Argumento falho
Conjectura
Goldbach
Números de Fermat
Euler
Poincaré
Proposições equivalentes
Equivalências básicas
Equivalências da condicional
Equivalência lógica
Valores lógicos das proposições
Proposição simples
Proposição composta
Princípios fundamentais
Não-contradição
Terceiro excluído
Implicação lógica
Inferência
Técnicas dedutivas
Adição
Simplificação
Regra da absorção
Modus Ponens
Modus Tollens
Silogismo disjuntivo
SIlogismo hipotético
União
Dilema construtivo
Dilema destrutivo
Dupla negação
Circuitos lógicos
Interruptores
Tipos de preposição
Operações lógicas