Please enable JavaScript.
Coggle requires JavaScript to display documents.
Mapa mental de Lógica Matemática - Coggle Diagram
Mapa mental de Lógica Matemática
Lógica Proposicional
Proposições
:
Exemplos: "A Terra é redonda", "2 + 2 = 5"
Operadores Lógicos
:
Negação
: ¬P
Conjunção
: P ∧ Q
Disjunção
: P ∨ Q
Implicação
: P → Q
Bicondicional
: P ↔ Q
Tabelas Verdade
: Ferramenta para determinar o valor de verdade de proposições compostas.
Leis da Lógica
:
Lei da Identidade, Lei da Negação, Lei da Exclusão do Meio, etc.
Lógica de Predicados
Quantificadores
:
Universal
: ∀ (Para todo)
Existencial
: ∃ (Existe)
Predicados
: Propriedades ou relações entre elementos.
Exemplo: P(x): "x é um número primo."
Interpretações
: Definições de domínios e predicados.
Regras de Inferência
:
Modus Ponens, Modus Tollens, Silogismo Hipotético.