Академический Документы
Профессиональный Документы
Культура Документы
Isabel Ferreirim
tica FCUL
Departamento de Matema
Conte
udo
Nota Introdut
oria
Parte 1.
ix
C
alculo Proposicional
Captulo 1. Sentencas At
omicas
1.1. Constantes
1.2. Smbolos de Predicados ou Smbolos Relacionais
1.3. Sentencas At
omicas
1.4. Linguagens (abstractas) de Primeira Ordem
1.5. Smbolos Funcionais
1.6. A Linguagem de Primeira Ordem da Teoria de Conjuntos
1.7. A Linguagem de Primeira Ordem da Aritmetica
3
3
3
4
4
5
6
6
Captulo 2. A L
ogica das Sentencas Atomicas
2.1. Raciocnios v
alidos e falaciosos
2.2. Metodos de deduc
ao
Deduc
oes com o smbolo de igualdade =
Deduc
oes com outras sentencas atomicas
9
9
9
10
10
13
13
14
14
15
16
Captulo 4. A L
ogica dos Conectivos Booleanos
4.1. Tautologias e verdades logicas
4.2. Equivalencia l
ogica e tautologica
4.3. Consequencia l
ogica e tautologica
4.4. Forma Normal Negativa (NNF)
4.5. Formas Normais Disjuntiva (DNF) e Conjuntiva (CNF)
19
19
22
24
26
27
31
31
32
34
36
Captulo 6. Deduc
oes formais com os conectivos Booleanos
6.1. O sistema F
6.2. Regras para a conjuncao
37
37
37
CONTEUDO
vi
Regra da eliminac
ao da conjuncao ( Elim)
Regra da introduc
ao da conjuncao ( Intro)
6.3. Regras para a disjuncao
Regra da introduc
ao da disjuncao ( Intro)
Regra da eliminac
ao da disjuncao ( Elim)
6.4. Uma regra adicional
Regra da reiterac
ao (Reit)
6.5. Regras para a negacao
Regra da eliminac
ao da negacao ( Elim)
Regra da introduc
ao da negacao ( Intro)
6.6. Regras para o smbolo de contradicao
Regra da introduc
ao da contradicao ( Intro)
Regra da eliminac
ao da contradicao ( Elim)
6.7. O uso correcto das subdeducoes
6.8. Estrategia e t
actica
6.9. Deduc
oes sem premissas
37
38
39
39
39
40
40
41
41
41
41
41
43
44
45
47
Captulo 7. Implicac
ao material () e equivalencia material()
7.1. O smbolo de implicacao material
7.2. Validade l
ogica e consequencia logica
7.3. O smbolo de equivalencia material ou bicondicional ()
7.4. Completude funcional
49
49
50
51
52
Captulo 8. A L
ogica da implicacao () e equivalencia materiais()
8.1. Metodos de deduc
ao com e
8.2. Deduc
oes formais com implicacao () e equivalencia ()
materiais
Regras para a implicac
ao material
Regra da eliminac
ao da implicacao ( Elim) ou Modus Ponens
Regra da introduc
ao da implicacao ( Intro)
57
57
59
59
59
59
60
Regra da eliminac
ao da equivalencia ( Elim)
Regra da introduc
ao da equivalencia ( Intro)
8.3. Deduc
oes formais com igualdade
60
60
61
Parte 2.
C
alculo de Predicados: Quantificadores
65
Captulo 9. Introduc
ao aos quantificadores
9.1. Vari
aveis e f
ormulas atomicas
9.2. Smbolos de Quantificadores: ,
9.3. F
ormulas e sentencas
9.4. Sem
antica para os quantificadores
9.5. Formas aristotelicas
9.7. Quantificadores e Smbolos Funcionais
67
67
67
68
69
70
71
Captulo
10.1.
10.2.
10.3.
10.4.
73
73
74
75
76
10. A L
ogica dos Quantificadores
Tautologias e quantificadores
Validade e consequencia
Negac
ao e equivalencias de primeira ordem
Mais equivalencias de primeira ordem
CONTEUDO
10.5.
Captulo
12.1.
12.2.
12.3.
12.4.
vii
77
79
79
81
81
83
87
87
87
87
89
89
89
90
Captulo 17. T
opicos avancados do Calculo Proposicional
17.3. Sentencas de Horn
17.4. Resoluc
ao
95
95
99
Bibliografia
103
Nota Introdut
oria
Estas notas foram preparadas como texto de apoio complementar ao
estudo da disciplina de L
ogica de Primeira Ordem, do 1o ano da licenciatura
em Engenharia Inform
atica. Seguem de perto a estrutura do livro adoptado
Language Proof and Logic de J. Barwise e J. Etchemendy [BarEt99].
A preparac
ao destas notas foi iniciada em Fevereiro de 2006 e interrompida em 15 de Junho de 2006.
Foi retomada em Marco de 2010.
Agradeco `
a Maria Jo
ao Gouveia e ao Mario Branco a leitura cuidada,
as in
umeras correcc
oes e as valiosas sugestoes de melhoramento. Todos os
erros remanescentes, de adaptacao do texto original, sao da minha inteira
responsabilidade.
Isabel Ferreirim
ix
Parte 1
C
alculo Proposicional
CAPITULO 1
Sentencas At
omicas
1.1. Constantes
As constantes s
ao smbolos referentes a objectos previamente fixados.
Lngua Portuguesa
nome
LPO
constante
designacao, termo
3<2
1. SENTENC
AS ATOMICAS
1.3. Senten
cas At
omicas
Uma senten
ca at
omica e uma sequencia finita de smbolos, escolhidos
entre as constantes, os smbolos de predicados, os parenteses ( e ) e a
vrgula, de forma
P (c1 )
T (c1 , c2 )
R(c1 , c2 , c3 )
onde c1 , c2 , c3 s
ao constantes e P, T, R sao smbolos de predicados num vocabul
ario fixado.
Exemplo 1.4.
(1) MaisAltoQue(jo
ao, maria)
[em Portugues, O Joao e mais alto do que a Maria]
(2) Estudante(catarina)
[em Portugues, A Catarina e estudante de Eng. Inf.]
A notac
ao usual e a prefixao smbolo de predicado escreve-se `a esquerda.
Excep
c
oes
Com o smbolo de igualdade, =, utiliza-se a notacao corrente: a = b.
Com
smbolos <, > tambem se utiliza a notacao corrente: 1 < 2,
os
2 > 3.
Note Bem 1.5. Numa linguagem de primeira ordem
As sentencas at
omicas sao expressoes que se obtem escrevendo um
smbolo de predicado de aridade n, seguido de n constantes, delimitadas por parenteses e separadas por vrgulas.
P (a1 , . . . , an )
Excep
c
ao: Nas sentencas atomicas obtidas a partir da igualdade
utiliza-se a notac
ao corrente. Esta excepcao pode estender-se a
outros smbolos.
A ordem em que as constantes ocorrem e fundamental.
1.4. Linguagens (abstractas) de Primeira Ordem
Especifica-se uma linguagem de primeira ordem fixando as constantes, os
smbolos de predicado e os smbolos funcionais. Cada smbolo de predicado
e cada smbolo funcional tem uma aridade bem determinada.
Uma linguagem de primeira ordem pode nao incluir smbolos funcionais,
mas necessita sempre de smbolos relacionais. No entanto, em varios exemplos, o u
nico smbolo relacional considerado e o de igualdade =.
Veremos em devido tempo que e possvel escrever sentencas numa linguagem de primeira ordem sem constantes; para tal teremos de recorrer ao
uso de quantificadores.
As linguagens de primeira ordem podem assim distinguir-se entre si
atraves das respectivas constantes, smbolos de predicado e smbolos funcionais. Partilham os conectivos , , , e e os quantificadores
, de que falaremos adiante.
1. SENTENC
AS ATOMICAS
As senten
cas at
omicas nesta linguagem sao da forma
a = b, que se le a e igual a b
a b, que se le o (elemento) a pertence ao (conjunto) b,
sendo a e b constantes individuais.
Exemplo 1.11. Supondo que a designa 2, b designa o conjunto dos
n
umeros naturais e c designa o conjunto dos n
umeros mpares, tem-se
a a sentenca falsa
a b sentenca verdadeira
a c sentenca falsa
b = c sentenca falsa
1.7. A Linguagem de Primeira Ordem da Aritm
etica
A linguagem de primeira ordem da Aritm
etica contem
duas constantes 0 e 1
dois smbolos relacionais binarios = e <
dois smbolos funcionais binarios + e
S
ao termos desta linguagem
0, 1, (1 + 1), ((1 + 1) + 1), (0 (1 + 1)), . . .
1.7. A LINGUAGEM DE PRIMEIRA ORDEM DA ARITMETICA
As constantes 0, 1 s
ao termos
Se t1 , t2 s
ao termos, tambem sao termos as expressoes
(t1 + t2 ), (t1 t2 )
S
ao termos apenas as expressoes que possam ser obtidas por aplicacao
dos passos anteriores um n
umero finito de vezes.
As senten
cas at
omicas da aritmetica de primeira ordem sao as express
oes que se podem escrever usando os termos (no lugar das constantes)
e os smbolos relacionais =, <.
Se t1 e t2 s
ao termos, sao sentencas atomicas da aritmetica de
primeira ordem as expressoes
t1 = t2
t1 < t2
CAPITULO 2
A L
ogica das Sentencas At
omicas
2.1. Raciocnios v
alidos e falaciosos
Um objecto fundamental de estudo em Logica e o conceito de consequ
encia l
ogica.
Exemplo 2.1. Considerem-se os raciocnios (argumentos)
(A) Todo o homem e mortal.
S
ocrates e homem.
Logo, S
ocrates e mortal.
(B) Lucrecio e homem.
Afinal de contas, Lucrecio e mortal e todo o homem e mortal.
No caso (A), a conclus
ao do raciocnio aparece no fim, apos as premissas;
pelo contr
ario, no caso (B), a conclus
ao aparece no incio, antes das premissas. No entanto, a diferenca mais significativa entre estes dois raciocnios
e o facto de o primeiro ser v
alido, enquanto o segundo e falacioso: no caso
(B), a conclus
ao n
ao e consequencia logica das premissas.
No caso (B) do exemplo anterior, o Lucrecio pode designar o gato do
vizinho. Aqui, as premissas sao verdadeiras, mas a conclus
ao e claramente
falsa.
Este metodo, que consiste na apresentacao de um contra-exemplo, serve
para mostrar que um dado argumento (ou raciocnio) e falacioso.
Que metodos temos para justificar que um dado argumento e valido?
2.2. M
etodos de dedu
c
ao
O conceito crucial e o de dedu
c
ao. Uma dedu
c
ao de uma certa conclus
aodigamos Sa partir de premissas P1 , P2 , . . . , Pn e feita passo a
passo. Numa deduc
ao, estabelecem-se conclus
oes intermedias, cada uma
delas conclus
ao imediata das premissas e conclusoes intermedias anteriores.
Podemos dizer que uma deducao consiste numa sucessao de afirmacoes,
que s
ao premissas ou conclusoes intermedias, e que termina, ao fim de um
n
umero finito de passos, quando se obtem a conclusao S.
Exemplo 2.2. Queremos mostrar que
S S
ocrates preocupa-se `as vezes com a morte.
e consequencia l
ogica das premissas
P S
ocrates e homem.
Q Todos os homens sao mortais.
R Nenhum mortal vive eternamente.
T Todo aquele que vier a morrer preocupa-se `as vezes com a morte.
9
10
2. A LOGICA
DAS SENTENC
AS ATOMICAS
o. De P e Q segue-se
Demonstrac
a
S1 S
ocrates e mortal.
De S1 e R segue-se
S2 S
ocrates morrera.
De S2 e T segue-se
S
ocrates preocupa-se `as vezes com a morte.
DEDUC
OES
COM OUTRAS SENTENC
AS ATOMICAS
11
Exemplo 2.7. S
ao frequentes em Matematica argumentos do tipo seguinte:
k1 < k2
k2 < k3
k3 < k4
e portanto
k1 < k4 .
Neste argumento usa-se implicitamente, por duas vezes, a transitividade
da relac
ao <.
Note Bem 2.8. Quando se afirma que S e consequencia logica das premissas P1 , P2 , . . . , Pn n
ao e necessario que cada uma das premissas seja efectivamente usada numa deducao de S. Por exemplo, se S e consequencia
logica de P , tambem e consequencia logica de P e Q.
CAPITULO 3
Os Conectivos Booleanos
Vamos estudar alguns conectivos, que sao smbolos partilhados por todas
as linguagens de primeira ordem e que permitem a formacao de sentencas
mais complexas do que as sentencas atomicas. Os conectivos que consideramos, neste captulo s
ao
negac
ao
conjunc
ao
disjunc
ao
que correspondem, em Lngua Portuguesa, a n
ao e o caso que, ou e e.
Designam-se estes conectivos por conectivos booleanos, em homenagem
ao l
ogico brit
anico George Boole (1815-1864), que se propos estudar as leis
do pensamento usando metodos matematicos (ver An Investigation into the
Laws of Thought (1854)).
O valor de verdade de uma sentenca escrita com recurso a qualquer destes
conectivos depende apenas dos valores de verdade das sentencas atomicas
de que se partiu e dos conectivos usados. Estes conectivos dizem-se, por
isso, vero-funcionais.
3.1. O smbolo de nega
c
ao
Se P e uma sentenca at
omica numa linguagem de primeira ordem, P e
uma nova sentenca, a negac
ao de P . Mais geralmente, se P e uma sentenca,
nao necessariamente at
omica, numa linguagem de primeira ordem, P e
uma nova sentenca, que se le n
ao P .
Conven
c
ao:
Quando se nega uma sentenca atomica com os smbolos = e <, podese escrever (a = b) (resp. (a < b) e abrevia-se a b (resp. a </ b).
Exemplo 3.1. As frases
O Joao nao esta em casa
Nao e verdade que o Joao esteja em casa
sao negac
oes da frase
O Joao esta em casa
Tomando uma linguagem de primeira ordem com um predicado unario
EmCasa e uma constante jo
ao, a u
ltima frase traduz-se pela sentenca atomica
EmCasa(jo
ao)
enquanto qualquer das suas formas negativas se traduz pela sentenca
EmCasa(jo
ao)
13
14
3. OS CONECTIVOS BOOLEANOS
As sentencas que s
ao at
omicas ou negacoes de sentencas atomicas designam-se por literais.
Sem
antica para a nega
c
ao. Dada uma sentenca P numa linguagem
de primeira ordem a sua negacao P e verdadeira se e so se P for falsa.
a seguinte a tabela de verdade para a negacao:
E
P
V
F
F
V
P Q
V
V
F
F
V
F
V
F
V
F
F
F
3.5. AMBIGUIDADE E PARENTESES
15
Sem
antica para a disjun
c
ao. Dadas duas sentencas P , Q a sua disjunc
ao P Q e verdadeira se e so se pelo menos uma das sentencas P ou Q
for verdadeira. Note-se que o conectivo de disjuncao nao tem a interpretacao
de disjunc
ao exclusiva que `
as vezes damos `a expressao ou em Lngua Portuguesa.
a seguinte a tabela de verdade para a disjuncao:
E
P
P Q
V
V
F
F
V
F
V
F
V
V
V
F
16
3. OS CONECTIVOS BOOLEANOS
traduz-se para Nao e o caso que a Clara e o Marco estejam ambos em casa.
Note Bem 3.6. Sejam P , Q sentencas numa linguagem de primeira
ordem.
P e verdadeira se e so se P e falsa.
P Q e verdadeira se e so se P , Q sao simultaneamente verdadeiras.
P Q e verdadeira se e so se P e verdadeira ou Q e verdadeira (ou
ambas s
ao verdadeiras).
O uso de parenteses e obrigat
orio na construcao de sentencas
que combinem v
arios conectivos, de modo a eliminar ambiguidade
na leitura. Na pr
atica, deve-se fechar com um par de parenteses
externos qualquer sentenca em que ocorram os conectivos ou ,
se essa sentenca for parte de uma sentenca mais complexa.
3.6. Equival
encia l
ogica
Diz-se que duas sentencas P , Q numa linguagem de primeira ordem
sao logicamente equivalentes se sao ambas verdadeiras nas mesmas circunst
ancias; i.e, se P e verdadeira sempre que e somente quando Q e verdadeira. Escreve-se P Q.
o 3.7. Sejam P , Q, R sentencas numa linguagem de primeira
Proposic
a
ordem. Tem-se
(1) Leis associativas
P (Q R) (P Q) R
P (Q R) (P Q) R
Em face das leis associativas, podemos omitir os parenteses e
escrever apenas P Q R e P Q R.
(2) Leis de idempot
encia
() Uma conjunc
ao de sentencas em que uma sentenca P
ocorre repetida uma ou mais vezes e logicamente equivalente
`
a conjunc
ao que se obtem mantendo apenas uma ocorrencia
de P .
() Uma disjunc
ao de sentencas em que uma sentenca P ocorre
repetida uma ou mais vezes e logicamente equivalente `
a disjunc
ao que se obtem mantendo apenas uma ocorrencia de P .
(3) Leis comutativas
() Qualquer arranjo na ordem por que ocorrem as sentencas
numa conjunc
ao e logicamente equivalente `
a conjunca
o inicial.
() Qualquer arranjo na ordem por que ocorrem as sentencas
numa disjunc
ao e logicamente equivalente `
a disjunc
ao inicial.
Exemplo 3.8.
P P P (idempotencia de )
P P Q P Q (idempotencia de )
P P P P (idempotencia de )
P P Q P Q (idempotencia de )
P Q R Q R P (comutatividade de )
P Q Q P (comutatividade de )
3.6. EQUIVALENCIA
LOGICA
17
CAPITULO 4
A L
ogica dos Conectivos Booleanos
Recorde-se que o valor de verdade de uma sentenca P construda com
os conectivos , , depende apenas dos conectivos usados e dos valores de
verdade das sentencas at
omicas que ocorrem em P . Assim, temos ao nosso
dispor o m
etodo das tabelas de verdade, que permite calcular todos
os valores de verdade da sentenca P a partir da atribuicao de valores de
verdade a cada uma das sentencas atomicas que ocorrem em P .
Neste captulo estudaremos essencialmente tres conceitos
verdades l
ogicas e tautologias
equivalencia l
ogica e tautologica de sentencas
consequencia l
ogica
4.1. Tautologias e verdades l
ogicas
Diz-se que uma sentenca e uma possibilidade l
ogica se ha alguma
circunst
ancia logicamente possvel (ex : um mundo) em que essa sentenca
seja verdadeira.
Exemplo 4.1. Possibilidades logicas
(1) Considere-se a sentenca Between(b, a, c) (que se le b est
a entre a
e c). Esta sentenca e uma possibilidade logica, tal como se pode
comprovar no mundo de Leibniz.
(2) No entanto a sentenca Between(b, a, c)Between(b, a, c) nao e possibilidade l
ogica. (Porque?)
Diz-se que uma sentenca e uma verdade l
ogica se e verdadeira em
qualquer circunst
ancia logicamente possvel. Diz-se que uma sentenca e
uma falsidade l
ogica se a sua negacao e uma verdade logica.
Exemplo 4.2. Verdades logicas
(1) a = a
(2) Lei do terceiro excludo: A A
(3) Princpio da n
ao contradicao: (B B)
Note-se que
Uma sentenca e uma verdade logica se e so se a sua negacao nao e
possibilidade l
ogica.
Uma sentenca e uma possibilidade logica se e so se a sua negacao
n
ao e verdade l
ogica.
Tabelas de verdade. Vamos ilustrar de seguida como se constroem
tabelas de verdade para sentencas obtidas a partir de sentencas atomicas
com recurso aos conectivos , , .
Seja uma sentenca (complexa) S numa linguagem de primeira ordem.
19
20
4. A LOGICA
DOS CONECTIVOS BOOLEANOS
V
F
...
...
V
V
F
F
...
...
...
...
V
F
V
F
(A B) (A B)
V
V
F
F
V
V
F
F
V
F
V
F
F
V
F
V
F
F
V
V
V
F
V
F
(A
B) (A
B)
V
V
F
F
V
V
F
F
F
V
F
F
F
V
F
V
F
F
V
F
V
F
V
F
V
F
V
F
F
F
V
V
4.1. TAUTOLOGIAS E VERDADES LOGICAS
A B
(A
B)
(A
21
B)
V V
V F F
F
F
F V
V F V V V
V F
F F
F F F
V V
V V
F V
F F F F V
F V
F F
Neste exemplo, a tabela de verdade ficou completamente construda ao
fim de 3 passos. A sentenca considerada e verdadeira se e so se exactamente
uma das sentencas A ou B e verdadeira. Descreve a disjunc
ao exclusiva, que
se abrevia por A B.
o 4.4. Para facilitar a leitura, pode-se evitar o preenchiObservac
a
mento das colunas que correspondem `as sentencas atomicas, na parte direita
da tabela de verdade.
Exemplo 4.5. Considere-se a sentenca S = [(B C) B C], com
B, C sentencas at
omicas. A sua tabela de verdade e
B C
[(B C)
C]
V
V
F
F
V
V
V
V
V
V
V
F
F
F
F
F
F
F
V
V
F
F
F
V
F
V
F
V
V
F
V
F
22
4. A LOGICA
DOS CONECTIVOS BOOLEANOS
4.2. Equival
encia l
ogica e tautol
ogica
Recorde-se que duas sentencas se dizem logicamente equivalentes sse
tem os mesmos valores de verdade em quaisquer circunstancias logicamente
possveis.
De modo mais preciso, diz-se que duas sentencas P, Q sao tautologicamente equivalentes (t.e.) se, construda uma tabela de verdade conjunta
para P e Q, em todas as linhas, as entradas correspondentes a cada uma
das sentencas P e Q tem o mesmo valor de verdade.
Assim, um metodo para verificar a equivalencia tautologica de duas sentencas consiste na construc
ao de uma tabela de verdade conjunta.
Tabelas de verdade conjuntas. Todas as equivalencias logicas enunciadas nas proposic
oes 3.7 e 3.9, sao de facto equivalencias tautologicas.
Registamos aqui dois exemplos.
Exemplo 4.10. P P (Lei da dupla negacao)
P
V
F
V VF
F FV
4.2. EQUIVALENCIA
LOGICA
E TAUTOLOGICA
23
V
V
F
F
V
F
V
F
(P Q) P Q
F
F
F
V
V
V
V
F
F
F
V
V
FF
FV
FF
VV
Cube(b)
a = b Cube(a)
a = b Cube(b)
Note Bem 4.13. Sejam S e S sentencas numa linguagem de primeira ordem construdas a partir de sentencas atomicas, com recurso aos conectivos
, , . Para verificar se S e S sao tautologicamente equivalentes constroise uma tabela de verdade conjunta, referente a todas as sentencas atomicas
que ocorrem em S ou S .
(1) S e S s
ao tautologicamente equivalentes sse em cada linha da
tabela de verdade conjunta S e S tem o mesmo valor de verdade.
(2) Se S e S s
ao tautologicamente equivalentes, entao sao logicamente
equivalentes.
(3) H
a sentencas que s
ao logicamente equivalentes mas nao sao tautologicamente equivalentes.
24
4. A LOGICA
DOS CONECTIVOS BOOLEANOS
4.3. Consequ
encia l
ogica e tautol
ogica
As tabelas de verdade permitem definir com rigor o conceito de consequencia tautol
ogica. Sejam P , Q sentencas construdas a partir de sentencas at
omicas com recurso aos conectivos , , . Para decidir se Q e
consequencia tautol
ogica de P , podemos construir uma tabela de verdade
conjunta para P e Q. De seguida identificamos cada linha da tabela de verdade em que P e verdadeira. Se em todas as linhas em que P e verdadeira,
Q tambem for verdadeira, conclumos que Q
e consequ
encia tautol
ogica
de P .
o 4.14. Se Q e consequencia tautol
Proposic
a
ogica de P ent
ao tambem
e consequencia l
ogica de P .
o. (por contra-recproco)
Demonstrac
a
Suponhamos que Q n
ao e consequencia logica de P . Entao ha pelo
menos uma circunst
ancia possvel em que P e verdadeira e Q e falsa. Esta
circunst
ancia determina os valores de verdade das sentencas atomicas que
ocorrem na construc
ao de P , Q e portanto corresponde a uma linha na
tabela de verdade conjunta, em que P e verdadeira e Q e falsa. Logo, Q nao
e consequencia tautol
ogica de P .
Exemplo 4.15. Sendo A, B sentencas atomicas, sera que A B e
consequencia tautol
ogica de A B? Tem-se a seguinte tabela conjunta:
A B
V
V
F
F
A B A B
V
F
V
F
F
F
V
F
F
V
V
V
Au
nica linha da tabela de verdade conjunta em que AB e verdadeira
e a terceira, com A falsa e B verdadeira. Nesta linha, tambem A B e
verdadeira. Logo A B e consequencia tautologica de A B.
Note-se que uma sentenca pode ser consequencia logica de outra, sem
que seja consequencia tautol
ogica.
Exemplo 4.16.
(1) A sentenca a = c e consequencia logica de a =
b b = c. De facto, se a = b b = c e verdadeira, entao a e b e b
e c. Portanto a e c (por transitividade), i.e., a = c e verdadeira.
Portanto, a = c e verdadeira em todas as circunstancias em que
a = b b = c e verdadeira. No entanto, na tabela de verdade conjunta, temos a linha (que nao corresponde a nenhuma circunstancia
logicamente possvel):
a=b b=c a=c
V
a=bb=c a=c
V
4.3. CONSEQUENCIA
LOGICA
E TAUTOLOGICA
25
a=b b=a
V
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
A B B C C D
V
V
V
V
V
V
V
V
F
F
F
F
V
V
V
V
V
V
V
V
V
V
F
F
V
V
V
V
V
V
F
F
V
V
V
F
V
V
V
F
V
V
V
F
V
V
V
F
A D
V
V
V
V
V
V
V
V
F
V
F
V
F
V
F
V
As premissas s
ao simultaneamente verdadeiras nas linhas 1, 2, 3, 5, 6,
13 e 14. Em todas elas, excepto na linha 13, A D e verdadeira. Como, na
linha 13, A D e falsa, conclumos que esta sentenca nao e consequencia
tautol
ogica das premissas.
26
4. A LOGICA
DOS CONECTIVOS BOOLEANOS
27
((A B) A) C (A B)
(dupla negacao)
A sentenca ((A B) A) C (A B) e uma forma normal negativa da
sentenca inicial ((A B) A) C (A B).
Podemos prosseguir a simplificacao:
((A B) A) C (A B)
(A B A) C (A B)
(A A B) C (A B)
(A B) C (A B)
(A B) (A B) C
(A B) C
(associatividade de )
(comutatividade de )
(idempotencia de )
(comutatividade de )
(idempotencia de )
28
4. A LOGICA
DOS CONECTIVOS BOOLEANOS
[(A B) C] [(A B) D]
(lei dist. da em rel. a )
(A C) (B C) [(A B) D]
(lei dist. da em rel. a )
(A C) (B C) (A D) (B D)
Note-se que, na segunda equivalencia, se usou a lei distributiva (da conjunc
ao em relac
ao `
a disjunc
ao) `a direita; podemos faze-lo pois quer a conjunc
ao quer a disjunc
ao tem a propriedade comutativa.
Por outro lado, supondo que T e uma sentenca na forma normal negativa (i.e., construda a partir de literais usando conjuncoes e disjuncoes),
e usando a lei distributiva da disjuncao () em relacao `a conjuncao (), e
possvel encontrar uma sentenca T , logicamente equivalente a T , que e uma
conjunc
ao de disjunc
oes de literais.
o 4.27. Diz-se que uma sentenca numa linguagem de primeira
Definic
a
ordem est
a na Forma Normal Conjuntiva (CNF) se e uma conjuncao
de uma ou mais disjunc
oes de um ou mais literais.
Note Bem 4.28. Recorde-se que, dada qualquer sentenca T , se tem, por
idempotencia, T T T e T T T . Este facto permite-nos considerar
alguns casos especiais das formas normais DNF e CNF, em que algumas das
disjunc
oes/conjunc
oes podem ser de uma sentenca apenas.
Exemplo 4.29. Sejam A, B, C sentencas atomicas e seja a sentenca
((A B) C). Tem-se:
((A B) C)
(A B) C (De Morgan)
(A B) C (De Morgan)
(A B) C
(dupla negacao)
A sentenca (A B) C, logicamente equivalente `a primeira, esta na
forma normal negativa NNF. Como e uma disjuncao de conjuncoes de literais, est
a tambem na forma normal disjuntiva DNF. Vamos agora determinar uma sentenca na forma normal conjuntiva CNF, logicamente equivalente
`a sentenca (A B) C e, portanto, logicamente equivalente `a primeira
sentenca considerada, ((A B) C).
29
(A B) (C D)
(De Morgan)
(De Morgan)
(De Morgan)
(dupla negacao)
30
4. A LOGICA
DOS CONECTIVOS BOOLEANOS
(A B) (C D)
[(A B) C] [(A B) D]
(A C) (B C) (A D) (B D)
(distrib. de rel. a )
(distrib. de rel. a )
(distrib. de rel. a )
(associatividade de )
CAPITULO 5
M
etodos de Deduc
ao para a L
ogica Booleana
Os metodos de verificac
ao de verdade associados `as tabelas de verdade
sao fundamentais. No entanto, dependem do caracter funcional dos conectivos Booleanos, com respeito `a verdade. Alem disso, as tabelas de verdade
tem crescimento exponencial relativamente ao n
umero de sentencas atomicas
que intervem no argumento. Outra desvantagem das tabelas de verdade, que
tambem j
a observ
amos em alguns exemplos, e que so servem para testar a
consequencia tautol
ogica, n
ao fornecendo metodos suficientemente sofisticados para testar a consequencia logica em geral. Assim, ha necessidade de
explorar outras formas de obter deducoes informais (e formais).
Cada novo conectivo na linguagem esta na origem de novos padroes
validos de deduc
ao. Se, por exemplo, tivermos P Q, entao claramente
podemos deduzir P e podemos deduzir Q. Este padrao simples de deducao
designa-se por passo v
alido de inferencia.
Mais importantes ainda que os novos passos validos de inferencia sao os
novos metodos de deduc
ao que estao associados `as sentencas mais complexas
que podemos construir usando os conectivos.
5.1. Passos v
alidos de infer
encia
Enunciamos de seguida alguns passos validos de inferencia.
1. Uma vez deduzida uma sentenca P e sabendo-se que Q e consequencia
logica de P , deduz-se Q.
Exemplo.
i. De P deduz-se P .
ii. De P deduz-se P .
Como caso particular, numa sentenca, pode-se substituir uma sua parte
por uma parte que lhe seja logicamente equivalente.
Exemplo. De P Q deduz-se P Q.
2. Se Q e uma sentenca logicamente valida, pode-se inserir Q em qualquer
passo de deduc
ao.
Exemplo.
i. O princpio da identidade a = a.
ii. Qualquer tautologia, tal como P P .
3. Eliminac
ao da conjunc
ao. Deduzida a sentenca P1 P2 . . . Pn , pode-se
deduzir cada uma das sentencas P1 , P2 , . . . Pn .
31
32
PARA A LOGICA
5. METODOS
DE DEDUC
AO
BOOLEANA
4. Introduc
ao da conjunc
ao. Deduzidas as sentencas P1 , P2 , . . . Pn , pode-se
deduzir P1 P2 . . . Pn .
5. Introduc
ao da disjunc
ao. Deduzida uma sentenca Pi , para algum i,1
i n, pode-se deduzir qualquer disjuncao de sentencas P1 P2 . . . Pn .
Nos exemplos que se seguem vamos considerar algumas inferencias e
decidir se s
ao v
alidas.
Exemplo 5.1. De P Q e P deduz-se Q. Comecemos por construir a
tabela de verdade conjunta para as sentencas P Q, P e Q.
P
V
V
F
F
V
F
V
F
P Q P
V
V
V
F
F
F
V
V
Q
V
F
V
F
A u
nica linha da tabela de verdade em que as premissas P Q e P
sao simultaneamente verdadeiras e a terceira. Nesta linha, Q tambem e
verdadeira. Logo Q e consequencia tautologica das premissas consideradas
e, portanto, e consequencia logica daquelas premissas. Usando o primeiro
passo v
alido de inferencia que enunciamos, conclui-se que de P Q e P se
deduz Q. Assim, a inferencia considerada e v
alida.
Exemplo 5.2. De P Q e Q deduz-se P . Espera-se, de uma deducao,
que seja correcta, i.e., que de premissas verdadeiras so se possam deduzir
conclus
oes verdadeiras. Considere-se, na linguagem da aritmetica com predicados un
arios adicionais Primo e Par, as sentencas Primo((1 + 1)) e
Par((1 + 1)). Claramente, no universo dos n
umeros naturais, as sentencas
Primo((1 + 1)) Par((1 + 1)) e Par((1 + 1)) sao verdadeiras. No entanto, a
sentenca Primo((1 + 1)) e falsa. Portanto, a inferencia que consideramos
e necessariamente falaciosa.
5.2. M
etodo de dedu
c
ao por casos
Os conectivos Booleanos estao na base de dois metodos de deducao que
sao aplicados explicitamente em todos os tipos de raciocnio rigoroso. O
primeiro deste metodos e o metodo de deduc
ao por casos.
Considere-se o seguinte resultado:
Teorema 5.3. Existem n
umeros irracionais b > 0, c, tais que bc e
racional.
o. Recorde-se:
Demonstrac
a
(1) Se b > 0 e um n
umero real entao bc = ec log b
(2) Todo o n
umero racional e da forma pq , em que p, q sao inteiros e
q 0.
(3) Um n
umero real diz-se irracional se nao e racional.
POR CASOS
5.2. METODO
DE DEDUC
AO
33
(4)
Considere-se
a=
O n
umero a e necessariamente racional ou irracional (porque?). Se a
c
for racional, est
ao encontrados irracionais b, c tais que b e racional; basta
tomar b = c = 2. Caso contrario, tome-se
2
b = a = 2 , c = 2.
2
Tem-se que bc = ( 2 )
( 2 2)
2
2 = 2.
Logo, bc e racional.
Portanto, quer a seja racional, quer seja irracional, sabe-se que existem
irracionais b, c tais que bc e racional. Esta demonstrado o teorema, e a
demonstrac
ao e independente de se saber se a e ou nao racional1.
A estrutura do raciocnio que acabamos de apresentar e a seguinte:
comecamos com um objectivo a deduziruma sentenca Re uma disjuncao
P Q, que j
a conhecemos. Depois deduzimos que
de P se infere R
de Q se infere R.
Como se sabe que P Q e valida, conclui-se R.
Este padr
ao de raciocnio designa-se por metodo de deduc
ao por casos.
Mais geralmente, se num dado passo de deducao se obtem uma disjuncao
P1 P2 . . . Pn , podemos considerar n casos P1 , P2 , . . . , Pn . Se de cada um
dos casos Pi , 1 i n, se infere R, entao pode-se deduzir R a partir da
disjunc
ao P1 P2 . . . Pn .
Note Bem 5.4. (Deducao por casos) Para deduzir R a partir da disjunc
ao P1 P2 . . . Pn , basta deduzir R a partir de cada uma das sentencas
Pi , 1 i n.
No exemplo que se segue vamos fazer uma deducao por casos, usando
tambem a introduc
ao da disjuncao.
Exemplo 5.5. Sejam as sentencas
A EmCasa(marco)
B Feliz(carlos)
C EmCasa(clara)
D Feliz(rafeiro).
Considere-se a inferencia com premissa (A B) (C D) e conclusao
B D (i.e., Feliz(carlos) Feliz(rafeiro)). Trata-se de uma inferencia valida;
vejamos porque.
2
1Veja-se [Ribenboim] para uma discuss
ao sobre a natureza do n
umero 2
34
PARA A LOGICA
5. METODOS
DE DEDUC
AO
BOOLEANA
POR REDUC
AO ABSURDO
5.3. METODO
DE DEDUC
AO
AO
35
p
2= .
q
Tem-se, elevando ao quadrado,
p2
p
2 = ( )2 = 2
q
q
e multiplicando por q 2 ,
2q 2 = p2 .
Assim, 2 divide p2 , i.e., p2 e par. Daqui resulta que p e par e que p2 e divisvel
por 4. Mas ent
ao 2q 2 = 4t, para algum t, e portanto q 2 = 2t. Logo 2 divide
2
2
q , i.e., q e par e, portanto, q e par. Assim, p, q sao simultaneamente pares,
o que contradiz o facto de pelo menos
um deles ser mpar. Esta contradi
cao
36
PARA A LOGICA
5. METODOS
DE DEDUC
AO
BOOLEANA
5.4. Infer
encias com premissas contradit
orias
Qualquer sentenca S e consequencia logica de um conjunto inconsistente
de premissas.
De facto, se um conjunto de sentencas, , for inconsistente (ou contradit
orio) n
ao e logicamente possvel que todas as sentencas de sejam
simultaneamente verdadeiras. Assim, de modo trivial, S e verdadeira em
todas as circunst
ancias logicamente possveis em que as sentencas de sejam simultaneamente verdadeiras.
Exemplo 5.9. Considere-se as premissas
(1) a = 2 b = 0
(2) a 2
(3) b 0
Das premissas consideradas pode-se deduzir qualquer sentenca, por exemplo
a a.
Note-se que qualquer conclusao obtida a partir de um argumento com
base em premissas inconsistentes nao tem interesse. O que nos interessa na
noc
ao de consequencia l
ogica e a a sua relacao com o valor de verdade. Se
as premissas n
ao podem ser simultaneamente verdadeiras, nao ha forma de
saber se a conclus
ao e verdadeira ou falsa.
CAPITULO 6
Dedu
c
oes formais com os conectivos Booleanos
Em contraste com as deducoes informais, cuja estrutura e flexvel, regendose por princpios simples de senso comum, uma dedu
c
ao formal assenta
num conjunto fixo de regras de deducao e tem uma apresentacao rgida
um pouco `
a semelhanca dos programas escritos numa dada linguagem de
programac
ao.
6.1. O sistema F
Fixamos aqui o sistema F, que e um sistema formal de deducao natural, designado sistema dedutivo de Fitch, em homenagem ao filosofo norteamericano Frederic Fitch (1908-1987).
Uma deduc
ao no sistema dedutivo F, com premissas P , Q, R (por exemplo) e conclus
ao S, tem a seguinte forma:
P
Q
R
S
A linha vertical indica uma u
nica deducao.
A linha horizontal a barra de Fitch separa as premissas das
conclus
oes delas deduzidas. Em exemplos concretos de deducoes numera-se
cada um dos passos (cada uma das linhas de deducao).
Vamos comecar a apresentar algumas regras do sistema F, que correspondem aos princpios de raciocnio valido ja enunciados para os conectivos
Booleanos.
6.2. Regras para a conjun
c
ao
Regra da elimina
c
ao da conjun
c
ao ( Elim)
Da conjunc
ao P1 P2 . . . Pn pode-se deduzir Pi , para qualquer i,
1 i n.
O esquema da regra e:
P1 P2 . . . Pn
Pi
O smbolo usa-se na descric
ao de cada regra, para indicar qual o passo
na deduc
ao validado pela regra.
37
6. DEDUC
OES
FORMAIS COM OS CONECTIVOS BOOLEANOS
38
Regra da introdu
c
ao da conjun
c
ao ( Intro)
Deduzidas todas as sentencas P1 , P2 , . . . , Pn , pode-se deduzir a conjuncao
P1 P2 . . . Pn . O esquema da regra e:
P1
Pn
P1 P2 . . . Pn
Exemplo 6.1. Deduc
ao de B C a partir da premissa A B C:
1.
2.
3.
4.
ABC
B
C
BC
Elim: 1
Elim: 1
Intro: 2, 3
Intro: 1, 2
2.
1. P Q
2. R
3. P Q R
Intro: 1, 2
Intro: 1, 2
4.
1. P Q
2. R
3. P Q R
Intro: 1, 2
A conclus
ao na deduc
ao 4. nao e uma sentenca, por omissao de parenteses
essenciais.
DA DISJUNC
( ELIM)
REGRA DA ELIMINAC
AO
AO
39
P1 P2 . . . Pn
Pi pode ser a primeira (ou a u
ltima) sentenca na disjuncao. Tambem
na aplicac
ao desta regra pode ser necessario o uso de parenteses externos `a
volta de Pi , para evitar ambiguidade.
Regra da elimina
c
ao da disjun
c
ao ( Elim)
Esta regra corresponde ao metodo de deduc
ao por casos.
Se S for dedutvel de cada uma das sentencas Pi , 1 i n, entao pode-se
deduzir S a partir da disjuncao P1 P2 . . . Pn . No esquema desta regra
usam-se subdedu
c
oes, i.e., deducoes que ocorrem no contexto de deducoes
mais complexas.
Antes de apresentar o esquema da regra, consideremos um exemplo que
ilustra n
ao s
o o uso de subdeducoes como o uso da regra ( Intro).
Exemplo 6.4. (Deduc
ao formal que corresponde `a deducao informal
apresentada no exemplo 5.5)
Premissa: (A B) (C D)
Conclus
ao: B D
1. (A B) (C D)
2. A B
3. B
4. B D
Elim: 2
Intro: 3
5. C D
6. D
7. B D
8. B D
Elim: 5
Intro: 6
Elim: 1, 2-4, 5-7
Esta deduc
ao contem duas subdeducoes; na primeira deduz-se B D a
partir de A B (linhas 2-4); na segunda deduz-se B D a partir de C D
(linhas 5-7). Estas duas subdeducoes, juntamente com a premissa da linha 1,
permitem deduzir B D por uso da regra ( Elim, que justifica a linha 8 da
deduc
ao).
O esquema geral da regra ( Elim) e:
40
6. DEDUC
OES
FORMAIS COM OS CONECTIVOS BOOLEANOS
P1 . . . Pn
P1
Pn
S
o. Quando se aplica a regra de eliminacao da disjuncao,
Observac
a
constam da justificac
ao:
(i) o n
umero da linha contendo a sentenca na forma disjuntiva P1
. . . Pn
(ii) as referencias ri -si , 1 i n, relativas `as n subdeducoes de S a
partir de Pi , cada uma das quais com incio na linha ri e fim na
linha si .
6.4. Uma regra adicional
Em algumas deduc
oes e, por vezes, conveniente repetir um passo ante o caso de deduc
rior. E
oes longas ou de deducoes em que uma sentenca
tem o papel duplo de premissa (na deducao principal ou uma subdeducao)
e de conclus
ao. Para tal, tem-se a regra de reiteracao, que descrevemos de
seguida.
Regra da reitera
c
ao (Reit)
Deduzida uma sentenca P em qualquer passo da deducao, pode-se repetir
P em qualquer passo posterior.
P
P
Na justificac
ao do passo de deducao, escreve-se o nome da regra, seguido
do n
umero de linha do passo em que P ocorreu.
No exemplo que se segue usa-se, para alem de ( Elim), a regra de
reiterac
ao (Reit).
Exemplo 6.5. Premissa: (B A) A
Conclus
ao: A
DA CONTRADIC
( INTRO)
REGRA DA INTRODUC
AO
AO
41
1. (B A) A
2. B A
3. A
Elim: 2
4. A
5. A
Reit: 4
6. A
P
A regra ( Elim) formaliza uma das partes do princpio da dupla negacao.
Regra da introdu
c
ao da nega
c
ao ( Intro)
Esta regra corresponde ao metodo de deduc
ao por reduc
ao ao absurdo e
na sua aplicac
ao e tambem necessario recorrer ao uso de subdeducoes.
Se, a partir de premissas dadas e da premissa temporaria P se deduz
uma contradic
ao , ent
ao pode-se deduzir P .
O esquema da regra e:
P
P
Na justificac
ao da regra identifica-se a subdeducao nas linhas i-j, onde
i e a linha da premissa temporaria P e j e a linha da contradicao .
42
6. DEDUC
OES
FORMAIS COM OS CONECTIVOS BOOLEANOS
Na justificac
ao da regra usam-se as linhas onde ocorrem P, P , por esta
ordem.
Exemplo 6.6. (A outra parte do princpio de dupla negacao)
Premissa: A
Conclus
ao: A
1. A
2. A
3.
Intro: 1, 2
4. A
Intro: 2-3
Intro: 4, 2
6. B
7.
8.
Intro: 6, 3
Elim: 1, 4-5, 6-7
DA CONTRADIC
( ELIM)
REGRA DA ELIMINAC
AO
AO
43
Regra da elimina
c
ao da contradi
c
ao ( Elim)
Da contradic
ao deduz-se P , sendo P uma sentenca arbitraria.
O esquema da regra ( Elim) e:
P
No exemplo que se segue, faz-se a eliminac
ao de premissas contraditorias.
Exemplo 6.8. Premissas: P Q, Q
Conclus
ao: P
1. P Q
2. Q
3. P
4. P
Reit: 3
5. Q
6.
7. P
8. P
Intro: 5, 2
Elim: 6
Elim: 1, 3-4, 5-7
Qualquer deduc
ao em que se usa a regra ( Elim) pode ser substituda
por outra em que se omite esta regraa regra e, portanto, dispensavel,
embora u
til.
Vamos refazer a deduc
ao anterior, sem recorrer `a regra ( Elim).
Exemplo 6.9. Nova deducao de P a partir das premissas P Q, Q.
1. P Q
2. Q
3. P
4. P
Reit: 3
5. Q
6. P
7.
8. P
9. P
10. P
Intro: 5, 2
Intro: 6-7
Elim: 8
Elim: 1, 3-4, 5-9
44
6. DEDUC
OES
FORMAIS COM OS CONECTIVOS BOOLEANOS
1. (B A) (A C)
2. B A
3. B
4. A
Elim: 2
Elim: 2
5. A C
6. A
7. A
8. A B
Elim: 4
Elim: 1, 2-4, 5-6
Intro: 7, 3
Note-se, no entanto, que e possvel, numa deducao, citar passos anteriores, externos `
a subdeduc
ao, desde que nao sejam, eles proprios, passos de
uma subdeduc
ao j
a terminada (cf. a justificacao do passo 3 no exemplo 6.6).
6.8. ESTRATEGIA
E TACTICA
45
1. (P R)
2. (P R)
3. P
4. P R
5.
6. P
7. P
8. R
9. P R
10.
11.
12.
13.
14.
15.
R
R
P R
(P R)
16. (P R)
17. P R
Intro: 3
Intro: 4, 2
Intro: 3-5
Elim: 6
Intro: 8
Intro: 9, 2
Intro: 8-10
Elim: 11
Intro: 7, 12
Reit: 1
Intro: 13, 14
Intro: 2-15
Elim: 16
Nas justificac
oes das linhas 5 e 10, usou-se a linha 2, externa a cada uma
das subdeduc
oes 3-5 e 8-10, mas que faz parte de uma subdeducao ainda
nao terminada nos passos em que foi citada (linhas 2-15).
Tambem na linha 14 se citou a linha 1, que faz parte da deducao principal
e que e externa `
a subdeduc
ao 2-15.
Note Bem 6.13. Na justificacao de um passo numa subdeducao, e
possvel citar qualquer passo anterior que ocorra na deducao principal ou
em qualquer subdeduc
ao ainda nao terminada.
6.8. Estrat
egia e t
actica
Como se deve construir uma deducao formal? Antes de mais, nao se
deve perder de vista o significado das sentencas que ocorrem na deducao.
No primeiro passo, h
a que perceber se a conclusao e consequencia logica
das premissas. Se tal for o caso, a primeira estrategia para descobrir uma
frequente que
deduc
ao formal consiste em obter uma deducao informal. E
a estrutura b
asica de uma deducao informal possa ser formalizada directamente, usando as regras do sistema F. Outra estrategia consiste em trabalhar de tr
as para a frente. Expliquemo-nos. Analisando a conclusao S,
tente-se descobrir uma sentenca, ou sentencas, a partir das quais S se deduza
imediatamente por aplicac
ao de uma das regras de F. Insiram-se essas sentencas como passos de deduc
ao e usem-se para justificar S. Depois repita-se
este exerccio com as novas conclus
oes intermedias ate todos os passos de
deduc
ao estarem justificados.
Vamos considerar um exemplo, analisado em pormenor, em que se usam
as estrategias apresentadas para descobrir uma deducao formal.
46
6. DEDUC
OES
FORMAIS COM OS CONECTIVOS BOOLEANOS
1. P R
(P R)
(premissa)
(conclusao)
1. P R
2. P R
(P R)
Intro: 2-?
Na deduc
ao informal, obteve-se uma contradicao com cada um dos casos
P , R. Tem-se ent
ao o metodo de deducao por casos ( Elim), com a
introduc
ao de novas subdeducoes.
6.9. DEDUC
OES
SEM PREMISSAS
47
1. P R
2. P R
3. P
(P R)
Intro: 2-?
Agora e f
acil obter uma deducao formal.
1. P R
2. P R
3. P
4. P
5.
Elim: 2
Intro: 4, 3
6. R
7. R
8.
Elim: 2
Intro: 7, 6
Elim: 1, 3-5, 6-8
9.
10. (P R)
Intro: 2-9
6.9. Dedu
c
oes sem premissas
H
a deduc
oes que n
ao necessitam de premissas; e o caso das deducoes de
sentencas logicamente v
alidas.
Um exemplo interessante e o da deducao do princpio da n
ao contradic
ao,
a tautologia (P P ).
Exemplo 6.15. (P P ) e dedutvel sem premissas.
48
6. DEDUC
OES
FORMAIS COM OS CONECTIVOS BOOLEANOS
1. P P
2. P
3. P
4.
5. (P P )
Elim: 1
Elim: 1
Intro: 2, 3
Intro: 1-4
O nosso u
ltimo exemplo e a lei do terceiro excludo, P P .
Exemplo 6.16. A sentenca P P e dedutvel sem premissas.
1. (P P )
2. P
3. P P
4.
5. P
6. P
7. P P
8.
9. P
10.
11. (P P )
12. P P
Intro: 2
Intro: 3, 1
Intro: 2-4
Intro: 6
Intro: 7, 1
Intro: 6-8
Intro: 5, 9
Intro: 1-10
Elim: 11
CAPITULO 7
Implica
c
ao material () e equival
encia
material()
Considerem-se as frases
O Marco esta em casa se a Clara estiver na biblioteca.
O Marco esta em casa s
o se a Clara estiver na biblioteca.
O Marco esta em casa, a n
ao ser que a Clara esteja na biblioteca.
O Marco esta em casa sempre que a Clara estiver na biblioteca.
O Marco esta em casa se e s
o se a Clara estiver na biblioteca.
Os conectivos que estud
amos ate agora nao permitem traduzir directamente estas frases para sentencas de uma linguagem de primeira ordem.
Neste captulo vamos apresentar dois conectivos novos:
implicac
ao material;
bicondicional ou equivalencia material.
7.1. O smbolo de implica
c
ao material
Se P, Q s
ao sentencas, P Q denota uma nova sentenca, que se le P
implica Q. P designa-se por antecedente, Q designa-se por consequente da
nova sentenca.
Sem
antica para a implica
c
ao material. A sentenca P Q e verdadeira se e somente se P e falsa ou Q e verdadeira. A tabela de verdade
da implicac
ao material e
P
P Q
V
V
F
F
V
F
V
F
V
F
V
V
50
MATERIAL () E EQUIVALENCIA
7. IMPLICAC
AO
MATERIAL()
Se P entao Q
P so se Q
Q desde que P
Q se P
Q sempre que P
Exemplo 7.2. Podemos agora traduzir algumas das frases que consider
amos no incio do captulo, para sentencas de uma linguagem de primeira
ordem com os predicados un
arios EmCasa e NaBiblioteca e os nomes clara
e marco.
O Marco esta em casa se a Clara estiver na biblioteca.
NaBiblioteca(clara) EmCasa(marco)
O Marco esta em casa s
o se a Clara estiver na biblioteca.
EmCasa(marco) NaBiblioteca(clara)
O Marco esta em casa, a n
ao ser que a Clara esteja na biblioteca.
Note-se que esta frase pode ser reescrita afirmando: O Marco
esta em casa se a Clara nao estiver na biblioteca. Portanto a sua
traduc
ao e
NaBiblioteca(clara) EmCasa(marco)
O Marco esta em casa sempre que a Clara estiver na biblioteca.
NaBiblioteca(clara) EmCasa(marco)
O uso mais importante da implicacao material em logica de primeira
ordem e em sentencas com quantificador universal. Considere-se, como exemplo, a frase
Todos os n
umeros primos maiores do que 2 sao mpares.
Numa linguagem de primeira ordem que inclua os predicados binarios
Primo e Par e o smbolo relacional <, esta frase traduz-se pela sentenca
x ((Primo(x) 2 < x) Par(x)).
7.2. Validade l
ogica e consequ
encia l
ogica
A implicac
ao material tem um papel fundamental em Logica, pois permite-nos reduzir a noc
ao de consequencia logica `a nocao de validade logica de
uma nova sentenca, no caso de um n
umero finito de premissas.
Recorde-se que uma sentenca Q e consequencia logica de premissas
P1 , P2 , . . . , Pn se se s
o se e impossvel que todas as premissas sejam verdadeiras e Q seja falsa. Esta afirmacao e equivalente a dizer que nao e
possvel que a sentenca P1 P2 . . . Pn seja verdaeira e Q seja falsa.
Atendendo ao significado de , vemos que Q e consequencia logica de
P1 , P2 , . . . Pn sse (P1 P2 . . . Pn ) Q e verdade logica.
Portanto para verificar se uma sentenca Q e consequencia logica de
P1 , P2 , . . . , Pn basta determinar se a sentenca (P1 P2 . . . Pn ) Q e
verdade l
ogica. Em particular, se da construcao da tabela de verdade da
7.3. O SIMBOLO DE EQUIVALENCIA
MATERIAL OU BICONDICIONAL ()
51
P Q
V
V
F
F
V
F
V
F
V
F
F
V
Exemplo 7.4. Numa linguagem de primeira ordem que inclua o predicado bin
ario Par e uma constante n para cada n
umero natural, a sentenca
n e par se e s
o se n2 e par traduz-se por Par(n) Par(n2 ).
Tem-se que duas sentencas P, Q sao logicamente equivalentes se e so se
a sentenca P Q e verdade logica. De modo mais sugestivo,
P Q se e s
o se P Q e verdade logica.
Tem-se ainda que P e tautologicamente equivalente a Q se e so se P Q
e uma tautologia.
Exemplo 7.5. Uma das leis de De Morgan da origem `a tautologia
seguinte:
(P Q) (P Q).
Apesar de estreitamente relacionados, nao se devem confundir os smbolos
(de equivalencia l
ogica entre sentencas) e (conectivo bicondicional ou
equivalencia material).
Note Bem 7.6. Dadas duas sentencas P, Q, tem-se que P Q e tautologicamente equivalente a
(P Q) (Q P ),
(P Q) (Q P ) ou ainda,
(P Q) (P Q).
52
MATERIAL () E EQUIVALENCIA
7. IMPLICAC
AO
MATERIAL()
P Q
V V
v1
v2
V F
F V
v3
F F
v4
em que v1 , v2 , v3 , v4 s
ao os valores de verdade de P Q.
Se os 4 valores de verdade forem simultaneamente F , entao claramente P Q e tautologicamente equivalente a P P Q Q.
Se pelo menos um dos valores for V , considerem-se as sentencas
C1 = P Q
C2 = P Q
C3 = P Q
C4 = P Q
Note-se que para cada i 4, Ci e verdadeira exactamente na i-esima
linha da tabela de verdade. Para obter uma sentenca que seja verdadeira
exactamente nas mesmas linhas da tabela em que P Q e verdadeira, basta
tomar a disjunc
ao das sentencas Ci adequadas (i.e., aquelas que correspondem `
as linhas da tabela de verdade em que P Q e verdadeira).
Exemplo 7.7. Retome-se o exemplo P Q dado por
P
P Q
V V
V
V F
F
F V
F
F F
V
Ent
ao P Q e definida pela expressao C1 C4 , que e (P Q)(P Q).
53
Mais geralmente, o metodo aqui ilustrado permite definir qualquer conectivo vero-funcional bin
ario por meio de uma sentenca na forma normal disjuntiva (FND), portanto usando apenas os conectivos , , .
Uma vers
ao simplificada deste metodo permite definir conectivos unarios.
Seja um conectivo un
ario cuja tabela e:
P
V
F
v1
v2
Se v1 , v2 s
ao ambos falsos tome-se P P como definicao de P .
Se pelo menos um dos valores v1 , v2 e verdadeiro pode-se tomar para
definic
ao de P a disjunc
ao adequada de C1 = P e C2 = P .
Por outro lado, e possvel estender este metodo para definir qualquer
conectivo n-
ario, n > 2, que seja vero-funcional, por meio de uma expressao
que use apenas , , .
Exemplo 7.8. Seja o seguinte conectivo ternario If P then Q else R,
cuja traduc
ao para Lngua Portuguesa e Se P ent
ao Q, caso contr
ario R:
P
Q R
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
If P then Q else R
V
V
F
F
V
F
V
F
MATERIAL () E EQUIVALENCIA
7. IMPLICAC
AO
MATERIAL()
54
a tabela
P
P Q
V
V
F
F
V
F
V
F
v1
v2
v3
v4
em que v1 , v2 , v3 , v4 s
ao os valores de verdade de P Q.
Se os 4 valores de verdade forem simultaneamente V , entao claramente P Q e tautologicamente equivalente a qualquer tautologia
envolvendo P (ou Q), por exemplo, P P .
Se pelo menos um dos valores for F , considerem-se as sentencas
D1 = P Q
D2 = P Q
D3 = P Q
D4 = P Q
Note-se que para cada i 4, Di e falsa exactamente na i-esima linha da
tabela de verdade. Para obter uma sentenca que seja falsa exactamente nas
mesmas linhas da tabela em que P Q e falsa, basta tomar a conjunc
ao das
sentencas Di adequadas (i.e., aquelas que correspondem `as linhas da tabela
de verdade em que P Q e falsa).
Exemplo 7.9. Tome-se P Q tal que
P
P Q
V
V
F
F
V
F
V
F
V
F
F
V
Ent
ao P Q e definida pela expressao D2 D3 , que e (P Q)(P Q),
uma forma normal conjuntiva (FNC).
Exerccio 7.10. Usando a variante do metodo agora descrita, encontre
uma FNC para descrever o conectivo ternario If P then Q else R.
o 7.11. Diz-se que um conjunto de conectivos e vero-funcionalmente
Definic
a
completo se os conectivos nesse conjunto permitem definir qualquer conectivo que seja vero-funcional.
O metodo que descrevemos acima, bem como a sua variante, tem por
base o seguinte
Teorema 7.12. Os conectivos , , formam um conjunto vero-funcionalmente
completo.
Outros conjuntos de conectivos vero-funcionalmente completos:
{, }, pois (P Q) define P Q
{, }, pois (P Q) define P Q
55
P Q
V V
F
V F
F
F V
F
V
F F
P Q le-se nem P nem Q.
f
E
acil ver que P Q e definido por (P Q). Este operador e
tambem conhecido pela designacao NOR.
Tem-se que P = P P e P Q = (P P ) (Q Q), donde
resulta que { } e vero-funcionalmente completo.
{ }, cuja tabela de verdade e
P
P Q
V
V
F
F
V
F
V
F
F
V
V
V
P Q le-se se P , n
ao Q.
E f
acil ver que P Q e definido por (P Q). Este operador e
tambem conhecido pelas designacoes em Lngua Inglesa NAND ou
Sheffers stroke (barra de Sheffer).
Tem-se que P = P P e P Q = (P P ) (Q Q), donde resulta
que { } e vero-funcionalmente completo.
Note Bem 7.13.
(1) Um conjunto de conectivos diz-se vero-funcionalmente
completo se permite definir qualquer operador vero-funcional.
(2) H
a v
arios conjuntos de conectivos vero-funcionalmente completos,
dos quais se destaca {, , }.
CAPITULO 8
A L
ogica da implicac
ao () e equival
encia
materiais()
Como vimos, os conectivos e nao aumentam o poder de expressao
da l
ogica de primeira ordem, pois sao definveis usando , , .
No entanto estes conectivos, em particular a implicacao material, sao
instrumentos de grande utilidade pratica para enunciar resultados de modo
natural.
8.1. M
etodos de dedu
c
ao com e
Passos v
alidos de infer
encia. 1. O passo de deducao mais usado e
Modus Ponens, que se abrevia por MP e a que corresponde a regra formal
da eliminac
ao da implicac
ao ( Elim).
Este passo garante que se se deduziu P R e P , entao pode-se deduzir
R.
Claramente, trata-se de um passo valido de inferencia: se P R e
verdadeira e P e verdadeira, entao R e necessariamente verdadeira.
2. Analogamente, para a equivalencia, tem-se que, se se deduziu P ,
P R (ou R P ) ent
ao pode-se deduzir R.
A este passo v
alido de inferencia corresponde a regra formal de eliminac
ao da equivalencia ( Elim).
Uma equivalencia tautol
ogica importante que envolve o conectivo e a
Lei do contra-recproco: Dadas sentencas P, Q, tem-se que P Q e
logicamente equivalente a Q P .
Outras equivalencias tautologicas importantes:
Dadas sentencas P, Q,
P Q P Q
(P Q) P Q
P Q (P Q) (Q P )
P Q (P Q) (Q P )
P Q (P Q) (P Q)
M
etodo de dedu
c
ao condicional. Este e um dos metodos de deducao
fundamentais no C
alculo Proposicional, o qual permite deduzir uma sentenca condicional P R, sob certas condicoes.
O metodo consiste em tomar P como premissa temporaria; se com esta
premissa tempor
aria se pode deduzir R, entao por deducao condicional,
pode-se concluir P R a partir das premissas iniciais.
57
58
() E EQUIVALENCIA
8. A LOGICA
DA IMPLICAC
AO
MATERIAIS()
DA IMPLICAC
( INTRO)
REGRA DA INTRODUC
AO
AO
59
8.2. Dedu
c
oes formais com implica
c
ao () e equival
encia ()
materiais
Vamos apresentar as regras, no sistema F, que correspondem aos metodos
de deduc
ao envolvendo os conectivos de implicacao () e equivalencia ()
materiais.
Q
Na justificac
ao da regra deve-se citar, por esta ordem, as linhas em que
ocorrem P Q e P .
Regra da introdu
c
ao da implica
c
ao ( Intro)
Esta regra constitui a formalizacao do metodo de deducao condicional e
envolve uma subdeduc
ao, na qual, tomando P como premissa (temporaria)
se deduz Q. Completada a subdeducao pode-se deduzir P Q.
O esquema da regra ( Intro) e:
P
Q
P Q
60
() E EQUIVALENCIA
8. A LOGICA
DA IMPLICAC
AO
MATERIAIS()
1. (A B) C
2. A
3. A B
4. C
5. A C
Intro: 2
Elim: 1, 3
Intro: 2-4
1. A
2. A
Elim: 2
3.
Intro: 1, 2
4. A
Intro: 2-3
5. A A
Intro: 1-4
Note-se que tom
amos a deducao formal de A a partir da premissa A
e a consider
amos simplesmente uma subdeducao na deducao de A A.
Q
Regra da introdu
c
ao da equival
encia ( Intro)
Esta regra requer duas subdeducoes, de Q a partir de P e de P a partir
de Q.
Se Q for dedutvel de P , e P for dedutvel de Q entao pode-se deduzir
P Q.
8.3. DEDUC
OES
FORMAIS COM IGUALDADE
61
Q
Q
P
P Q
Exemplo 8.8. Neste exemplo, de aplicacao da introducao da equivalencia,
vamos deduzir, no sistema F a lei da dupla negac
ao P P .
1. P
2. P
3.
Intro: 1, 2
4. P
Intro: 2-3
5. P
6. P
Elim: 5
7. P P
Numa deduc
ao envolvendo a equivalencia material () e essencial comecar
pelo esboco da deduc
ao, em que se indicam logo as duas subdeducoes a construir.
8.3. Dedu
c
oes formais com igualdade
No captulo 2 vimso quais os princpiso que regem as deducoes informais
com o smbolo de igualdade (=). Vamos agora enriquecer o sistema F com
duas regras que nos permitem fazer deducoes formais com igualdade.
Regra da introdu
c
ao da igualdade (= Intro). Em qualquer passo
de uma deduc
ao pode ser inserida a sentenca n = n, onde n denota um termo
na linguagem considerada. Tem-se o seguinte esquema para a regra = Intro:
n=n
Na justificac
ao do passo de deducao, escreve-se o nome da regra.
Esta regra formaliza o princpio de identidade da igualdade (=).
62
() E EQUIVALENCIA
8. A LOGICA
DA IMPLICAC
AO
MATERIAIS()
Regra da elimina
c
ao da igualdade (= Elim). Deduzidas uma sentenca P (n), contendo um termo n, e a sentenca n = t, pode-se deduzir
qualquer sentenca que resulte de P (n) substituindo todas ou algumas das
ocorrencias de n por t e obtendo-se P (t).
P (n)
n=t
P (t)
Na justificac
ao do passo de deducao, escreve-se o nome da regra, seguido
dos n
umeros de linha dos passos em que P (n) e n = t ocorrem, pela ordem
em que ocorrem.
Esta regra formaliza o princpio de substituicao.
Os princpios de simetria e de transitividade da igualdade sao dedutveis,
formalmente, a partir das regras que acabamos de enunciar.
Exemplo 8.9. Deduc
ao de b = a a partir da premissa a = b (princpio de
simetria da igualdade):
1.
a=b
2.
a=a
= Intro
3.
b=a
= Elim: 2,1
No passo 2 tem-se a = a por aplicacao da regra = Intro
No passo 1 tem-se a = b como premissa da deducao.
Substituindo a primeira ocorrencia de a no passo 2 por b, por aplicacao
da regra = Elim, obtem-se a conclusao.
Exemplo 8.10. Deduc
ao de b = c a partir das premissas a = b e b = c
(princpio de transitividade da igualdade):
1.
2.
a=b
b=c
3.
a=c
= Elim: 1,2
Nos passos 1 e 2 tem-se a = b e b = c como premissas da deducao.
Substituindo a ocorrencia de b no passo 1 por c, por aplicacao da regra
= Elim, obtem-se a conclus
ao.
Exemplo 8.11. Deduc
ao formal de Cube(b) a partir das premissas Cube(c)
(Cube(c) le-se c e um cubo) e c = b.
1.
2.
Cube(c)
c=b
3.
Cube(b)
= Elim:1,2
8.3. DEDUC
OES
FORMAIS COM IGUALDADE
1.
2.
Sameshape(a, a)
b=a
3.
4.
5.
b=b
a=b
Sameshape(b, a)
= Intro
= Elim: 3,2
= Elim: 1,4
63
Parte 2
C
alculo de Predicados:
Quantificadores
CAPITULO 9
Introdu
c
ao aos quantificadores
A expressividade de l
ogica de primeira ordem advem sobretudo do uso
dos quantificadores, que nos permitem expressar, por meio de sentencas de
primeira ordem, frases tais como:
Todo o homem e mortal.
H
a polticos honestos.
9.1. Vari
aveis e f
ormulas at
omicas
As vari
aveis tem, do ponto de vista sintactico, i.e., na forma das express
oes em que ocorrem, um papel semelhante ao das constantes, pois usamse como argumentos dos predicados.
Exemplo 9.1. Tem-se a sentenca EmCasa(clara) e a formula EmCasa(x).
Do ponto de vista sem
antico,i.e., no significado que lhes e atribudo
nas express
oes em que ocorrem, as variaveis sao marcadores da posicao dos
nomes
Em l
ogica de primeira ordem assume-se um n
umero infinito de variaveis
disponveis. Na pr
atica, e usual necessitar apenas de 4 ou 5 variaveis. No
mundo dos blocos temos disponveis as variaveis
u, v, w, x, y, z.
Designam-se por f
ormulas at
omicas numa linguagem de primeira ordem (relacional) as express
oes bem construdas a partir de predicados n-arios
e n vari
aveis ou constantes.
Exemplo 9.2. S
ao f
ormulas atomicas na linguagem do mundo dos blocos: Tet(b), Cube(x), LeftOf(a, x), BackOf(u, w).
68
AOS QUANTIFICADORES
9. INTRODUC
AO
Quantificador Universal . A expressao x le-se para qualquer objecto ou para todo o objecto.
Exemplo 9.3. A frase Todos est
ao felizes traduz-se por
x Feliz(x)
Afirmac
oes mais restritivas (e tambem mais habituais) em que se usa o
quantificador universal s
ao do tipo
Qualquer juiz e ponderado
cuja traduc
ao, numa linguagem de primeira ordem com os predicados
un
arios Juz e Ponderado e:
x (Juz(x) Ponderado(x)).
Quantificador Existencial . A expressao x le-se existe (pelo menos)
um (objecto) ou para (pelo menos) um (objecto).
Exemplo 9.4. A frase Est
a alguem em casa traduz-se por
x EmCasa(x)
Afirmac
oes mais restritivas em que se usa o quantificador sao do tipo
Existe um n
umero primo que e par
cuja traduc
ao, para uma linguagem de primeira ordem com os predicados
un
arios Primo e Par e:
x (Primo(x) Par(x)).
9.3. F
ormulas e senten
cas
A express
ao (Primo(x) Par(x)) que usamos acima, foi obtida ligando
duas f
ormulas at
omicas com o conectivo . Trata-se de uma f
ormula.
o 9.5. Uma expressao e uma f
Definic
a
ormula se
(i) e uma f
ormula at
omica ou
(ii) foi construda a partir de formulas atomicas por aplicacao repetida um
n
umero finito de vezes, de uma das regras seguintes:
1. Se P e f
ormula, ent
ao P e formula.
2. Se P1 , P2 , . . . , Pn s
ao formulas, entao (P1 P2 . . . Pn ) e (P1 P2
. . . Pn ) s
ao f
ormulas.
3. Se P, Q s
ao f
ormulas, entao (P Q) e (P Q) sao formulas.
4. Se P e f
ormula e e uma variavel entao P e formula e qualquer ocorrencia de na formula P se diz sob o alcance de um
quantificador.
5. Se P e f
ormula e e uma variavel entao P e formula e qualquer ocorrencia de na formula P se diz sob o alcance de um
quantificador.
9.4. SEMANTICA
PARA OS QUANTIFICADORES
69
Exemplo 9.6. A
arvore de construcao de uma sentenca de primeira
ordem:
1.
Cube(x)
Small(x)
@
@
@
2.
Cube(x) Small(x)
LeftOf(x, y)
3.
A
A
A
yLeftOf(x, y)
A
A
A
4.
5.
AOS QUANTIFICADORES
9. INTRODUC
AO
70
Todos os P s s
ao Qs.
Alguns P s s
ao Qs.
Nenhum P e Q.
H
a P s que n
ao s
ao Qs.
71
CAPITULO 10
A L
ogica dos Quantificadores
Neste captulo caracterizaremos as nocoes de verdade, consequencia e
equivalencia no contexto das sentencas de primeira ordem, construdas com
recurso `
as vari
aveis e aos quantificadores. Em particular discutiremos as
vers
oes rigorosas de primeira ordem correspondentes aos conceitos informais
de verdade l
ogica, equivalencia logica e consequencia logica.
10.1. Tautologias e quantificadores
Diz-se que uma sentenca e uma validade de primeira ordem se e
sempre verdadeira independentemente da interpretacao dos predicados que
nela ocorrem. Uma tautologia e uma validade de primeira ordem para a
qual e possvel verificar a sua validade recorrendo ao metodo das tabelas de
verdade.
Exemplo 10.1.
e uma verdade l
ogica. Mais, podemos afirmar que se trata de uma
validade de primeira ordem, dado que qualquer domnio considerado tem um objecto, que satisfaz ou nao satisfaz a formula Cube(x).
No entanto n
ao e tautologia. O seu valor de verdade depende de
modo essencial do significado do quantificador existencial, e nao
resulta do significado do conectivo vero-funcional .
(2) Por sua vez, a sentenca
xy(LeftOf(x, y) LeftOf(y, x) SameCol(x, y))
e verdade l
ogica mas nao se trata de uma validade de primeira
ordem.
Exemplo 10.2. Seja a tautologia
(A B) (B A)
Substituindo A pela sentenca yR(y) e B pela sentenca xP (x), a sentenca
que se obtem
(yR(y) xP (x)) (xP (x) yR(y))
ainda e claramente uma tautologia.
Note Bem 10.3.
(1) Qualquer tautologia e validade de primeira
ordem.
(2) Qualquer validade de primeira ordem e verdade logica.
(3) H
a verdades l
ogicas que nao sao validades de primeira ordem.
(4) H
a validades de primeira ordem que nao sao tautologias.
73
74
10. A LOGICA
DOS QUANTIFICADORES
E EQUIVALENCIAS
10.3. NEGAC
AO
DE PRIMEIRA ORDEM
75
(1) A sentenca
x(Cube(x) Small(x))
(n
ao existem cubos pequenos) e equivalente `a forma aristotelica
x(Cube(x) Small(x))
(nenhum cubo e pequeno):
x(Cube(x) Small(x)) x(Cube(x) Small(x))
x(Cube(x) Small(x))
x(Cube(x) Small(x))
(2) A sentenca
x(Tet(x) Medium(x))
(nem todos os tetraedros s
ao medios) e equivalente `a forma aristotelica
x(Tet(x) Medium(x))
10. A LOGICA
DOS QUANTIFICADORES
76
(h
a tetraedros que n
ao s
ao medios):
x(Tet(x) Medium(x)) x(Tet(x) Medium(x))
x(Tet(x) Medium(x))
Substitui
c
ao de vari
aveis mudas.
Exemplo 10.11.
(1) A frase Todos os cubos s
ao pequenos pode ser
traduzida para a sentenca
x(Cube(x) Small(x))
mas pode ser igualmente traduzida para
y(Cube(y) Small(y)).
(2) Analogamente, a frase H
a tetraedros medios pode se traduzida por
x(Tet(x) Medium(x))
ou
w(Tet(w) Medium(w)).
Para ambas as sentencas, o respectivo valor de verdade (num domno
previamente fixado) n
ao depende do nome da variavel muda.
o 10.12. (Princpio de substituic
Proposic
a
ao de vari
avel muda) Se
P (x) e uma f
ormula e y e uma vari
avel que n
ao ocorre em P (x), tem-se:
(1) xP (x) yP (y)
(2) xP (x) yP (y)
sendo P (y) a f
ormula que resulta de substituir, por y, todas as ocorrencias
livres de x em P (x).
10.4. Mais equival
encias de primeira ordem
Quantificadores e conectivos booleanos. Note-se que:
x(P (x) Q(x)) xP (x) Q(x).
No entanto,
x(P (x) Q(x))
/ xP (x) Q(x),
como o seguinte contra-exemplo ilustra:
Exemplo 10.13. No mundo de Boole, a sentenca
x(Tet(x) Dodec(x))
e verdadeira (todos os objectos s
ao tetraedros ou dodecaedros). Por outro
lado, a sentenca
xTet(x) Dodec(x)
e falsa, pois n
ao e o caso que todos os objectos sejam tetraedros, nem e o
caso que todos os objectos sejam dodecaedros.
77
78
10. A LOGICA
DOS QUANTIFICADORES
CAPITULO 12
M
etodos de Dedu
c
ao para o C
alculo de Predicados
12.1. Passos v
alidos de infer
encia
1. Suponhamos que nos e dado, como premissa, x S(x) e que t designa
um termo fechado (i.e., termo sem variaveis). Claramente, e valido deduzir
S(t).
Este passo v
alido de inferencia designa-se por instanciac
ao universal. A
sua vers
ao formal no sistema F e a regra de eliminac
ao do quantificador
universal.
Exemplo. A inferencia seguinte e valida.
Premissas: z (Small(z) Cube(z))
Cube(c)
Conclus
ao: Small(c)
De facto, supondo as premissas, tem-se, por instanciacao universal,
Small(c) Cube(c).
Por eliminac
ao da equivalencia, resulta que Small(c).
2. Se se deduziu S(t), sendo t um termo fechado, entao pode-se deduzir
x S(x).
Este passo v
alido de inferencia designa-se por generalizac
ao existencial.
A sua vers
ao formal no sistema F e a regra de introduc
ao do quantificador
existencial.
Exemplo. A inferencia seguinte e valida.
Premissas: Cube(a) Cube(b)
Small(a) Large(b)
Conclus
ao: x (Cube(x) Small(x))
x (Cube(x) Large(x))
De facto, supondo as premissas, obtem-se, por aplicacao dos passos
validos de inferencia relativos `a conjuncao, Cube(a) Small(a).
Por generalizac
ao existencial, obtem-se x (Cube(x) Small(x)).
Analogamente, obtem-se Cube(b) Large(b) e tambem por generalizacao
existencial, x (Cube(x) Large(x)).
Donde se tem
80
PARA O CALCULO
12. METODOS
DE DEDUC
AO
DE PREDICADOS
Na demonstrac
ao de resultados matematicos, o metodo favorito para
verificar se uma dada sentenca existencial e verdadeira, num domnio fixado, consiste em obter uma instancia especfica que satisfaca a propriedade
requerida e depois aplicar a generalizacao existencial.
Exemplo 12.1. Para provar que existem triplos pitagoricos (i.e., n
umeros
naturais x, y, z tais que x2 +y 2 = z 2 ), comecamos por observar que 32 +42 = 52
(ou 92 + 122 = 152 ) e depois podemos afirmar que xyz x2 + y 2 = z 2 .
Note Bem 12.2.
(1) Instanciac
ao Universal: De x S(x) deduzse S(t), desde que t seja um termo fechado (i.e., termo sem variaveis).
(2) Generalizac
ao Existencial: De S(t) deduz-se xS(x), desde que t
seja um termo fechado.
Exemplo 12.3. (Uso de ambos os passos validos de inferencia) Sejam
as premissas:
(1) x (Cube(x) Large(x))
(2) x (Large(x) LeftOf(x, c))
(3) Cube(d)
e a conclus
ao: x (Large(x) LeftOf(x, c)).
Esta inferencia e v
alida. De facto, se d e um cubo e todo o cubo e grande
e, alem disso, todo o objecto grande esta `a esquerda de c entao necessariamente existe um objecto grande que esta `a esquerda de c, nomeadamente
d.
Justifiquemos agora, em pormenor, o raciocnio que apresentamos:
o. Por instanciacao universal das premissas 1 e 2, obtemDemonstrac
a
-se
Cube(d) Large(d)
e
Large(d) LeftOf(d, c).
Como Cube(d), tem-se, por aplicacao sucessiva de Modus Ponens, Large(d)
e LeftOf(d, c).
Portanto, por introduc
ao da conjuncao, tem-se
Cube(d) LeftOf(d, c).
Finalmente, por generalizacao existencial, tem-se
x (Cube(x) LeftOf(x, c)).
o 12.4. Outro metodo usado frequentemente em matematica
Observac
a
para verificar a veracidade de uma sentenca existencial recorre `a reducao ao
absurdo: para se provar x S(x) supoe-se x S(x) e, se se deduzir uma
contradic
ao, pode-se ent
ao concluir x S(x), que e logicamente equivalente a x S(x).
Foi este metodo que us
amos para demonstrar que existem n
umeros irc
racionais b, c tais que b e racional.
CONDICIONAL GERAL
12.3. METODO
DE DEDUC
AO
81
12.2. M
etodo de instancia
c
ao existencial
Exemplo 12.5. Domnio: todas as criancas.
Com a premissa Ha um menino que esta em casa, nao e possvel concluir
que o Daniel esta em casa (ou que o Joao esta em casa).
No entanto, e possvel atribuir um nome temporario a um dos meninos
que est
a em casa, com o cuidado de nao usar um nome ja atribudo nas
premissas ou na conclus
ao.
Esta estrategia permite que, quando se deduziu correctamente x S(x) e
se atribui o nome c a um dos objectos que satisfaz S(x) (desde que este nome
nao ocorra em alguma das sentencas da deducao, incluindo a conclusao)
est
ao pode-se deduzir S(c).
Este metodo designa-se por instanciac
ao existencial. A sua versao formal no sistema F e a regra de eliminac
ao do quantificador existencial.
Quando se usa este metodo no contexto de uma demonstracao matematica
faz-se uma introduc
ao explcita do novo nome. Por exemplo, mostramos
que existe um n
umero primo entre n e m; seja p nestas condicoes. . .
Exemplo 12.6. (modificacao do exemplo anterior)
Considere-se a inferencia com premissas:
(1) x (Cube(x) Large(x))
(2) x (Large(x) LeftOf(x, c))
(3) xCube(x)
e conclus
ao: x (Large(x) LeftOf(x, c)).
Trata-se de uma inferencia valida. Vejamos porque.
o. A premissa 3 garante a existencia de um cubo. Seja e
Demonstrac
a
um tal cubo (instanciac
ao existencial). Por um raciocnio analogo ao que se
fez no exemplo anterior (Exemplo 12.3) podemos agora deduzir a conclusao:
x (Large(x) LeftOf(x, c)).
12.3. M
etodo de dedu
c
ao condicional geral
Um dos metodos fundamentais de demonstracao consiste em raciocinar
a`cerca de um objecto arbitr
ario de determinado tipo para depois concluir
uma asserc
ao universal sobre todos os objectos do mesmo tipo.
Exemplo 12.7. Domnio: alunos da FCUL.
Dadas certas premissas a respeito destes alunos, suponhamos que e
possvel concluir que a Sandra, uma aluna de Engenharia Informatica, e
inteligente. Se a demonstracao de que a Sandra e inteligente nao usar absolutamente nada que seja caracterstica particular da Sandra; se a demonstrac
ao encontrada se aplicar adequadamente a qualquer outro aluno de
Engenharia Inform
atica, ent
ao podemos concluir que Qualquer aluno de Engenharia Informatica e inteligente.
82
PARA O CALCULO
12. METODOS
DE DEDUC
AO
DE PREDICADOS
n
n
Tome-se n, m tais que p = m
(e m
fraccao reduzida).
2
n
2
Ent
ao p = m2 e portanto p divide n . Logo p2 divide n2 (= pm2 ). Daqui
resulta que p divide m2 . Mas entao, p divide m.
n
Assim, p divide n, m, o contradiz a hipotese de m
ser fraccao reduzida.
Portanto, p e irracional.
Em sistemas de deduc
ao formal o metodo de deduc
ao condicional geral
e, por vezes, separado em duas partes: a deducao condicional e um metodo
que permite deduzir sentencas de caracter geral, da forma x S(x).
Este metodo designa-se por generalizac
ao universal. Por aplicacao deste
metodo de deduc
ao, se for possvel usar um novo nome, digamos d, para
designar um elemento arbitr
ario do domnio, e depois deduzir S(d), entao
pode-se deduzir x S(x).
Exemplo 12.9. Sejam as premissas
(1) x (R(x) S(x))
(2) x R(x)
e a conclus
ao x S(x).
Esta inferencia e v
alida.
o. Tome-se um nome, digamos d, que representa um eDemonstrac
a
lemento arbitr
ario do domnio. Por instanciacao universal das premissas (1)
e (2), obtem-se.
R(d) S(d)
e
R(d).
Por Modus Ponens obtem-se S(d). Como d denota um elemento arbitrario
do domnio considerado, conclui-se, por generalizacao universal, x S(x).
Note Bem 12.10. Sejam as formulas S(x), P (x), Q(x).
12.4. DEDUC
OES
COM VARIOS
QUANTIFICADORES
83
(1) Instanciac
ao existencial: Se se deduziu x S(x) entao pode-se escolher um smbolo novo de constante, c, para designar um objecto
que satisfaca S(x), e deduzir S(c).
(2) Metodo de deduc
ao condicional geral: Para deduzir x (P (x)
Q(x)), pode-se escolher um smbolo novo de constante, digamos d,
supor P (d) e deduzir Q(d).
(3) Generalizac
ao universal: Escolhendo-se um smbolo novo de constante, digamos d, e tendo deduzido S(d), pode-se deduzir x S(x).
12.4. Dedu
c
oes com v
arios quantificadores
Quando se usam os passos e os metodos de inferencia que acabamos
de estudar em sentencas que envolvem varios quantificadores, ha algumas
precauc
oes a ter, para n
ao se incorrer em erros, quando se faz a introducao
de constantes novas.
Vamos comecar por considerar um exemplo que ilustra o tipo de problemas que podemos encontrar.
Exemplo 12.11. Sejam as sentencas
(1) x [M enino(x) y(M enina(y) Gosta(x, y))]
(2) y [M enina(y) x(M enino(x) Gosta(x, y))]
Suponhamos que o domnio em que estamos a considerar estas sentencas
e o das criancas do Jardim de Infancia frequentados pelo Marco e pela Clara.
A primeira sentenca afirma que cada menino gosta de alguma menina.
A segunda sentenca afirma que ha uma menina de quem todos os meninos
gostam.
claro que a primeira sentenca e consequencia logica da segunda. Vamos
E
demonstrar rigorosamente que assim e.
o. Premissa: y[M enina(y)x(M enino(x) Gosta(x, y))]
Demonstrac
a
Conclus
ao: x[M enino(x) y(M enina(y) Gosta(x, y))].
Seja c o nome da menina de quem todos os meninos gostam. Para deduzir
a conclus
ao, vamos usar o metodo de deducao condicional geral. Seja d o
nome de um menino qualquer do Jardim de Infancia. Como qualquer menino
gosta de c, temos que Gosta(d, c).
Portanto, d gosta de alguma menina; por generalizacao existencial temos
y (M enina(y) Gosta(d, y)). Como d foi tomado arbitrariamente, tem-se
a conclus
ao:
x [M enino(x) y(M enina(y) Gosta(x, y))].
Esta demonstrac
ao correcta e aparentemente semelhante `a demonstrac
ao
incorrecta que se segue de que (2) y [M enina(y) x(M enino(x)
Gosta(x, y))] e consequencia logica de (1) x [M enino(x) y(M enina(y)
Gosta(x, y)].
o.
Pseudo-demonstrac
a
Premissa: x [M enino(x) y(M enina(y) Gosta(x, y))]
Conclus
ao: y [M enina(y) x(M enino(x) Gosta(x, y))].
Suponhamos que todo o menino gosta de alguma menina. Seja e um
menino qualquer do Jardim de Infancia. Entao e gosta de alguma menina.
Seja f o nome de uma menina de quem e gosta (i.e., Gosta(e, f )).
84
PARA O CALCULO
12. METODOS
DE DEDUC
AO
DE PREDICADOS
12.4. DEDUC
OES
COM VARIOS
QUANTIFICADORES
85
CAPITULO 13
Dedu
co
es formais com quantificadores
Vamos apresentar as regras, no sistema F, que correspondem aos metodos
de deduc
ao envolvendo os quantificadores universal () e existencial ().
S(t)
Regra da da dedu
c
ao condicional geral ( Intro)
Esta regra constitui a formalizacao do metodo de deducao condicional
geral.
Comecemos por fixar uma representacao para o uso de um smbolo de
constante, digamos c, que denotara um objecto arbitrario que satisfaz uma
dada condic
ao, P (c). Usamos uma subdeducao com premissa P (c), enfatizando que a referida constante ocorre apenas na subdeducao. Garantimos
assim que aquela constante nao ocorre nas premissas da deducao principal.
Do ponto de vista gr
afico, usamos o smbolo [c] precedendo a premissa
P (c)esta ser
a a formalizac
ao da frase seja c um objecto arbitr
ario para o
qual se tem P (c).
Se se deduziu P (c), para um objecto arbitrario c, entao pode-se deduzir
xP (x).
O esquema da regra ( Intro) e:
87
88
13. DEDUC
OES
FORMAIS COM QUANTIFICADORES
[c] P (c)
Q(c)
x (P (x) Q(x))
em que c n
ao ocorre fora da subdeducao.
Como variante da regra ( Intro) permitimos tambem uma subdeducao
sem premissas, que corresponde ao metodo de generalizacao universal.
O esquema da regra de generalizacao universal ( Intro) e:
[c]
S(c)
xS(x)
em que c n
ao ocorre fora da subdeducao.
Na justificac
ao desta regra, cita-se a subdeducao, usando a expressao
Intro: r n, em que r e o n
umero da primeira linha da subdeducao e n e
o n
umero da u
ltima linha da subdeducao.
N
ao e absolutamente necessario ter ambas as versoes desta regra. No
entanto, a primeira vers
ao e a mais intuitiva, enquanto a segunda e a mais
usada em textos cl
assicos de Logica.
Exemplo 13.1. Premissas:
1. x (P (x) Q(x))
2. z (Q(z) R(z))
Conclusao: x (P (x) R(x))
1. x (P (x) Q(x))
2. z (Q(z) R(z))
3. [d] P (d)
4. P (d) Q(d)
Elim: 1
5. Q(d)
Elim: 4, 3
6. Q(d) R(d)
Elim: 2
7. R(d)
Elim: 6, 5
8. x(P (x) R(x))
Intro: 3 7
Note-se que a constante d so ocorre dentro da subdeducao, o que permite
o uso correcto da introduc
ao do quantificador universal no passo 8.
Na justificac
ao do uso de ( Intro) identifica-se a subdeducao com incio
em P (d) e fim em R(d).
89
xS(x)
Regra da elimina
c
ao do quantificador existencial ( Elim)
Esta regra formaliza o metodo de instanciacao existencial.
Se se deduziu xS(x), toma-se um novo smbolo de constante, c, e
considera-se a premissa temporaria S(c) (o que corresponde a supor que
c satisfaz S(x)). Se desta premissa se deduz Q na qual c nao ocorre, entao
pode-se deduzir Q a partir das premissas iniciais.
O esquema da regra ( Elim) e:
xS(x)
[c] S(c)
Q
Q
em que c n
ao ocorre fora da subdeducao.
A notac
ao [c] S(c) e a formalizacao da frase Seja c um objecto para o
qual se sup
oe S(c).
Note-se que esta regra e formalmente semelhante `a regra de eliminacao
da disjunc
ao. Nesta, faz-se uma subdeducao para cada caso possvel, obtendose o mesmo resultado em cada caso. Na regra ( Elim), e necessario obter
Q independentemente da cada objecto particular que satisfaca S(x).
Exemplo 13.2. Premissas:
1. x (Cube(x) Large(x))
2. x (Large(x) LeftOf(x, c))
3. x Cube(x)
Conclusao: x (Large(x) LeftOf(x, c))
90
13. DEDUC
OES
FORMAIS COM QUANTIFICADORES
1. x (Cube(x) Large(x))
2. x (Large(x) LeftOf(x, c))
3. x Cube(x)
4. [e] Cube(e)
5. Cube(e) Large(e)
6. Large(e)
7. Large(e) LeftOf(e, c)
8. LeftOf(e, c)
9. Large(e) LeftOf(e, c)
10. x (Large(x) LeftOf(x, c))
11. x (Large(x) LeftOf(x, c))
Elim: 1
Elim: 5, 4
Elim: 2
Elim: 7, 6
Intro: 6, 8
Intro: 9
Elim: 3, 4-10
13.3. Estrat
egia e t
actica
Ao tentar construir uma deducao formal, devemos, antes de mais, compreender o significado das sentencas consideradas, quer sejam as premissas,
quer a conclus
ao.
Como primeiro passo estrategico deve-se tentar obter uma deducao informal, para depois tentar chegar a uma deducao formal. Em particular,
e tarefa essencial identificar as regras formais usadas implicitamente no
raciocnio informal.
Vamos trabalhar um exemplo em pormenor.
Exemplo 13.3. Deduc
ao formal da inferencia
Premissas: 1. x (T (x) S(x))
2. x (S(x) L(x, b))
Conclus
ao: x L(x, b)
Comecemos por notar que se trata de uma inferencia valida.
Da premissa 1 resulta que ha um objecto, digamos a, para o qual T (a)
S(a).
Fazendo a instanciac
ao universal da premissa 2, obtemos que
13.3. ESTRATEGIA
E TACTICA
91
1. x (T (x) S(x))
2. x (S(x) L(x, b))
3. [a] T (a) S(a)
4. S(a)
xL(x, b)
Elim: 3
??
xL(x, b)
Elim:1, 3-?
S(a)
S(a) L(a, b)
L(a, b)
xL(x, b)
Elim: 3
Elim: 2
Elim: 5, 4
Intro: 6
xL(x, b)
Elim:1, 3-7
xP (x)
(premissa)
(conclusao)
92
13. DEDUC
OES
FORMAIS COM QUANTIFICADORES
1. xP (x)
P (c)
x P (x)
Intro: ?
1. xP (x)
2. xP (x)
Intro: ?
x P (x)
x P (x)
Intro: 2-?
Elim: ?
P (c)
x P (x)
x P (x)
x P (x)
Intro: 3- ?
Intro: ?, 1
Intro: 2-?
Elim: ?
13.3. ESTRATEGIA
E TACTICA
93
1. xP (x)
2. xP (x)
3. [c]
4. P (c)
5. x P (x)
6.
7. P (c)
8. P (c)
9. x P (x)
10.
11. x P (x)
12. x P (x)
Intro: 4
Intro: 5, 2
Intro: 4-6
Elim : 7
Intro: 3-8
Intro: 9, 1
Intro: 2-10
Elim: 11
CAPITULO 17
T
opicos avan
cados do C
alculo Proposicional
17.3. Senten
cas de Horn
Recorde-se que uma sentenca na FNC (forma normal conjuntiva) e uma
conjunc
ao de uma ou mais sentencas, cada uma delas uma disjuncao de um
ou mais literais.
Um literal diz-se positivo se e uma sentenca atomica; negativo se e a
negac
ao de uma sentenca at
omica.
o 17.1. Uma sentenca diz-se senten
Definic
a
ca de Horn se estiver na
FNC e em cada disjunc
ao de literais houver no maximo um literal positivo.
No exemplo que se segue todas as sentencas estao na FNC mas nenhuma
delas e uma sentenca de Horn.
Exemplo 17.2.
(1) EmCasa(clara)(EmCasa(marco)Feliz(carlos)).
Na segunda sentenca componente da conjuncao ha dois literais
positivos.
(2) (EmCasa(clara) EmCasa(marco) Feliz(clara)) Feliz(carlos).
Na primeira sentenca componente da conjuncao ha dois literais
positivos.
(3) EmCasa(clara) EmCasa(marco) EmCasa(carlos).
Uma disjunc
ao em que ha dois literais positivos.
Por outro lado, todas as sentencas do exemplo que se segue sao sentencas
de Horn.
Exemplo 17.3.
(1) EmCasa(clara)(EmCasa(marco)Feliz(carlos)).
Na segunda sentenca componente da conjuncao ha exactamente
um literal positivo.
(2) EmCasa(clara) EmCasa(marco) EmCasa(carlos).
Uma conjunc
ao de tres literais, os primeiros positivos e o terceiro negativo.
(3) EmCasa(clara) EmCasa(marco) EmCasa(carlos).
Uma disjunc
ao em que ha apenas um literal positivo.
(4) EmCasa(clara)EmCasa(marco)(EmCasa(marco)EmCasa(marco)).
Na terceira componente da conjuncao, ha uma disjuncao sem
literais positivos.
As sentencas de Horn s
ao equivalentes a sentencas em que cada disjunc
ao
de literais e substituda por uma implicac
ao de tipo especial.
Seja a sentenca de Horn:
EmCasa(clara) EmCasa(marco) Feliz(carlos).
95
96
17. TOPICOS
AVANC
ADOS DO CALCULO
PROPOSICIONAL
17.3. SENTENC
AS DE HORN
97
Ultimo Passo. H
a duas possibilidades:
(1) H
a uma implicac
ao do tipo (B1 B2 . . . Bt ) que e necessariamente falsa, pois ja se atribuiu o valor V a todas as sentencas
B1 , B2 , . . . , Bt . Neste caso, S e falsa. Resulta daqui que S nao e
tt-satisfazvel.
(2) Caso contr
ario, atribua-se `as restantes sentencas atomicas (cujo
valor de verdade n
ao foi fixado nos passos anteriores) o valor F .
Esta atribuic
ao de valores de verdade torna S verdadeira. Portanto
S e tt-satisfazvel.
Note bem. Se, ao iniciar o algoritmo, nenhuma das implicacoes Ik e do tipo
Ai , este p
ara de imediato; atribuindo-se o valor F a todas as sentencas
at
omicas A1 , A2 , . . . , An , a sentenca S e verdadeira. Consequentemente S e
tt-satisfazvel.
Exemplo 17.6. Sejam A, B, C sentencas atomicas e seja S a sentenca
de Horn (A B) (B C) B.
A sua forma condicional e (A B) (B C) ( B).
Para que S seja tt-satisfazvel, B tem que ter valor V .
Considerando agora B C, como B tem valor V , vem que C tambem
tem que ter valor V .
Esgot
amos todos os casos contemplados no passo 2 do algoritmo.
17. TOPICOS
AVANC
ADOS DO CALCULO
PROPOSICIONAL
98
Como n
ao h
a nenhuma sentenca da forma (D1 D2 . . . Dn )
com as sentencas Di com valor V concluimos a aplicacao do algoritmo
atribuindo `
a sentenca at
omica A o valor F e concluindo que a sentenca S e
tt-satisfazvel.
A B C (A B) (B C) ( B)
F V V
AncestorOf(a, b) MotherOf(a, b)
AncestorOf(b, c) MotherOf(b, c)
AncestorOf(a, b) FatherOf(a, b)
AncestorOf(b, c) FatherOf(b, c)
AncestorOf(a, c) AncestorOf(a, b), AncestorOf(b, c)
MotherOf(a, b) True
FatherOf(b, c) True
FatherOf(b, d) True
17.4. RESOLUC
AO
99
Se da aplicac
ao do algoritmo resulta que S1 S2 . . . S8 S e tt `a questao posta. De facto,
satisfazvel, ent
ao o PROLOG responde NAO
neste caso, S1 S2 . . . S8 B e verdadeira em pelo menos uma linha da
tabela de verdade e portanto S1 S2 . . . S8 sao verdadeiras e B e falsa.
Se da aplicac
ao do algoritmo resulta que S1 S2 . . . S8 S nao e ttsatisfazvel, ent
ao o PROLOG responde SIM `a questao posta. De facto, em
todas as linhas da tabela de verdade em que S1 S2 . . .S8 sao verdadeiras,
B tambem e verdadeira e portanto e consequencia tautologica das sentencas
da base de dados.
17.4. Resolu
c
ao
Apresentamos agora o M
etodo de Resolu
c
ao, um metodo aplicavel
a quaisquer sentencas na Forma Normal Conjuntiva (FNC), que permite
decidir se uma sentenca e tt-satisfazvel.O metodo de resolucao, menos eficiente do que o algoritmo de tt-satisfacao para as sentencas de Horn, e,
no entanto, mais eficiente do que o metodo das tabelas de verdade. Tem
diversas aplicac
oes em ciencia da computacao.
A noc
ao central do metodo de resolucao e a de conjunto de cl
ausulas.
Uma cl
ausula (de resoluc
ao) e um conjunto finito de literais.
Exemplo 17.7.
C1 = {Small(a), Cube(a), BackOf(b, a)}
e
C2 = {Small(a), Cube(b)}
sao cl
ausulas.
A cl
ausula vazia denota-se por { } (ou ).
Uma cl
ausula C = {L1 , L2 , . . . , Ln } diz-se tt-satisfazvel se ha uma
atribuic
ao de valores de verdade `as sentencas atomicas que ocorrem nos
literais L1 , L2 , . . . , Ln de modo que a disjuncao L1 L2 . . . Ln tome o
valor V.
Exemplo 17.8.
(1) A clausula vazia { } nao e tt-satisfazvel.
(2) Pelo contr
ario, a cl
ausula C1 = {Small(a), Cube(a), BackOf(b, a)}
e tt-satisfazvel.
Um conjunto n
ao vazio de clausulas, S, diz-se tt-satisfazvel se a sentenca que resulta da conjuncao das disjuncoes dos literais de cada clausula
em S for tt-satisfazvel.
A ideia b
asica do metodo de resolucao consiste em construir, a partir do
conjunto S de cl
ausulas, um novo conjunto de clausulas, S , que contenha S
mas que seja satisfazvel para as mesmas atribuicoes de valores de verdade.
M
etodo de Resolu
c
ao.
1. Seja uma sentenca na FNC
S = D1 D2 . . . Dn .
Associe-se a S um conjunto de clausulas S de modo natural:
100
17. TOPICOS
AVANC
ADOS DO CALCULO
PROPOSICIONAL
{P, L1 , . . . , Lm }
{L1 , . . . , Ln , L1 , . . . , Lm }
17.4. RESOLUC
AO
101
clausulas {C1 , C2 , C3 , C4 } n
ao e tt-satisfazvel. Portanto, o conjunto inicial
de cl
ausulas tambem n
ao e tt-satisfazvel.
A validade do metodo de resolucao tem por base o seguinte:
Teorema 17.11. (Completude e correcc
ao da resoluc
ao)
Um conjunto de cl
ausulas S n
ao e tt-satisfazvel, se e s
o se e possvel
obter a cl
ausula vazia { } por aplicac
oes sucessivas da regra de resoluc
ao.
Exemplo 17.12. (Demonstracao por resolucao)
Sejam A, B, C, D sentencas atomicas e considere-se a sentenca na FNC
A (B C B) (C D) (A D) (B D).
As cl
ausulas de resoluc
ao associadas a esta sentenca sao:
{A}, {B, C}, {C, D}, {A, D}, {B, D}.
{B, C}
{B, D}
{C, D}
{C, D}
{A, D}
{D}
{A}
{D}
{}
Como se obteve a cl
ausula vazia por resolucao, a sentenca considerada
nao e tt-satisfazvel.
Aplica
c
oes da resolu
c
ao. Recorde-se:
o 17.13.
Proposic
a
(1) Uma sentenca S e consequencia tautol
ogica
das premissas P1 , . . . , Pn se e s
o se o conjunto {P1 , . . . , Pn , S} n
ao
e tt-satifazvel, i.e., se a conjunc
ao P1 . . . Pn S n
ao e ttsatifazvel.
(2) Uma sentenca S e tautologia se e s
o se S n
ao e tt-satisfazvel.
Com base neste resultado, tem-se as seguintes aplicacoes do metodo de
resoluc
ao.
1. Para determinar se uma sentenca S e consequencia tautologica de
P1 , . . . , Pn , aplique-se o metodo de resolucao a uma FNC da sentenca P1 . . . Pn S.
Se se obtiver { }, conclui-se que S e consequencia tautologica
de P1 , . . . , Pn .
2. Para determinar se uma sentenca S e tautologia, aplique-se o metodo
de resoluc
ao a uma FNC de S.
Se se obtiver { }, conclui-se que S e tautologia.
Exemplo 17.14. Sejam A e B sentencas atomicas. B e consequencia
tautol
ogica de (A (A B)) B.
Vamos determinar uma FNC da sentenca ((A (A B)) B) B.
102
17. TOPICOS
AVANC
ADOS DO CALCULO
PROPOSICIONAL
((A (A B)) B) B
((A (A B)) B) B
((A (A B)) B) B
((A A B) B) B
(A B) (A B) (B B) B
As cl
ausulas associadas a ((A (A B)) B) B, obtidas a partir
da FNC, s
ao:
{A, B}, {A, B}, {B, B}, {B} Demonstracao por resolucao:
{A, B}
{A, B}
{B}
{B}
{}
Bibliografia
[BarEt99]
J. Barwise and J. Etchemendy, Language Proof and Logic, Center for the
Study of Language and Information, Stanford, CA, 1999.
[BarEt92]
J. Barwise and J. Etchemendy, The Language of First-Order Logic, Center
for the Study of Language and Information, Stanford, CA, 1992.
[Burris]
S. Burris, Logic for Mathematics and Computer Science, Prentice Hall, NJ,
1998.
[Oliveira]
A. Franco de Oliveira, L
ogica e Aritmetica, Gradiva, Lisboa, 1991.
[Ribenboim] P. Ribenboim, My Numbers, my friends, Springer-Verlag, New York, NY,
2000.
103