Você está na página 1de 40

Lgica e Fundamentos

Universidade do Minho
Rui Pedro Ferreira Gomes Pereira

2005/2006

no 28124

CONTEDO

1 Induo e Recurso

2 Conjuntos Numerveis

3 Alfabeto

4 Lgica Proposicional
4.1 Estrutura Proposicional de uma Proposio . . . . . . . . . . . . . . . . . . . . . . .
4.2 Deduco Natural . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5 Lgica de 1a Ordem
5.1 Deduo Natural para Lgica de 1a Ordem

Universidade do Minho

9
9
20

24
. . . . . . . . . . . . . . . . . . . . . . . 37

CAPTULO

1
Induo e Recurso

Princpio de Induo associado a N0


P ara cada condic
ao Q(n) sobre n N0 , se :
(i)

Q(0)

(ii) n N0 , se Q(n) ent


ao Q(n + 1)
ent
ao n N0

Q(n)

Princpio de Induo de Base n0 , (n0 N)


P ara toda a condic
ao Q(n) sobre n > n0 , se :
(i) Q(n0 )
(ii) n > n0 , se Q(n) ent
ao Q(n + 1)
ent
ao n > n0 ,

Q(n)

Teorema 1.1 (Recurso associado a N0 )


Sejam, A conjunto, a A e h : A A.
Ento, existe uma e uma s funo f : N0 A tal que:
1) f (0) = a

2) n N0 , f (n + 1) = h f (n)

Definio 1.1
P o conjunto de N0 definido por:
1) 0 P;
2) Se n P, ento n + 2 P;
3) Todo o elemento de P obtm-se por aplicao, por aplicao repetida de 1) e 2).
Universidade do Minho

Lgica e Fundamentos 2005/2006

1. Induo e Recurso

Definio 1.2
P o conjunto de N0 definido recursivamente por:
1) 0 P;
2) n P,

n + 2 P;

Definio 1.3
P o menor conjunto X N0 tal que:
I) 0 X;
II) n N0 , se n X, ento n + 2 X;
Nota:
1) As trs definies anteriores definem o mesmo conjunto;
2) Cada uma das definies anteriores uma definio indutiva;
3) P um conjunto definido indutivamente;
4) P o menor conjunto X N0 que verifica (X)

Lema 1.1
Existe o menor X N0 , tal que (I) e (II), ou seja, tal que (X).

Definio 1.4
Define-se o conjunto x cardinal como sendo o conjunto:



X = X N0 | (X) = X N0 | X e indutivo

Propriedades 1.1
P1 . X no vazio, por exemplo N0 X;
P2 . A interseco o menor que verifica a propriedade (X);
P3 . O menor conjunto indutivo o menor conjunto definido indutivamente;
P4 . P =

Teorema 1.2 (princpio de Induo associado a P)


Seja Q(n) uma condio sobre n P. Se
(i) Q(0);
(ii) n P, se Q(n) ento Q(n + 2);
ento n P, Q(n)
Universidade do Minho

Lgica e Fundamentos 2005/2006

1. Induo e Recurso

Definio 1.5
Seja f : P N0 uma funo definida recursivamente por
(i) f (0);
(ii) n P, f (n + 2) = f (n) + 1
Definio 1.6
Seja f : P N0 uma funo, g : P N0 satisfazendo:
(i) g(0);
(ii) n P, g(n + 2) = g(n) + 1
Teorema 1.3 (de Recurso associado a P)
Seja A um conjunto, a A, e h : A A
ento existe uma e uma s funo g : P A satisfazendo:
(i) g(0) = a;

(ii) n P, g(n + 2) = h g(n)

Definio 1.7
Seja f : P N0 a funo definida reciprocamente por:
(i) f (0) = 0;
(ii) f (n + 2) = f (n) + 1, para todo n R
Nota:
ou seja, f : R N0 a nica funo g : P N tal que:
I) g(0) = 0
II) para todo n P g(n + 2) = g(n) + 1

Universidade do Minho

CAPTULO

2
Conjuntos Numerveis

Definio 2.1
Sejam A e B conjuntos.
1) Uma funo injectiva f : A B diz-se uma injecc
ao de A em B.
2) Uma funo sobrejectiva f : A B diz-se uma sobrejecc
ao de A em B.
3) Uma funo bijectiva f : A B diz-se uma bijecc
ao de A em B.

Definio 2.2 (Dominao)


Sejam A e B conjuntos. Diz-se que A dominado por B (A 4 B) ou B domina A se existe uma
injeco de A em B.
Observao:
Se A B ento A 4 B.
Definio 2.3 (Conjunto Infinito)
Seja A um conjunto. A diz-se inf inito se N0 4 A.

Lema 2.1
Sejam A, B e C conjuntos.
i) A 4 A
ii) Se A 4 B e B 4 C, ento A 4 C
Teorema 2.1 (Cantor)
Seja A um conjunto qualquer. Ento A 4 P(A).

Universidade do Minho

Lgica e Fundamentos 2005/2006

2. Conjuntos Numerveis

Definio 2.4 (Equipotncia)


Sejam A e B conjuntos. Diz-se que A equipotente a B, (A B) se existe uma bijeco de A
em B.
Observao:
Se A B ento A 4 B e B 4 A.
Lema 2.2
Sejam A, B e C comjuntos.
i) A A

(Ref lexiva)

ii) Se A B ento B A

(Sim
etrica)

iii) Se A B e B C, ento A C

(T ransitiva)

Teorema 2.2 (Schroder-Bernstein)


Sejam A e B conjuntos. Se A 4 B e B 4 A, ento A B.

Definio 2.5 (Conjunto Finito)




Seja A um conjunto. A finito se existe n N0 tal que A m N0 | m < n ou seja


A 0, 1, 2, . . . , n 1 .

Definio 2.6 (Conjunto Numervel)


Um conjunto A diz-se numer
avel se equipotente a N0

Proposio 2.1
O conjunto N N numer
avel.

Corolario 2.2.1
Sejam A e B conjuntos. Se A e B so numerveis, ento A B numervel.
Observao:
Sejam A e B conjuntos. Se A B e B numervel, ento A numervel.
Lema 2.3
Seja A conjunto. Se A infinito e a A, ento A\{a} A.

