Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Livre
Acesso mais rápido do que o navegador!
 

Universo de discurso

Índice Universo de discurso

O domínio de discurso, também chamado de universo de discurso ou domínio de quantificação, é uma ferramenta analítica usada na lógica dedutiva, especialmente na lógica de predicados.

8 relações: Conjunto, Filosofia da Lógica, Lógica de predicados, Lógica de primeira ordem, Quantificação, Quantificação existencial, Quantificação universal, Teoria dos modelos.

Conjunto

Conjunto é um conceito-chave primitivo do ramo matemático da Teoria dos Conjuntos.

Novo!!: Universo de discurso e Conjunto · Veja mais »

Filosofia da Lógica

Filosofia da lógica é a área da filosofia que estuda o alcance e a natureza da lógica.

Novo!!: Universo de discurso e Filosofia da Lógica · Veja mais »

Lógica de predicados

Para o termo específico, ver Lógica de primeira ordem Na lógica matemática, a lógica de predicados é um termo genérico para sistemas formais simbólicos como lógica de primeira ordem, lógica de segunda ordem, many-sorted logic ou infinitary logic.

Novo!!: Universo de discurso e Lógica de predicados · Veja mais »

Lógica de primeira ordem

A lógica de primeira ordem (LPO), conhecida também como cálculo de predicados de primeira ordem (CPPO), é um sistema lógico que estende a lógica proposicional (lógica sentencial) e que é estendida pela lógica de segunda ordem.

Novo!!: Universo de discurso e Lógica de primeira ordem · Veja mais »

Quantificação

O termo Quantificação tem vários significados, gerais e específicos.

Novo!!: Universo de discurso e Quantificação · Veja mais »

Quantificação existencial

Na lógica de predicados, um quantificador existencial é a predicação de uma propriedade ou relação para, pelo menos, um elemento do domínio.

Novo!!: Universo de discurso e Quantificação existencial · Veja mais »

Quantificação universal

Na lógica de predicados, a quantificação universal é uma formalização da noção de que algumas coisas são verdadeiras para todas as coisas, ou para todas as coisas relevantes.

Novo!!: Universo de discurso e Quantificação universal · Veja mais »

Teoria dos modelos

Na matemática, Teoria de Modelos é o estudo da representação de conceitos matemáticos em termos de teoria de conjuntos, ou o estudo de modelos que apoiam sistemas matemáticos.

Novo!!: Universo de discurso e Teoria dos modelos · Veja mais »

Redireciona aqui:

Domínio de discurso, Domínio de quantificação, Domínio do discurso.

CessanteEntrada
Ei! Agora estamos em Facebook! »