Lógica de 1ª ordem ou

Lógica de Predicados

O alfabeto da Lógica de 1ª ordem é composto:

1. Símbolos de Predicado : P1, P2, ..., Pn,
2. Símbolos de Funções: f1, f2, ..., fm
3. Símbolos de constantes : para i I
4. Variáveis (contáveis): x0,x1,x2, ....
5. Conectivos: , , ˅, →, ↔, , 
6. Símbolos auxiliares: (,)

Obs: a virgula , não pertence ao alfabeto.

 Termos e Fórmulas
Definição de Termos
TERM é o menor conjunto X com as seguintes propriedades:

TERM é um conjunto de todos os termos da Lógica de 1ª ordem.

Definição de Fórmulas
FORM é o menor conjunto X com as seguintes propriedades:

FORM é um conjunto de todas as fórmulas da Lógica de 1ª ordem.

 Variáveis livres
Definição de variáveis livres em termos
O conjunto FV(t) de variáveis livres num termo t é definido por:

Definição de variáveis livres em fórmulas

O conjunto FV(α) de variáveis livres numa fórmula α é definido por:

obs: uma variável x pode ser livre e ligada numa fórmula.

 Escopo do quantificador

• O escopo de x em (x ) é 
• O escopo de x em (x ) é 

Exemplo
Dada a fórmula y x ( y α(x,y) → ( β(x)   (y) ) ) :
• o escopo de y em y x ( y α(x,y) → ( β(x)   (y) ) ) é
x ( y α(x,y) → ( β(x)   (y) ) ).
• o escopo de x em x ( y α(x,y) → ( β(x)   (y) ) ) é
( y α(x,y) → ( β(x)   (y) ) ) .
• o escopo de y em y α(x,y) é α(x,y).
 Fecho Universal e Existencial

O fecho universal  é x1 x2... xn  , onde x1 x2... xn  FV()

O fecho existencial de  é x1 x2... xn  , onde x1 x2... xn  FV()

Exemplo
y α(x,y) - fecho universal é x y α(x,y)
y α(x,y) - fecho existencial é x y α(x,y)
 Substituição em termo

Definição de substituição em termo

 Substituição em fórmula

Definição de substituição em fórmula

 t é livre para x em α
Exercícios : Faça as seguintes substituições:
y ( x < y) [ y / x] e x ( y α(x,y) → ( β(x)   (y) ) ) [ f(z,y) / y] =

Definição
Conceito
Após a substituição [t/x] em  , nenhuma variável que era livre se torna ligada.
Definição indutiva como exercício.

Exemplos
1. x é livre para y em  z β (y,z).
2. f(x,y) não é livre para z em  y β (y,z).
3. f(x,y) é livre para y em  y β (y,z).
4. x não é livre em y para x ( x < y)
5. f(z,y) é livre para y em x ( y α(x,y) → ( β(x)   (y) ) )
6. f(z,y) é livre para y em y α(x,y)
 Exercício (t livre para x em α)
Para cada um dos itens abaixo, verifique se t livre para x em α
e faça a substituição [t/x] :
 Exemplo

x y α(x,y)
Interpretando a formula no domínio dos inteiros, e α(x,y) como
x > y, a sentença acima é verdadeira. Se x=n, basta tomar y=n-1.

y x α(x,y)
Interpretando a formula no domínio dos inteiros, e α(x,y) como
x > y, a sentença acima é falsa. Os inteiros não possuem um
mínimo.

Logo os operadores  e  não comutam.