Definio 2.7 (Unio Disjunta)


Sejam A e B conjuntos. Define-se uni
ao disjunta de A e B, como sendo o conjunto:




A B = (0, a) | a A (1, b) | b B
Universidade do Minho

Lgica e Fundamentos 2005/2006

2. Conjuntos Numerveis

Lema 2.4

Sejam A e B conjuntos. Ento A B 4 A B

Proposio 2.2

Sejam A e B conjuntos. Se A e B so numerveis, ento A B numervel.

Teorema 2.3
A unio numervel de conjuntos numerveis numervel.

Universidade do Minho

CAPTULO

3
Alfabeto

Definio 3.1
Seja A um conjunto e seja n > 0.


An = a1 . . . an | qualquer 1 6 i 6 n ai A
Os elementos de An dizem-se as palavras em A de comprimento n.
[

A =
An | n N 0

A0 = representa a palavra vazia.
Observao:
1) Para todo n > 0, An+1 An A;
2) Em particular, A1 {} A
Lema 3.1
Se A numervel ento, para todo n > 0, An+1 numervel.

Proposio 3.1
Se A numervel ento, A numervel.

Universidade do Minho

CAPTULO

4
Lgica Proposicional

Definio 4.1
Uma proposio uma frase declarativa com valor lgico bem definido.

Definio 4.2
Os conectivos so operadores que ligam proposies por forma a construir proposies compostas.
CONECTIVOS
n
ao, n
ao e verdade

Conjuncao

Disjuncao

ou

Implicacao

se... ent
ao...

se e s
o se

N egac
ao

Equival
encia

4.1

Estrutura Proposicional de uma Proposio

Forma como uma proposio se compe de proposies mais simples, por intermdio de conectivos.

Definio 4.3
Proposies Atmicas so proposies sem conectivos.
As variveis p0 , p1 , p2 , . . . so as variveis proposicionais.
Definio 4.4 (Alfabeto Proposicional)
Define-se Alf abeto P roposicional como sendo o conjunto:




Ap = pi | i N0 , , , , , ( , )

Universidade do Minho

Lgica e Fundamentos 2005/2006

4. Lgica Proposicional

Definio 4.5 (Conjunto de Frmulas Proposicionais)


O conjunto das F o
rmulas P roposicionais, Fp o subconjunto de Ap definido indutivamente
por:
(1) para todo pi Vp ,

pi F p ;

(2) Fp ;
(3) para todo Fp , ( ) Fp ;
(4) para todo , Fp , (  ) Fp , com  {, , , } .

Regras para omitir parnteses:


F No escrever parnteses nas negaes;
F Omitir os parnteses nos extremos.

Proposio 4.1
O conjunto de frmulas proposicionais Fp numervel.
Princpio de Induo associado a Fp
P ara toda acondic
ao Q() sobre Fp , se
(1) para qualquer p Vp ,

Q(p);

(2) Q();
(3) para qualquer Fp , se Q() ent
ao

Q();

(4) para qualquer , Fp , para qualquer  {, , , } se Q() e Q() ent


ao

ent
ao, para qualquer Fp ,

Q()

Q()

Definio 4.6 (Teorema de Recurso em Fp )




Seja A um conjunto, g : Vp A, h A, h : A A e, para todo  , , ,
h : A2 A.
Ento, existe uma e uma s funo f : Fp A tal que:
(1) Qualquer p Vp

f (p) = g(p);

(2) f () = h ;
(3) Qualquer Fp ,



f () = h (f ()) ;

(4) Qualquer , Fp , para qualquer  {, , , }

Universidade do Minho



f  = h f (), f () .

10

Lgica e Fundamentos 2005/2006

4. Lgica Proposicional

Definio 4.7
Considere-se a funo var defenida recursivamente por:
(1) var(p) = p;
(2) var() = ;
(3) var() = var(), qualquer Fp ;
(4) var(  ) = var() + var(), qualquer , Fp , qualquer  {, , , }.
ou seja,
var : Fp P(Vp )


7 var() = p Vp | p ocorre em

Definio 4.8 (Funo de Substituio)


Sejam Fp e p Vp . Define-se a f unc
ao de substituic
ao de p por em [/p], como
[/p] : Fp Fp
7 [/p]
onde todas as ocorrncias de p em so substitudas por .

Definio 4.9
Sejam Fp e p Vp . Define-se por recurso estrutural a funo
[/p] : Fp
Fp
[/p]
tal que
(1) [/p] =;

pi se pi =
6 p
, para pi Vp ;
se pi = p


(3) 1  2 [/p] = 1 [/p]  2 [/p] , para quaisquer 1 , 2 Fp e  {, , , };


(4) [/p] = ([/p]) .

(2) pi [/p] =

Universidade do Minho

11

Lgica e Fundamentos 2005/2006

4. Lgica Proposicional

Definio 4.10 (Funo de verdade associadas aos conectivos)


v {0, 1}

v : {0, 1} {0, 1}
v ()
1
0

v = 0

0
1

v : {0, 1}2 {0, 1}

v : {0, 1}2 {0, 1}

v (, )

v (, )

1
1
0
0

1
1
0
0

1
0
1
0

1
1
1
0

1
0
1
0

1
0
0
0

v : {0, 1}2 {0, 1}

v : {0, 1}2 {0, 1}

v (, )

v (, )

1
1
0
0

1
1
0
0

1
0
1
0

Universidade do Minho

1
0
1
1

1
0
1
0

1
0
0
1

12

Lgica e Fundamentos 2005/2006

4. Lgica Proposicional

