Dicio Português
Voltar ao dicionário

lógica de predicados

substantivo feminino

Separação silábica: ló-gi-ca de pre-di-ca-dos

Plural: lógicas de predicados

Significados

  1. Filosofia, Matemática
    substantivo feminino
    Sistema lógico que quantifica sobre elementos de um domínio, permitindo expressar relações entre objetos e portando uma estrutura interna mais complexa que a lógica proposicional.

Exemplos

  • A lógica de predicados estende a lógica proposicional ao introduzir quantificadores como 'para todo' e 'existe'. — Exemplo ilustrativo
  • A formalização da teoria dos conjuntos é feita utilizando a linguagem da lógica de predicados de primeira ordem. — Exemplo ilustrativo

Sinônimos

lógica da primeira ordemcálculo de predicadoslogística moderna

Anagramas

lógica proposicionalquantificadorsilogismocálculo lambdateoria dos modelos

Etimologia

Do grego antigo (logikḗ) 'arte de raciocinar, dialética', através do latim logica, e do latim praedicatus, particípio passado de praedicare 'declarar, proclamar'. A expressão vem do inglês predicate logic.