Escolar Documentos
Profissional Documentos
Cultura Documentos
Neste presente trabalho iremos abordar a linguagem de lógica de primeira ordem, como
poderemos e em que circunstâncias poderemos usar a mesma.
A principal diferença entre lógica proposicional e a lógica de primeira ordem é o
compromisso ontológico, ou seja, o que cada linguagem pressupõe sobre a natureza da
realidade, lógica proposicional pressupõe que existem fatos que são válidos e não-
válidos no mundo enquanto que a lógica de primeira ordem pressupõe que o mundo
consiste em objectos com certas relações entre eles que são válidas ou não válidas.
Sintaxe
Para definir uma linguagem de primeira ordem é necessário dispor de um alfabeto. Este
alfabeto introduz os símbolos à custa dos quais são construídos os termos e as fórmulas
dessa linguagem.
A linguagem de primeira ordem é elaborada em torno de objectos e relações.
τ : SF ∪ SP → IN0
• um conjunto numerável X de variáveis ;
• os conectivos ¬ (negação) , ∧ (conjunção), ∨ (disjunção ) e → (implicação) ;
• o quantificador universal ∀ e o quantificador existencial ∃ ;
• os símbolos de pontuação ( e ) (parênteses esquerdo e parênteses direito) e
, (vírgula).
Uma fórmula para calcular os predicados é anexada se todos os quantificadores que ela
contém estiverem no início da fórmula. Qualquer fórmula admite uma fórmula de pré-
anexo equivalente. Por exemplo, a fórmula é equivalente em sucessão , e finalmente
(onde , , , , respectivamente, indicam o envolvimento, negação, disjunção, o
quantificador existencial e o quantificador universal e são predicados unárias).
é.