Nota:
Consequncia do carcter vero-funcional dos conectivos:
(1) O valor lgico de uma proposio determinado pelo valor lgico das proposies atmicas;
(

cada vari
avel proposicional
um valor lgico, ento
cada vari
avel proposicional que ocorre em
fica determinado um valor lgico em .

(2) Dado Fp associamos a

Teorema 4.1 (Teorema da Recurso)


Seja A um conjunto, g : Vp A, h A, h : A A e, para todo  {, , }
h : A2 A
Ento existe uma e uma s funo f : Fp A tal que:
(1) qualquer p Vp

f (p) = g(p);

(2) f () = h ;
(3) qualquer Fp ,



f () = h f () ;

(4) qualquer , Fp , qualquer  {, , },


f () = h f (), f () ;

Definio 4.11 (Valorao)


Uma funo v : Vp {0, 1} diz-se uma valorac
ao se, dado Fp , v() o valor lgico de
determinado por v.
Nota:
Esta definio diz que, para calcular v basta saber o valor de p.

Dada a valorao v, existe pelo Teorema da Recurso, uma exteno v : Fp {0, 1} que respeita
o significado dos conectivos. v diz-se uma extenso cannica de v.
Caso particular do Teorema da Recurso (Extenso Cannica)
A = {0, 1} h = v = 0 h = v e h = v
Seja v : Vp {0, 1}. Ento, existe uma e uma s funo v : Fp {0, 1} tal que
(1) qualquer p Vp v(p) = v(p);
(2) v() = 0;
(3) qualquer Fp


v() = v v() ;

(4) qualquer , Fp , qualquer  {, , },


v() = v v(), v() ;

Nota:
v diz-se uma extenso cannica de v.

Notao: Escreve-se v(), em vez de v().


O valor lgico de uma frmula fica determinado quando se determina o valor lgico das variveis
que ocorrem nessa frase.
Universidade do Minho

13

Lgica e Fundamentos 2005/2006

4. Lgica Proposicional

Nota:
O valor lgico de uma frmula fica determinado pela escolha de um valor lgico para as variveis que
ocorrem em .

Proposio 4.2
Para todo Fp , para qualquer v1 , v2 : Vp {0, 1}, se para qualquer p var(), v1 (p) = v2 (p)
ento v1 () = v2 ().
A partir deste momento o interesse investigar o valor lgico que uma frmula pode tomar.
A aplicao prtica deste resultado substituir as variveis que ocorrem na frmula, no sendo
necessrio ver todos os casos, para todas as variveis em geral.
Por isso, vai haver 2n casos possiveis, onde n o nmero de variveis que ocorrem na frmula.
Todo isto conduz ao conceito de tabela de verdade.
Lema 4.1 (da Sustituio)
Sejam Fp e p Vp . Seja v uma valorao. Ento, para todo Fp

v [/p] = v
em que, dado {0, 1}

= v(p)
v

v()
p

(


pi =

v(pi ) se pi =
6 p

se pi = p

Nota:
Pode dar-se o caso de a valorao no se modificar ao se efectuar a substituio.
O presente Lema, garante que, a valorao de uma frmula aps a substituo da varivel p, pela frmula
igual valorao obtida pela substituio da valorao da varivel p pela valorao da frmula .

Definio 4.12 (Satisfaz)


Sejam Fp e v valorao. Diz-se que v satisf az se v() = 1

Definio 4.13 (Satisfazvel)


Seja Fp . diz-se satisf azivel se existe uma valorao v, tal que, v satisfaz .

Definio 4.14 (Satisfazvel)


Seja Fp .
(1) diz-se satisf azivel se, existe uma valorao v, tal que, v() = 1.
(2) diz-se insatisf azivel se, para qualquer valorao v, v() = 0.

Universidade do Minho

14

Lgica e Fundamentos 2005/2006

4. Lgica Proposicional

Exemplos:
1) p0 p0 (lei do 3o excluido);

2) (p0 p1 ) p1 p0 ;
3) p0 p0 ;
4) p0 p0 ;
5) p0 p0
6) p0 p0

e insatisf azivel;
e insatisf azivel.

Definio 4.15 (Tautologia)


Seja Fp . diz-se uma tautologia ( |= ) se, para qualquer valorao v, v() = 1.

Definio 4.16 (Refutvel)


Seja Fp . diz-se ref ut
avel, se existe uma valorao v, tal que, v() = 0.
Mtodo de fabricao de tautologias
Se |= ent
ao |= ()
Mtodo de fabricao de insatisfazveis
Se |= ent
ao e insatisf azivel

Proposio 4.3
Para todo Fp , para todo Fp e p Vp , se |= ento |= [/p].

Definio 4.17 (Logicamente Equivalentes)


Sejam , Fp . e dizem-se logicamente equivalentes ( ) se, para qualquer
valorao v, v() = v().
Observao:
se e s se |=
Nota:
1) pi < p0 ;
2) pi < p1 ;
1) pi p0 .

Universidade do Minho

15

Lgica e Fundamentos 2005/2006

4. Lgica Proposicional

Proposio 4.4
Para todo , , Fp :
(1 ) (comutativa);
(1) (comutativa);
(2 ) ( ) ( ) (associativa);
(2) ( ) ( ) (associativa);
(3 ) (idempot
encia)
(3) (idempot
encia)
(4 ) (elemento absorvente)
(4) ( ) ( ) (elemento absorvente)
(5 ) ( ) (elemento neutro);
(5) (elemento neutro);
(6 ) ( ) ( ) ( ) (distributividade);
(6) ( ) ( ) ( ) (distributividade);
(7 ) ( ) ( ) (Leis de M organ);
(7) ( ) ( ) (Leis de M organ);
(8 ) ;
(9 )
(10) ( ) ( );
(11) ;
(12) ( );
(13) ( );
(14) ;
(15) ;
(15) ;

Universidade do Minho

16

Lgica e Fundamentos 2005/2006

4. Lgica Proposicional

Proposio 4.5
A relao uma relao de equivalncia em Fp , isto :
(1) Para qualquer Fp ,

(2) Para qualquer , Fp

(Ref lexiva)

, se ento

(3) Para qualquer , , Fp ,

(Sim
etrica)

se e ento

(T ransitiva)

Proposio 4.6
Para todo 1 , 2 , Fp , se 1 2 ento:
(1) 1 2

1 2 ;

(2) 1 2

1 2 ;

(3) 1 2

1 2 ;

(4) 1 2

1 2 ;

Definio 4.18
Seja Fp
(1) Seja v valorao. Diz-se que v satisf az se, para qualquer , v satisfaz .
(2) diz-se satisf azivel, se existe uma valorao v, tal que, v satisfaz .
(3) diz-se insatisf azivel, ou l
ogicamente inconsistente, se no satisfazvel.

