Please enable JavaScript.
Coggle requires JavaScript to display documents.
Lógica de Primeira Ordem (Símbolos não primitivos (Constantes, Símbolos…
Lógica de Primeira Ordem
Estrutura
Sintaxe
Sistema de axiomas
Linguagem
Semântica
Linguagem
Alfabeto (Teoria dos conjuntos)
Conectivos
Quantificadores
Parênteses
Igualdade
Pertinência
Variáveis
Fórmulas
Seq. símbolos do alfabeto
4 regras
Subfórmulas
Ocorrência de variável
Aparece em uma subfórmula atômica
Ocorrência livre (free)
Ocorrência em escopo (bound)
Sentença
Abreviaturas
Inclusão
Conj. vazio
União
Símbolos não primitivos
Constantes
Símbolos funcionais
Símbolos relacionais
Termos
Grau de aridade