Categoria:Lógica matemática

A

• [×] Álgebra booleana‎ (14 P)
• [+] Algoritmos‎ (13 C, 91 P)

C

• [+] Construtivismo matemático‎ (1 C, 1 P)

F

• [+] Filosofia da matemática‎ (1 C, 16 P)

I

• [×] Infinito‎ (20 P)

L

• [+] Lógica não-clássica‎ (2 C)

T

• [+] Teoria dos tipos‎ (1 C, 2 P)

A

• Algoritmo de Wang
• Aritmética de Presburger
• Assinatura (lógica)
• Átomo básico
• Axiomas de Peano

B

• Base de Herbrand

C

• Caso especial
• Cláusula (lógica)
• Cláusula básica
• Cláusula de Horn
• Conjunção lógica
• Constantes lógicas

D

• Definição recursiva
• Dedução natural
• Demonstração construtiva
• Disjunção lógica

E

• Extensionalidade

F

• Forma normal clausal
• Forma normal prenex
• Fórmula (lógica)
• Fórmula bem formada
• Fundações da matemática
• Função booleana
• Fórmula atômica

G

• Grafo lógico

I

• Implicação
• Indução estrutural
• Indução matemática
• Interpretação substitucional e objetual

L

• Lei de Peirce
• Literal (lógica)
• Literal básico
• Lógica combinacional
• Lógica combinatória
• Lógica de ordem superior
• Lógica de primeira ordem
• Lógica proposicional
• Lógica quântica
• Logicismo
• Lógica de segunda ordem
• Lógica modal

M

• Método dos Tableaux
• Modelo canônico

N

• Negação
• Noção primitiva
• Número de Gödel

P

• Principia Mathematica de Whitehead e Russell
• Princípio da resolução
• Programa de Hilbert
• Prova matemática

Q

• Quantificação existencial
• Quantificação universal
• Quantificação

R

• Raciocínio lógico
• Recursividade

S

• S5 (lógica modal)
• Se e somente se
• Sistema formal
• Skolemização

T

• Tautologia (lógica)
• Teorema
• Teorema da compacidade
• Teorema de Herbrand
• Teorema de redução de modalidades em S5
• Teoria da decisão
• Teoria de Herbrand
• Teoria dos modelos
• Teoria da Prova
• Teoria dos tipos

U

• Unificação
• Universo de discurso
• Universo de Herbrand

V

• Variáveis livres e ligadas