Exemplo 4.18.1
(1) {p1 } satisfazvel;
(2) Se satisfazvel, ento {} tambm satisfazvel;
(3) O conjunto satisfazvel;
(4) Fp insatisfazvel;
(5) Se ento insatisfazvel;
(6) {p1 , p1 } lgicamente inconsistente.

Observao:
|= se e s se {} lgicamente inconsistente.
Notao:
n
^
1)
i = 1 (2 (. . . (n1 n ) . . .)
2)

i=1
n
_

i = 1 (2 (. . . (n1 n ) . . .)

i=1

Universidade do Minho

17

Lgica e Fundamentos 2005/2006

4. Lgica Proposicional

Lema 4.2
Sejam 1 , . . . , n Fp e v uma valorao. Ento v satisfaz {1 , . . . , n } se e s se v satisfaz
n
^
i .
i=1

Lema 4.3 n
n
^
_

i
i
i=1

i=1

Proposio 4.7
Seja = {1 , . . . , n }. Ento, as seguintes afirmaes so equivalentes:
(1) logicamente inconsistente;
(2) |=

(3) |=

n
^
i=1
n
_

i ;
i .

i=1

Definio 4.19 (Consequncia Lgica)


Sejam Fp e Fp . Diz-se que consequ
encia l
ogica de ( |= ) se, para toda a
valorao v: se v satisfaz ento v satisfaz .

Observao:
Para todo Fp ,

|= se e s se |=

Observao:
n
^
v satisfaz
i se e s se, para qualquer 1 6 i 6 n, v satisfaz i .
i=1

Lema 4.4
n
^
1 , . . . , n |= se e s se
i |= .
i=1

Lema 4.5
Para todo Fp , , Fp ,

, |= se e s se |= .

Notao: Escreve-se , |= em vez de {} |= .

Universidade do Minho

18

Lgica e Fundamentos 2005/2006

4. Lgica Proposicional

Proposio 4.8
Sejam 1 , . . . , n , Fp . Ento as seguintes condies so equivalentes:
(1) 1 , . . . , n |= ;
(2)

n
^
i=1

(3) |=

i |= ;
n
^


i .

i=1

Proposio 4.9
Sejam Fp e Fp :
(1) insatisfazvel se e s se |=;
(2) |= se e s se {} insatisfazvel

Universidade do Minho

19

Lgica e Fundamentos 2005/2006

4.2

4. Lgica Proposicional

Deduco Natural

Definio 4.20 (Derivvel)


Sejam Fp e Fp . Diz-se que deriv
avel a partir de
derivao D Derp de a partir de .

( ` ) se existe uma

Nota:
1) A derivao um mtodo para obter uma demonstrao.
2) A concluso verdadeira dependendo das hipteses no canceladas. A concluso verdadeira se as
hipteses no canceladas forem verdadeiras.
3) As hipteses canceladas no afectam a concluso.

Definio 4.21
Arv p o conjunto das rvores de frmulas em Fp com hipteses possivelmente canceladas.

Definio 4.22
Derp o subconjunto de Arv p definido indutivamente por:
(1) Para todo Fp ,

Derp

(2) Regra de inferncia Introduo Conjuno

Para todo

D D0
,

Derp
D0
Derp

(3) Regra de inferncia Eliminao da Conjuno

Para todo

Derp
D
Derp

D
Derp

(4) Regra de inferncia Introduo Implicao

Para todo

Derp
[]
D

Derp

Universidade do Minho

20

Lgica e Fundamentos 2005/2006

4. Lgica Proposicional

(5) Regra de inferncia Eliminao da Implicao (Modus Ponens)

Para todo

D
D0
,

Derp
D

D
Derp

(6) Regra de inferncia Introduo da Equivalncia

Para todo D D Derp

[]
D

[]
D0
Derp

(7) Regra de inferncia Eliminao da Equivalncia

Para todo

D
D0
,

Derp

D0
Derp

D0
Derp

(8) Regra de inferncia

Para todo D Derp

[]
D
Derp

(9) Regra de inferncia

Para todo

D
D0
,

Derp
D0
Derp

Universidade do Minho

21

Lgica e Fundamentos 2005/2006

4. Lgica Proposicional

(10) Regra de inferncia Introduo Disjuno

Para todo

Derp
D

Derp

Para todo

Derp
D

Derp

11) Regra de inferncia Eliminao da Disjuno

Para todo

D
,

, D Derp
D

D0

D00

Derp

(12) Regra de inferncia

Para todo

Derp
D
Derp

(13) Regra de inferncia Reduo ao Absurdo

Para todo D Derp

[]
D
Derp

Notao:

1)

D
V D uma derivao com concluso

2) D V D uma derivao com concluso e em que ocorre como hiptese no cancelada

n > 0 vezes.

Universidade do Minho

22

Lgica e Fundamentos 2005/2006

4. Lgica Proposicional

Definio 4.23 (Teorema)


(1) Seja D Derp. Se D derivao de a partir de , ento diz-se uma demonstrao de .
(2) Seja Fp , diz-se um teorema (` ) se e s se `

Definio 4.24 (Derivvel)


Seja Fp e Fp . derivvel a partir de ( ` ) se existe derivao de a partir de .
Definio 4.25
Seja Fp .
(1) diz-se sintticamente inconsistente se `.
(2) diz-se consistente se no inconsistente.

Proposio 4.10
Seja Fp . ` se e s se , `.
Proposio 4.11
As seguintes condies so equivalentes:
(1) Para qualquer , ,
(2) Para qualquer ,

se ` ento  .

se satisfazvel ento 0 (ou seja, consistente).

Proposio 4.12
As seguintes condies so equivalentes:
(1) Para qualquer , ,
(2) Para qualquer ,

se  ento ` .

se consistente, ento satisfazvel.

Teorema 4.2 (Teorema da Correco)


Para todo , , se ` ento  .
Corolario 4.2.1
(1) Para todo o ,
(2) Para qualquer ,

Se satisfazvel, ento consistente.


se ` ento  .

(3) 0.

Teorema 4.3 (Teorema da Completude)


Para todo , , se  ento ` .
Corolario 4.3.1
(1) Para qualquer , ,

