A lógica de predicados de primeira ordem é um sistema formal...

Próximas questões
Com base no mesmo assunto
Q2427594 Raciocínio Lógico

A lógica de predicados de primeira ordem é um sistema formal que estende a lógica proposicional e permite expressar declarações mais complexas sobre objetos e suas relações. Considerando os elementos básicos da lógica de predicados de primeira ordem, qual das seguintes alternativas inclui, respectivamente, um quantificador, um predicado e um termo?

Alternativas