3 relações: Lógica de predicados, Predicado (gramática), Predicado (lógica matemática).
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!!: Predicado e Lógica de predicados · Veja mais »
Predicado (gramática)
Na gramática, o predicado é um dos termos essenciais da oração, juntamente com o sujeito.
Novo!!: Predicado e Predicado (gramática) · Veja mais »
Predicado (lógica matemática)
Em matemática, um predicado é normalmente entendido como uma função booleana P: X→, chamada de predicado em X. Entretanto, predicados possuem vários usos e interpretações diferentes em matemática e lógica, e sua definição precisa, significado e uso variam de teoria para teoria.
Novo!!: Predicado e Predicado (lógica matemática) · Veja mais »