` se e s se  .

(2) Para qualquer ,

satisfazvel se e s se consistente.

(3) Para qualquer ,

` se e s se  .

Universidade do Minho

23

CAPTULO

5
Lgica de 1a Ordem

Definio 5.1 (Linguagem)


Uma Linguagem um quarteto ordenado (C, F, R, N ), em que:
(1) C o conjunto, cujos elementos chamam-se Constantes.
(2) F o conjunto, cujos elementos chamam-se Simbolos de F unc
ao.
(3) R o conjuntocujos elementos, chamam-se Simbolos de Relac
ao de L ou P redicados.
(4) N : F R N0 \{0}, para cada s F R, N (s) diz-se aridade de s.

Definio 5.2 (Alfabeto)


Seja L uma linguagem. O alf abeto induzido por C, (AL ), o conjunto
AL = V

, , , , ,




, (, ) C F R



em que V = xn | n N0 o conjunto das variveis.

Universidade do Minho

24

5. Lgica de 1a Ordem

Lgica e Fundamentos 2005/2006

Definio 5.3 (Termos)


Seja L = (C, F, R, N ) uma linguagem. O conjunto dos termos em L, (TL ) o subconjunto de
AL , definido indutivamente por:
(1) Para qualquer c C,

c TL ;

(2) Para qualquer x V,

x TL ;

(3) Para qualquer f F, de aridade n, para qualquer t1 , . . . , tn TL ,

f (t1 , . . . , tn ) TL .

Princpio de Induo Estrutural associado a TL


Seja L uma linguagem.
P ara toda a condic
ao Q(t) sobre t TL , se :
(1) P ara qualquer c C,

Q(c);

(2) P ara qualquer x V,

Q(x);

(3) P ara qualquer simbolo de f unc


ao f F, de aridade n, para quaisquer t1 , . . . , tn TL ,

se Q(t1 ) e . . . e Q(tn ), ent


ao,
ent
ao para qualquer t TL ,


Q f (t1 , . . . , tn ) ;

Q(t).

Teorema 5.1 (Recurso Estrutural associado a TL )


Sejam A um conjunto, gc : C A, gx : V A e, para cada simbolo de funo f, gf : An A
funes.
Ento, existe uma e uma s funo F : TL A, tal que:
(1) Para qualquer c C, F (c) = gc (c);
(2) Para qualquer x V, F (x) = gx (x);

(3) Para quaisquer t1 , . . . , tn TL , F f (t1 , . . . , tn ) = gf F (t1 ), . . . , F (tn ) .

Definio 5.4
Seja L linguagem:
var : TL P(V)
t 7 var(t) = {x V | x ocorre em t}

Universidade do Minho

25

5. Lgica de 1a Ordem

Lgica e Fundamentos 2005/2006

Definio 5.5 (Frmulas)


Seja L = (C, F, R, N ) uma linguagem. O conjunto das f o
rmulas em L, (FL ) o subconjunto de
AL , definido indutivamente por:
(1) P ara qualquer

R n-rio, para qualquer t1 , . . . , tn TL ,

R(t1 , . . . , tn )

FL

(F orm Atomicas);

(2) FL ;
(3) P ara qualquer FL ,

() FL ;


(4) P ara qualquer , FL , para qualquer  , , , ,

(  ) FL ;

(5) P ara qualquer FL , para qualquer x V, para qualquer Q {, },

(Qx ) FL .

Princpio de Induo Estrutural associado a FL


Seja L uma linguagem.
P ara toda a condic
ao P () sobre FL , se :
(1) P ara qualquer

R n-
ario, para qualquer t1 , . . . , tn TL , P

R(t1 , . . . , tn )

(2) P ();
(3) P ara qualquer FL , se P (), ent
ao

P ();


(4) P ara qualquer , FL , para qualquer  , , , , se P () e P (),
ent
ao P (  );
(5) P ara qualquer FL , para qualquer x V, para qualquer Q {, },

se P (), ento P (Qx ).


ent
ao para qualquer FL ,

P ().

Teorema 5.2 (Recurso Estrutural associado a FL )




Sejam A um conjunto, g A, gat : FLat A, g : A A, para cada  , , ,
g : A2 A, para cada Q {, } gQ : A A funes.
Ento, existe uma e uma s funo F : FL A, tal que:
R n-rio, para qualquer t1 , . . . , tn TL ,

R(t1 , . . . , tn ) ;

(1) Para cada frmula atmica


F R(t1 , . . . , tn ) = gat

(2) F () = g
(3) Para qualquer FL ,


F () = g F ()


(4) Para quaisquer , FL , para qualquer  , , ,


F () = g F (), F ()

(5) Para qualquer Q {, }, para qualquer x V e para qualquer FL ,


F (Qx ) = gQ F () .
Universidade do Minho

26

Lgica e Fundamentos 2005/2006

5. Lgica de 1a Ordem

Condies para omitir parntesis:


? As mesmas da lgica proposicional;
? Omitem-se os parnteses induzidos por quantificadores.
Definio 5.6
Seja L linguagem e FL
(1) Em cada ocorrncia de (Qx ) em , para algum Q {, }, x V e FL ,

diz-se o alcance de Q;
(2) Seja x V. Uma ocorrncia de x em diz-se ligada se a ocorrncia de x est no alcance

de um quantificador sobre x em . Caso contrrio, a ocorrncia diz-se livre;


Definio 5.7 (Funo liv)
A funo liv
liv : FL P(V)
7 lig() = {x V | x ocorre livre em }
definida por recurso estrutural por:
(1) liv

R(t1 , . . . , tn )

