Categoria:Lógica matemática

• Lógica matemática
• Reticulado

A

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

B

• Base de Herbrand

C

• Caso especial
• Catraca (símbolo)
• Cláusula (lógica)
• Cláusula básica
• Cláusula de Horn
• Completude (lógica)
• Conjunção lógica
• Constantes lógicas
• Contradição

D

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

E

• Equivalência lógica

F

• Forma normal clausal
• Forma normal prenex
• Fórmula (lógica)
• Função booliana
• Fórmula atômica
• Fórmula bem formada

G

• Grafo lógico

I

• Implicação
• Indução estrutural
• Indução matemática

L

• Lei de Peirce
• Literal (lógica matemática)
• Literal básico
• Lógica de ordem superior
• Lógica de primeira ordem
• Logicismo
• Lógica de segunda ordem
• Lógica modal

M

• Mapa de Karnaugh

N

• Negação

P

• 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

• Se e somente se
• Sistema formal
• Skolemização

T

• Teorema
• Teorema da compacidade
• Teorema de Herbrand
• Teoremas da incompletude de Gödel
• Teoria da computabilidade
• Teoria de Herbrand
• Teoria dos modelos
• Teoria dos tipos

U

• Universo de discurso
• Universo de Herbrand

V

• Variáveis livres e ligadas