lógica de predicados
substantivo feminino
Separação silábica: ló-gi-ca de pre-di-ca-dos
Plural: lógicas de predicados
Significados
- Filosofia, MatemáticaSistema 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.substantivo feminino
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