n
[

var(ti );

i=1

(2) liv() = ;
(3) liv() = liv();
(4) liv(  ) = liv() liv();
(5) liv(Qx ) = liv()\{x}.

Definio 5.8 (Funo lig)


A funo lig
lig : FL P(V)
7 lig() = {x V | x ocorre ligada em }
definida por recurso estrutural por:

(1) lig R(t1 , . . . , tn ) = ;
(2) lig() = ;
(3) lig() = lig();
(4) lig(  ) = lig() lig();

(
(5) lig(Qx ) =

Universidade do Minho

{x} lig() se x var()


lig()
se x
/ var()

27

5. Lgica de 1a Ordem

Lgica e Fundamentos 2005/2006

Definio 5.9 (Sentena)


Seja FL . Se liv() = , diz-se f echada ou uma sentenca.

Definio 5.10 (Funo de Substituo em Termos)


Seja L uma linguagem, x V e t0 TL
[t0 /x] : TL TL
t 7 t[t0 /x]
t[t0 /x] o resultado da substituio em t de todas as ocorrncias de x por t0 .
A funo que a cada termo t associa o termo t[t0 /x], resulta de substituir todas as ocorrncias da
varivel x pelo termo t0 , define-se por recurso estrutural associada a TL por:
(1) Para qualquer c C,

c[t0 /x] = c;
(

(2) Para qualquer y V,

y[t0 /x] =

t0 se x = y
;
x se x 6= y

(3) Para qualquer simbolo de funo f , de aridade n, para qualquer t1 , . . . , tn TL ,


f (t1 , . . . , tn )[t0 /x] = f t1 [t0 /x], . . . , tn [t0 /x] .

Definio 5.11 (Funo de Substituo em Frmulas)


Seja L uma linguagem, x V e t0 TL
[t0 /x] : FL FL
7 [t0 /x]
[t0 /x] o resultado da substituio em de todas as ocorrncias livres de x por t0 .
A funo que a cada frmula associa a frmula [t0 /x], resulta de substituir todas as ocorrncias
livres da varivel x pelo termo t0 , define-se por recurso estrutural associada a FL por:
R, de aridade n, para qualquer t1 , . . . , tn TL ,

t1 [t0 /x], . . . , tn [t0 /x] ;

(1) Para qualquer simbolo de predicado


R(t1 , . . . , tn )[t0 /x]

=R

(2) [t0 /x] =;


()[t0 /x] = [t0 /x] ;


(4) Para quaisquer , FL , para qualquer  , , , ,
 [t0 /x] = [t0 /x]  [t0 /x];


(5) Para qualquer FL , para qualquer Q , , para qualquer y V,

Qy
se x = y
(Qy )[t0 /x] =
Qy [t /x] se x 6= y
0
(3) Para qualquer FL ,

Universidade do Minho

28

5. Lgica de 1a Ordem

Lgica e Fundamentos 2005/2006

Definio 5.12 (Varivel livre para um termo numa frmula)


Seja L linguagem, x V, t0 TL e FL .
(1) Diz-se que x est
a livre para t0 em se x no ocorre livre em no alcance de um quan-

tificador sobre y, com y var(t0 ).


(2) Diz-se que x n
ao est
a livre para t0 em se x ocorre livre em no alcance de um quan-

tificador sobre y, com y var(t0 ).

Nota:
Se no tem quantificadores, ento qualquer varivel x est livre para qualquer termo t em .

Nota:
A varivel x livre para t0 em se:
(1) atmica;
(2) se = (1 ) e x livre para t0 em 1 ;
(3) se = 1 2 e x livre para t0 em 1 e em 2 ;
(4) = Qy 1 , com Q {, } e y
/ var(t0 ) e x livre para t0 em 1 e x 6= y.

Nota:
A varivel x est livre para t0 em x se e s se as variveis de t0 no esto no alcance de um quantificador.

Definio 5.13 (Atribuio. Interpretao. Valorao)


Seja L = (C, F, R, N ) linguagem. Seja U um conjunto no vazio.
(1) Uma atribuic
ao em U uma funo a : V U ;
(2) Uma interpretac
ao de L em U uma funo que associa a cada simbolo em L um "ob-

jecto"em U , que respeita o tipo e a aridade do simbolo, ou seja, uma interpretao de L em


U associa:
(2.1) a cada c C, c U
(2.2) a cada f F n-rio, f : U n U ;
(2.3) a cada

R n-rio,

: U n {0, 1}.

(3) Se a atribuio em U e I interpretao de L em U , ento v = (U, I, a) diz-se uma

valorac
ao de L em U .

Universidade do Minho

29

5. Lgica de 1a Ordem

Lgica e Fundamentos 2005/2006

Exemplo 5.13.1 (Interpretao Usual de LARIT )


A interpretao usual da Linguagem aritmtica definida por:
LARIT = {0}, {s, +, }, {=, <}, N

onde:
(1) U = N0 ;
(2) 0 = 0
(3)

s : N0 N0
s(n) = n + 1

+ : N20 N0
+(n, m) = n + m

: N20 N0
(n, m) = n m

(4)

=
: N0
( {0, 1}
1 se n = m
=(n,

m) =
0 caso contr
ario

< : N0
( {0, 1}
1 se n < m
<(n, m) =
0 caso contr
ario

Exemplo 5.13.2 (Valorao de LARIT )


Seja
a : V
N0
x 7 a(x) = 1
Portanto, v = (N0 , I, a) uma valorao de LARIT em N0 , onde I a interpretao usual de LARIT .

Universidade do Minho

30

Lgica e Fundamentos 2005/2006

5. Lgica de 1a Ordem

Definio 5.14 (Funes de Verdade dos Quantificadores)


Seja U um conjunto no vazio.
As funes de verdade associadas aos quantificadores relativas a U , definem-se por:
(1) v,

v,

(2) v,

v,

: {0, 1}U {0, 1}


(
1 se f (u) = 1 para qualquer u U
=
0 caso contr
ario
: {0, 1}U {0, 1}
(
1 se f (u) = 1 para algum u U
=
0 caso contr
ario

Proposio 5.1
Seja L uma linguagem, U um conjunto, I ima interpretao em U de L e FL . Seja v = (U, I, a).
Ento:
  

u
(1) v(x ) = min v
() | u U
x
  

u
(2) v(x ) = max v
() | u U
x

Definio 5.15
Seja L uma linguagem, U um conjunto no vazio, v(U, I, a) valorao de L em U . Sejam x V e
uU
 
u
a
: V U
x
(
 
a(x0 ) se x0 6= x
u
a
(x0 ) =
x
u
se x0 = x
  
 
u
u
v
= U, I, a
x
x

Universidade do Minho

31

5. Lgica de 1a Ordem

Lgica e Fundamentos 2005/2006

Definio 5.16 (Valorao de um Termo)


Seja L = (C, F, R, N ) linguagem e v = (U, I, a) uma valorao de L em U .
A funo v : TL U define-se recursivamente por:
(1) Para qualquer c C,

v(c) = c;

(2) Para qualquer x V,

v(x) = a(x);

(3) Para qualquer f TL n-rio, para qualquer t1 , . . . , tn TL ,



v (t1 , . . . , tn ) = f v(t1 ), . . . , v(tn )

para cada t TL , v(t) diz-se o valor de t determinado pela valorao v.

Nota:
Repare-se que o valor de um termo t, refere-se ao valor na interpretao da linguagem escolhida, e no a
um valor lgico, enquanto que, para uma frmula , s faz sentido em falar em valor lgico, dado que, uma
relao ou se verifica, ou no se verifica.

Definio 5.17 (Valor Lgico de uma Frmula)


Sejam L = (C, F, R, N ) linguagem e v = (U, I, a) valorao de L e FL .

O valor l
ogico de determinado por v valorao v() define-se do seguinte modo:
(1) Para todo

R n-rio, para todo t1 , . . . , tn TL ,

R(t1 , . . . , tn )


= R v(t1 ), . . . , v(tn ) ;

(2) v() = 0
(3) Para qualquer FL ,



v () = v v() ;


(4) Para todo , FL ,para qualquer  , , , ,



v () = v v(), v()

(5) Para todo FL , para todo x V, para todo Q {, },

f : U {0, 1}


 
v Qx = vQ,U

u
f (u) = v
()
x
Observao:
R

representa a interpretao do simbolo de predicado

Universidade do Minho

aplicado ao valor dos termos.

32

5. Lgica de 1a Ordem

Lgica e Fundamentos 2005/2006

Definio 5.18 (Satisfaz)


Seja L uma linguagem. Seja FL e v = (U, I, a) uma valorao de L.
Se v() = 1 diz-se que v satisf az .
Exerccio 5.18.1
Seja L uma linguagem e sejam R R n-rio, , FL , t1 , . . . , tn TL , v = (U, I, a) valorao
de L num conjunto no vazio U e x V. Ento:

(1) v satisfaz R(t1 , . . . , tn ) se e s se R v(t1 ), . . . , v(tn ) = 1;
(2) v satisfaz se e s se no verdade que v satisfaz ;
(3) v satisfaz se e s se v satisfaz e v satisfaz ;
(4) v satisfaz se e s se v satisfaz ou v satisfaz ;
(5) v satisfaz se e s se ( se v satisfaz ento v satisfaz );
(6) v satisfaz se e s se ( v satisfaz se e s se v satisfaz );

 
u
(7) v satisfaz x se e s se, para todo u U , v
satisfaz ;
x
 
u
(8) v satisfaz x se e s se, existe u U , tal que v
satisfaz ;
x
Proposio 5.2
Sejam L linguagem, U conjunto no vazio e I interpretao em L.
(1) Para todo t TL ,

se a1 , a2 so atribuies em U , tais que, para qualquer x var(t)


para vi = (U, I, ai ), i = 1, 2, tem-se que v1 (t) = v2 (t).

a1 (x) = a2 (x),

ento,

a1 (x) = a2 (x),

ento,

(2) Para todo FL ,

se a1 , a2 so atribuies em U , tais que, para qualquer x liv()


para vi = (U, I, ai ), i = 1, 2, tem-se que v1 () = v2 ().

Corolario 5.2.1
Sejam L linguagem, U conjunto no vazio, I interpretao de L em U , e uma sentena em

L, isto e, liv() = .
Ento, para qualquer a1 , a2 atribuies em U , e para vi = (I, U, ai ), i = 1, 2, tem-se que
v1 () = v2 ()
.
Nota:
O valor lgico de uma sentena depende somente da interpretao, e no depende da atribuio escolhida.

Universidade do Minho

33

5. Lgica de 1a Ordem

Lgica e Fundamentos 2005/2006

Lema 5.1 (Lema da Substituio)


Sejam L linguagem, x V e t0 TL . Seja v = (U, I, a) valorao de L.



v(t0 )
(1) Para qualquer t TL , v t[t0 /x] = v
(t);
x
(2) Para qualquer FL , se x est livre para t0 em , ento




v(t0 )
v [t0 /x] = v
().
x

Definio 5.19 (Substituio Simultnea)


Seja Fp tal que var() = q1 , . . . , qn . Seja L uma linguagem e sejam 1 , . . . , n FL .
[1 /q1 , . . . n /qn ] denota a substituic
ao simult
anea de qi por i , i = 1, . . . , n.

Nota:
Repare-se que o resultado de tal substituio uma frmula em FL , que se diz, uma instncia em L de .

Lema 5.2
Seja L uma linguagem. Seja v valorao de L.
Para todo Fp , se var() = {qi , . . . , qn } ento, para todo 1 , . . . , n FL

v [1 /q1 ], . . . , [n /qn ] = v 0 ()
em que v 0 : Vp {0, 1} uma valorao, tal que, v 0 (qi ) = v(i ), i = 1, . . . , n.

Definio 5.20
Sejam L uma linguagem, U conjunto no vazio, I interpretao de L em U , e FL .
(1) diz-se v
alida para I ( I ` ) se, para todaq a atribuio a em U , a valorao v = (U, I, a)

satisfaz .
(2) diz-se logicamente v
alida, (  ), se vlida para qualquer interpretao de L em

qualquer conjunto no vazio.

Universidade do Minho

34

Lgica e Fundamentos 2005/2006

5. Lgica de 1a Ordem

Proposio 5.3
Seja L linguagem e , FL . Ento:
(1)  x ;
(2)  x ;
(3)  x [t/x], se x est livre para t em ;
(4)  [t/x] x , se x est livre para t em ;
(5)  x x ;
(6)  x x x x ;
(7)  (x x ) x ( );
(8)  x ( ) (x x ).

Proposio 5.4
Seja L linguagem e , FL . Ento:
(1) 2 x x ;
(2) 2 x y y x ;
(3) 2 (x ) (x x );
(4) 2 (x x ) x .

Proposio 5.5 (Instncia de uma Tautologia)


Seja L linguagem e FL .
Se instncia de uma tautologia, ento  .

Nota:
Esta ltima proposio, na prtica, afirma que, se substituir as variveis proposicionais de uma frmula de
Fp , que seja uma tautologia, ento obtm-se uma frmula FL Lgicamente Vlida.

Proposio 5.6
Para todo FL , t TL , x V.
Se  e x est livre para t em , ento  [t/x].

Universidade do Minho

35

5. Lgica de 1a Ordem

Lgica e Fundamentos 2005/2006

Definio 5.21
Sejam L linguagem e , FL .
e dizem-se logicamente equivalentes ( ), se, para qualquer valorao de L,
v() = v()
Nota:
se e s se ` .

Proposio 5.7
Sejam L linguagem e , FL ,
(1) x x ;
(2) x x ;
(3) x x ;
(4) x x ;
(5) x ( ) x x ;
(6) x ( ) x x ;
(7) x y y x ;
(8) x y y x ;
(9) Se x
/ liv() ento x ;
(10) Se x
/ liv() ento x ;
(11) Se y
/ liv() e x est livre para y em ento x y [y/x];
(12) Se y
/ liv() e x est livre para y em ento x y [y/x];

Definio 5.22 (Satisfazvel e Consequncia Lgica)


Sejam L linguagem, FL e FL .
(1) satisf azivel se existe uma valorao v, tal que, v satisfaz .
(2) satisf azivel ou logicamente consistente, se existe uma valorao v, tal que,

v satisfaz .
(3) consequ
encia l
ogica de (  ) se, qualquer valorao v de L,

Se v satisfaz ento v satisfaz .

Universidade do Minho

36

5. Lgica de 1a Ordem

Lgica e Fundamentos 2005/2006

5.1

Deduo Natural para Lgica de 1a Ordem

Todas as regras do sistema de Deduo Natural da Lgica Proposicional so extendidas Lgica


de Predicados. No entanto, acrescentam-se ainda as regras de Introduo e de Eliminao dos
quantificadores Universal e Existencial.

Definio 5.23 (DNQ)


(1) Regra de inferncia Introduo do Quantificador Universal
Para qualquer , x
/ liv()

A presente regra tem a seguinte explicao intutiva: "Se um objecto arbitrrio x tem uma
propriedade , ento todos os objectos tm a propriedade ".
No entanto, existe o problema de identificar um objecto arbitrrio. Contudo, um critrio
sinttico para definir objecto arbitrrio, no contexto da Derivao Natural, pode ser:
"Um elemento x arbitrrio se nada foi assumido relativamente a x."
Em termos mais tcnicos, o elemento x arbitrrio se, uma ocorrncia particular de x numa
derivao, se as ramificaes acima de x no contm hipteses em que x livre. Na regra
I , a varivel x no pode ocorrer livre em nenhuma hiptese da qual depende, ou seja, nas
hipteses no canceladas da derivao de .
(2) Regra de inferncia Eliminao do Quantificador Universal

x est livre para t em


x
[t/x]

(3) Regra de inferncia Introduo do Quantificador Existncial

x est livre para t em


[t/x]
x ]

(4) Regra de inferncia Eliminao do Quantificador Existncial

x
/ liv() e, para qualquer , hiptese no cancelada de D, diferente de , x
/ liv()
[]
D

Universidade do Minho

37

Lgica e Fundamentos 2005/2006

5. Lgica de 1a Ordem

Observao:
A tcnica por detrs das regras dos quantificadores reduzir x a e reintroduzir o quantificador mais tarde, caso seja necessrio.
Intuitivamente efectuado o seguinte passo: para mostrar "para todo x . . . x . . ." suficiente
mostrar ". . . x ldots"para um elemento x arbitrrio.

Definio 5.24 (Derivvel a partir de )


Seja L uma linguagem, FL e FL .
deriv
avel a partir de ( ` ), se existe uma derivao em DN Q de a partir de .

Definio 5.25 ( Teorema)


Seja L uma linguagem, FL e FL .
um teorema (` ), se existe uma demostrao em DN Q de .

Definio 5.26 ( Consistente / Inconsistente)


Sejam L uma linguagem, FL e FL .
(1) inconsistente, se `;
(2) consistente se 0.

Corolario 5.2.2
Sejam L uma linguagem, FL e FL .
(1) Se satisfazvel, ento consistente;
(2) Se ` , ento  .

Lema 5.3 (Lema 1)


Sejam L uma linguagem, e FL .
Se consistente, ento satisfazvel.
Como corolrio deste Lema 1, vem o Teorema da Completude, da responsabilidade de Gdel, (1930).

Teorema 5.3 (Completude)


Sejam L linguagem, FL e FL .
Se  ento ` .
Teorema 5.4 (Correco)
Sejam L linguagem, FL e FL .
Se ` ento  .
Universidade do Minho

38

5. Lgica de 1a Ordem

Lgica e Fundamentos 2005/2006

Corolario 5.4.1
Sejam L linguagem, FL e FL .
(1) consistente

se e s se

(2) `

 .

se e s se

satisfazvel;

Definio 5.27 (Modelo)


Sejam L linguagem, FL e I uma interpretao de L.
(1) I modelo de se vlida para I.
(2) I modelo de se, para qualquer I, I modelo de .

Definio 5.28
Seja L linguagem.
(1) Uma linguagem L diz-se numer
avel se AL um conjunto numer
avel.
(2) Uma valorao v = (U, I, a) diz-se numer
avel (respectivamente, f inita) se U um

conjunto numer
avel (respectivamente, f inito).
Observao:
Se L e nume
avel

AL e nume
avel

avel
AL e nume
FL e nume
avel
qualquer FL , e f inito ou nume
avel

Lema 5.4
Sejam L linguagem numervel e FL .
Se consistente ento, satisfazvel por uma valorao finita ou numervel.

Teorema 5.5 (Lwenheim-Skolem)


Sejam L linguagem numervel e FL .
Se satisfazvel ento, satisfazvel para uma valorao finita ou numervel.

Universidade do Minho

39