RELATRIO LGICA DE PRIMEIRA ORDEM

Renato Santos Morais

Faculdade Independente do Nordeste - FAINOR
Avenida Luis Eduardo Magalhes, 1305 CEP 45028-440 Vitria da
Conquista, BA
renatoevc@gmail.com

Lgica de Primeira Ordem

Uma linguagem de primeira ordem consiste num alfabeto que contm os

smbolos lgicos , , , , , e , e tambm o da igualdade, =, ser
considerado como smbolo lgico; um conjunto enumervel de smbolos de
variveis Var = {xn : n }; smbolos no lgicos so os de uma assinatura L;
alm disso a linguagem tem regras (gramaticais) de formao de expresses bem
fundadas, ou formulas e sentenas. Como o que muda de uma linguagem a outra
apenas a assinatura L, usaremos o smbolo L tambm para denotar a linguagem
de primeira ordem assim obtida

Principal diferena entre lgica proposicional e a lgica de primeira ordem o

compromisso ontolgico, ou seja, o que cada linguagem pressupes sobre a
natureza da realidade:

Lgica Proposicional: pressupe que existem fatos que so vlidos ou no-

vlidos no mundo.
Lgica de Primeira Ordem: pressupe que o mundo consiste em objetos com
certas relaes entre eles que so vlidas ou no-vlidas.

Sintaxe das Linguagens de Primeira Ordem

Para denir uma linguagem de primeira ordem e necessrio dispor de um

alfabeto. Este alfabeto introduz os smbolos custa dos quais so construdos os
termos e as frmulas dessa linguagem.

Definio 1.3.1- Um alfabeto de primeira ordem A consiste de:

i) Smbolos lgicos: pontuao, conectivos, quantificadores, variveis,

smbolo de igualdade.

ii) smbolos no lgicos.

Semntica das Linguagens de Primeira Ordem

At aqui uma frmula uma seqncia de smbolos sem qualquer significado

associado. Para que uma frmula tenha significado, devemos dar alguma
interpretao para seus smbolos de modo que a frmula possa ento ser avaliada
em valores V ou F.
Assim, cada estrutura de interpretao inclui apenas um conjunto, designado
domnio ou universo de interpretao. A interpretao de um termo numa
estrutura de interpretao e um elemento desse domnio e a interpretao
duma frmula uma afirmao sobre elementos desse domnio.

Definio 1.3.8- Uma interpretao para uma frmula bem formada wff consiste
de um conjunto no vazio D denominado domnio da interpretao, junto com
uma atribuio que associa os smbolos da wff a valores de D, da seguinte forma:

a) Para cada smbolo predicativo atribudo uma relao de D.

b) Para cada smbolo funcional atribudo uma funo de D.
c) Para cada varivel livre atribudo um valor de D. Todas as ocorrncias
de uma varivel livre x atribudo um mesmo valor de D.
d) Para cada constante atribudo um valor de D. Todas as ocorrncias da
mesma constante recebem o mesmo valor.

Com esta definio de interpretao, temos os ingredientes necessrios para que

possamos definir a semntica das frmulas de primeira ordem. Informalmente,
o significado de uma frmula ser verdadeiro ou falso dependendo como a
interpretao foi definida. Porm como estamos considerando quantificadores
ento necessitamos fazer uma definio precisa de como encontrar o valor
verdade de uma formula bem formada.

Validade

Existem frmulas bem formadas que so verdadeiras para qualquer

interpretao? Sim, e neste caso dizemos que a frmula vlida,
consequentemente, uma frmula vlida se qualquer interpretao um modelo
para ela. Caso contrrio, a frmula invalida. Uma frmula insatisfazvel se
ela falsa para todas as possveis interpretaes, portanto no possui modelo. No
entanto, se existir um modelo para ela a frmula satisfazvel. Assim, uma
frmula de primeira ordem bem formada P pode ser caracterizada da seguinte
forma:

a) P uma tautologia, se ela vlida e satisfazvel,

b) P contingente se ela satisfazvel e invlida, e
c) P contraditria se ela insatisfazvel e invlida.

Clculo de predicados

O clculo de predicado uma extenso da lgica proposicional que define quais

sentenas da lgica de primeira ordem so demonstrveis. um sistema formal
usado para descrever as teorias matemticas. Se o clculo proposicional for
definido por um conjunto adequado de axiomas e a nica regra de inferncia
modus ponens (isto pode ser feito de muitas maneiras diferentes, uma delas j
ilustrada na seo anterior), ento o clculo de predicados pode ser definido
adicionando-se alguns axiomas e uma regra de inferncia "generalizao
universal" (como, por exemplo, na seo anterior). Mais precisamente, como
axiomas para o clculo de predicado, teremos:
Os axiomas circunstanciais do clculo proposicional (A1, A2 e A3 na seo
anterior);
Os axiomas dos quantificadores (A4 e A5);
Os axiomas para a igualdade propostos em seo anterior, se a igualdade for
considerada como um conceito lgico.
Uma sentena ser definida como demonstrvel na lgica de primeira ordem se
puder ser obtida comeando com os axiomas do clculo de predicados e
aplicando-se repetidamente as regras de inferncia "modus ponens" e
"generalizao universal". Se ns tivermos uma teoria T (um conjunto de
sentenas, s vezes chamadas axiomas) ento uma sentena se define como
demonstrvel na teoria T se a b demonstrvel na lgica de primeira
ordem (relao de consequncia formal), para algum conjunto finito de axiomas
a, b, da teoria T. Um problema aparente com esta definio de
"demonstrabilidade" que ela parece um tanto ad hoc: ns tomamos uma coleo
aparentemente aleatria de axiomas e de regras de inferncia, e no bvio que
no tenhamos acidentalmente deixado de fora algum axioma ou regra
fundamental. O teorema da completude de Gdel nos assegura de que este no
realmente um problema: o teorema diz que toda sentena verdadeira em todos
os modelos demonstrvel na lgica de primeira ordem. Em particular, toda
definio razovel de "demonstrvel" na lgica de primeira ordem deve ser
equivalente definio acima (embora seja possvel que o comprimento das
derivaes difira bastante para diferentes definies de demonstrabilidade). H
muitas maneiras diferentes (mas equivalentes) de definir probabilidade. A
definio acima um exemplo tpico do clculo no estilo de Hilbert, que tem
muitos axiomas diferentes, mas poucas regras de inferncia. As definies de
demonstrabilidade para a lgica de primeira ordem nos estilos de Gentzen
(deduo natural e clculo de sequentes) so baseadas em poucos ou nenhuns
axiomas, mas muitas regras de inferncia.

REFERNCIAS:

Lgica de Primeira Ordem.USP. Disponvel em:

<https://www.ime.usp.br/~mat/0349/Predicados-2.pdf>. Acesso em: 13 de out. 2017.

Lgica de Primeira Ordem.ULISBOA. Disponvel em:

< https://www.math.tecnico.ulisboa.pt/~mpg/tcAP0506/folhas/lprimord.pdf>.
Acesso em: 13 de out. 2017.

SILVA, Flvio S. Correa da; FINGER, Marcelo; MELO, Ana Cristina V. de.
Lgica para Computao.ed. Thomson, 2006.