Clculo de Predicados

Clculo de Predicados
Vamos estudar um novo sistema lgico
Chamado de Clculo de Predicados, que
uma extenso do Clculo Proposicional.

Primeiramente vamos definir a linguagem
desse clculo:
Linguagem do Clculo de
Predicados
Alfabeto:

1) Variveis:
as letras latinas minsculas
x , y , z, w , t , u , v
afetadas ou no por ndices.
2) Conectivos :

(no)
(e)
(ou)
(implica)
3) Quantificadores:

( para todo)

(existe)
4) Smbolos constantes

5) Smbolos de funo

6) Smbolos de relao
7) Smbolos auxiliares:

( (parntesis esquerdo)
) (parntesis direito)

Obs: Os smbolos de constantes, de
funes e de relaes no podem ser
especificados pois dependem da
particular teoria
Termos
Def. (termo)

a) Toda varivel um termo

b) Todo smbolo de constante um termo

c) Se t
1
, t
2
,...., t
n
so termos, e f(x
1
,x
2
,...,x
n
) um
smbolo de funo,ento f(t
1
,t
2
,...,t
n
) um
termo.
Frmulas
Def. (Frmula)

a) Se t
1,
,

t
2
,......., t
n
so termos, e
R(x
1
, x
2
,......,x
n
) um smbolo de
relao, ento R(t
1
, t
2
,......,t
n
)
um frmula..

(frmula atmica)
b) Se e so frmulas , ento :

(tipo no) ,
(tipo e) ,
(tipo ou)
(tipo implica)
( ) (tipo universal)
( ) (tipo existencial)

so frmulas.
rvore de subfrmulas
A rvore de subfrmulas do Clculo
de Predicados ser feita da mesma
maneira que no Clculo Proposicional
no que se refere aos conectivos.
Quanto aos quantificadores,
descreveremos o mtodo a seguir:
Seja uma frmula e x uma varivel.
As rvores de x ( ) e x ( ) so:

x ( ) x ( )



Para os exerccios que se seguem, A(x),
B(x), A(y), A(x,y), B(x,y,z) etc representam
frmulas atmicas.

Nesse caso no ser necessrio escrever
A(x), B(x), A(y), A(x,y), B(x,y,z) entre
parntesis ao escrever um quantificador.
Exemplos: faa a rvore:
w ( x A(x) y B(y) )


x A(x) y B(y)


x A(x) y B(y)


A(x) B(y)
Simbolizao da linguagem cotidiana

Assim como fizemos no Clculo
Proposicional, vamos simbolizar a
linguagem cotidiana utilizando
agora o Clculo de Predicados :
Considere as seguintes convenes:
A(x,y) x ama y a Ana
F(x,y) x amigo de y b Beto
R(x) x rico c Carol
P(x) x paulista d Davi
C(x) x carioca
B(x) x brasileiro

Simbolize:
1) Ana rica

2) Beto no paulista

3) Carol paulista e Davi no carioca

4) Ana paulista ou carioca
5) Se Carol paulista, ento ela brasileira

6) Beto ama Carol

7) Ana no ama Davi

8) Beto amigo de Carol, mas no a ama
9)Todos so amigos de Ana

10) Ana amiga de todos

11) Beto tem amigos

12) Todos amam algum
13) Existem pessoas que amam as todos

14) Existem cariocas ricos

15) Todo paulista rico
1) Ana rica
R(a)

2) Beto no paulista
P(b)

3) Carol paulista e Davi no carioca
P(c) C(d)
4) Ana paulista ou carioca
P(a) C(a)

5) Se Carol paulista, ento ela brasileira
P(c) B(c)

6) Beto ama Carol
A(b , c)
7) Ana no ama Davi
A(a,d)

8)Beto amigo de Carol, mas no a ama
F(b,c) A(b,c)

9)Todos so amigos de Ana
x A(x,a)
10) Ana amiga de todos
x A(a,x)

11) Beto tem amigos
x A(b,x)

12) Todos amam algum
x y A(x,y)
13) Existem pessoas que amam as todos
x y A(x,y)

14) Existem cariocas ricos
x ( C(x) R(x) )

15) Todo paulista rico
x ( P(x) R(x) )
A Linguagem da Aritmtica
Vamos apresentar a linguagem da
aritmtica, o ramo da matemtica que trata
dos nmeros naturais.

Em termos de interpretao, nosso universo
ser o conjunto dos nmeros naturais IN.
Alfabeto:
1) Variveis: x , y , z, w , t , u , v, .....

2) Conectivos : , , ,

3) Quantificadores: ,

4) Smbolos de constantes: 0 (zero) , 1 (um)

5) Smbolos de funo: + (soma) , . (produto)

6) Smbolos de relao : = (igual) , < (menor) , | (divide)
Vamos simbolizar alguns predicados
aritmticos:
1) Zero menor do que um

2) Zero menor ou igual um

3) Um divide zero

4) Um no divide zero
5) Um divide dois, mas dois no divide um

6) Todo nmero divide zero

7) Existem nmeros menores do que um

8) Todo nmero igual a si prprio
Respostas
1) Zero menor do que um
0 < 1

2) Zero menor ou igual um
( 0 < 1) ( 0 = 1 )

3) Um divide zero
1 0

4) Um no divide zero
(1 0 )
9) Zero diferente de um

10) Existem nmeros maiores ou iguais zero

11) Dado um nmero qualquer, existe outro que
maior

12) Dado um nmero qualquer, existe outro que
menor
5) Um divide dois, mas dois no divide um
(1 1 + 1 ) (1+1 1 )

6) Todo nmero divide zero
x (x 0 )

7) Existem nmeros menores do que um
x ( x< 1 )

8) Todo nmero igual a si prprio
x ( x = x )
9) Zero diferente de um
( 0 = 1 )

10) Existem nmeros maiores ou iguais zero
x ( 0< x 0 = x )

11) Dado um nmero qualquer, existe outro que maior
x y (x < y )

12) Dado um nmero qualquer, existe outro que menor
x y (y < x )