1
Q2882652
Teclas de Atalhos
Compartilhar
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?
A
P(x), ∨, x.
B
P(x), ∀, →.
C
∃, P(x), ∧.
D
∧, P(x), ∨.
E
∀, P(x), x.