Escolar Documentos
Profissional Documentos
Cultura Documentos
Introdução À Lógica para A Ciência Da Computação PDF
Introdução À Lógica para A Ciência Da Computação PDF
Alexandre Scalzitti
Joo Incio da Silva Filho
Introduo Lgica
para a
Cincia da Computao
Introduo Lgica
para a
Cincia da Computao
2.001
Prefcio
Este texto foi elaborado pelos autores tendo por base os diversos
cursos de Lgica que os mesmos tm lecionado nos ltimos anos.
A presente monografia destinada a introduzir o leitor neste fascinante ramo do conhecimento humano que a moderna Lgica Matemtica.
O trabalho foi redigido para atender um nmero maior de leitores, englobando estudantes de diversas reas, tais como, Cincia da Computao, Anlise
de Sistemas, Processamento de Dados, Inteligncia Artificial, as diversas
Engenharias, Matemtica, Cincias Biolgicas, Economia, Psicologia, Filosofia, Direito, enfim todo estudioso interessado no assunto.
A Lgica se converteu nos ltimos anos em disciplina de primeira
necessidade para os diversos cursos, e isto no surpreendente, pois,
disse o pensador norte americano W. Quine : A Lgica o denominador
comum das Cincias Especiais ....
No se exige, praticamente, pr-requisito algum para sua leitura; com
efeito, a exposio do texto est detalhada tanto quanto possvel com notas
explicativas referente a pontos delicados do desenvlvimento, procurando
fazer do texto uma leitura agradvel. Os tpicos escolhidos cobrem o que
hodiernamente denominamos de ncleo da Lgica Clssica.
Complementou-se com algumas aplicaes nas diversas reas.
Um comentrio ao nefito em Lgica: no se l um livro de lgica
como se l um livro de romance, i.e., sua leitura muitas vezes no conveniente que se faa de maneira linear; tambm sugere-se ao leitor que faa os
inmeros exerccios propostos para um entendimento salutar dos conceitos
vistos. Aqui se aplica vivamente um pensamento de Confcio: se ouo,
esqueo; se vejo, gravo; se fao, compreendo ...
O tomo que vem a lume apenas uma primeira verso que pretendemos futuramente aprimor-lo e enriquec-lo. Para tanto, contamos com as
sugestes e crticas construtivas por parte dos leitores.
Os Autores.
SUMRIO
PREFCIO
1 INTRODUO................................................................................................9
0.1 Nota Histrica......................................................................................9
0.2 O que Lgica ?.................................................................................10
0.3 Cincia e Lgica.................................................................................11
0.4 Aspectos da lgica atual..................................................................13
1 INTRODUO AO CLCULO PROPOSICIONAL
1.1 Introduo..........................................................................................15
1.2 Os paradoxos.....................................................................................15
1.3 Linguagens artificiais........................................................................20
1.4 A linguagem universal da lgica.....................................................22
1.5 Conectivos lgicos e tabelas-verdade...........................................22
1.6 Frmulas atmicas e frmulas.........................................................37
1.7 rvore de composio de uma frmula - rvore de
decomposio............................................................................................38
1.8 Tabela-verdade de uma frmula......................................................49
1.9- Tautologias.........................................................................................65
1.10 rvore de refutao........................................................................70
1.11 Inferncia lgica..............................................................................82
1.12 Regra de eliminao de parntesis................................................93
1.13 A notao polonesa de frmulas..................................................94
1.14 Forma normal disjuntiva.................................................................95
1.15 Uma axiomatizao da lgica proposicional..............................101
2- O CLCULO DE PREDICADOS..................................................................117
2.1 Lgica e gramtica...........................................................................117
2.2 Um sistema formal para a lgica de predicados..........................125
2.3 Estrutura dedutiva...........................................................................128
2.4 Semntica..........................................................................................138
3 ALGUNS ASPECTOS DE PROGRAMAO EM LGICA E PROLOG
3.1 Introduo........................................................................................145
3.2 A proposta da programao em lgica........................................146
3.3 Clusula de Horn.............................................................................147
3.4 Consideraes preliminares...........................................................148
3.5 Clusula............................................................................................151
10
1 INTRODUO
1.1 - Nota Histrica
A Lgica, ao que tudo indica, foi descoberta por Aristteles (384-322
a.C.). Os registros se encontram em seu famoso livro da Metafsica.
Aps sua descoberta, ela permaneceu praticamente intacta por mais de dois
mil anos, sendo retocada em detalhes de pouca importncia. E. Kant chegou
mesmo a asseverar que a cincia descoberta pelo Estagirita se constitua
numa cincia acabada: a lgica no havia dado nenhum passo para diante e
nenhum para trs (desde sua introduo).
No obstante, grandes mudanas comearam a ocorrer notadamente
com G. Boole (1815-1864), A. De Morgan (1806-1871) e contemporneos com
a introduo da simbolizao na Lgica. Boole, na realidade, estava estudando as Leis do Pensamento Humano. Houve, porm, alguns precursores dessa mudana, como G. Leibniz (1646-1716) e J.H. Lambert (1728-1777).
Outras investigaes de carter mais filosfico foram efetuadas por G. Frege
(1848-1925), contribuindo enormemente para o desenvolvimento da lgica
de predicados. Porm, o grande avano propriamente dito foi estabelecido
com a publicao da monumental obra Principia Mathematica, em trs
volumes, de A. N. Whitehead e B. Russell no alvorecer deste sculo. Podese mesmo dizer que a moderna Lgica Matemtica teve incio com a publicao da referida obra. Alis, no seria exagero, se afirmarmos, como A. N.
Whitehead disse, que a lgica atual est para a lgica aristotlica como a
matemtica moderna est para a aritmtica das tribos primitivas.
No entanto, as dcadas posteriores aguardavam mais novidades. K.
Gdel, na poca um jovem lgico austraco, mostrou que no pode haver
uma sistematizao completa da Aritmtica. Isto quer dizer que, intuitivamente e sem rigor, h proposies aritmticas que dizem: sou verdadeiro,
porm indemonstrvel. Desse resultado, Gdel deduziu outro: que, se a
Aritmtica for consistente, sua consistncia no pode ser demonstrada dentro da teoria, ou seja, h que se recorrer teorias que a englobem, mais
gerais, e, portanto, mais inseguras que a original. Tais resultados so conhecidos como teoremas de incompleteza de Gdel. Como se sabe, os resultados de Gdel representaram o limiar de uma nova era na moderna Lgica
Matemtica. Suas reflexes so de longo alcance, deixando muitas questes
sobre os fundamentos da disciplina para as dcadas posteriores.
Outra contribuio de envergadura foi efetuada pelo lgico polons
A. Tarski. Constitui na matematizao do conceito de verdade como correspondncia. Tal concepo de verdade remonta Aristteles: dizer do que
no que , e dizer do que , que no , falso. E, dizer do que no , que no
11
12
sentido, tais contextos so inadequados quando tratamos do termo lgica que adquire hodiernamente. Uma definio popular de lgica : Lgica
o estudo das inferncias (raciocnios) vlidos. Tal definio no est incorreta, porm, ela no adequada se observarmos o que a Lgica
modernamente. Por exemplo, a Teoria dos Modelos, um ramo importante da
Lgica atualmente, dificilmente se enquadraria nessa definio. Outra definio que encontramos em algumas obras de Lgica a seguinte: Lgica o
estudo do raciocnio feito pelos matemticos... Comentamos uma definio
que nos parece mais adequada: Lgica o que os lgicos cultivam ou o que
est nos tratados de Lgica. Ou seja, para bem compreendermos o que
lgica, necessrio seu cultivo sistemtico. O leitor deve ter percebido que
no existe uma definio satisfatria de Lgica. Tal questo pertence Filosofia que trata, entre outras coisas, de temas que no possuem resposta
cabal. Esta situao se afigura constrangedora, pois vamos estudar Lgica
sem poder saber exatamente o que ela ...
13
Mas afinal, perguntaramos novamente, o que razo? No pretendemos abusar da pacincia do leitor, mas responder tal questo no simples,
sendo porm necessrio que consideremos um importante aspecto da questo. A questo fundamental a ser percebida, para a nossa discusso, que a
razo humana se materializa, se corporifica sempre em algum contexto
lingstico. Poderamos praticamente dizer que no h razo sem linguagem,
o que ilustra a importncia da Teoria da Linguagem para a cincia. Pois bem,
perguntemos neste ponto, ao bilogo, que linguagem estar ele utilizando
para investigar seu objeto de estudo, as mosquinhas? Talvez ele se surpreenda com a pergunta, mas provavelmente dir, a lngua portuguesa, ou seja,
a linguagem natural que aprendemos desde tenra idade. Talvez muitos dos
cientistas diriam o mesmo: a linguagem natural!
Voltemos aos lgicos e perguntemos a eles: qual a poro da realidade que o lgico busca compreender? Que linguagem estar ele empregando para isso? Vejamos um objeto lgico que a maioria das pessoas certamente conhece muito bem, os nmeros naturais: 0, 1, 2, 3, ..., n, ... (sim! nmeros
so entidades lgicas). Alm dos nmeros, a maioria das pessoas sabe somar e multiplicar nmeros, sabe tambm, comparar nmeros, e assim por
diante.
Uma peculiaridade interessante numa investigao em Lgica. Um
bilogo que quer estudar as moscas, sabe onde ir busc-las. Um mdico
tambm sabe em que espao se encontram as doenas que quer investigar,
em seres vivos. Mas, e quanto ao nmero 2, onde ser que ele se encontra?
Uma questo como essa, que pode parecer irrelevante primeira vista, tem
desdobramentos interessantes. Indague o leitor a si mesmo se o nmero 2
existe de fato ou no. Acreditamos que um matemtico convencional no
poria dvidas quanto existncia do nmero 2, mas certamente teria dificuldades em justific-la. Para aguarmos um pouco mais essa questo, o leitor
est certo de que este livro, que est diante dele, existe mesmo? claro que
sim! diria. Se pedssemos uma argumentao que justificasse essa certeza,
talvez uma resposta suficiente aos olhos do senso comum seria: Eu estou
vendo, tocando! Ou seja, justificaria a existncia do livro pelos sentidos
usuais que os seres humanos so dotados. Infelizmente, no estaramos
satisfeitos com essa argumentao. O tato pode falhar, a viso nos engana
freqentemente. Logo, em termos racionais, os sentidos no so capazes de
nos fornecer fundamentos para a certeza absoluta da existncia do livro. Se
o leitor aplicasse essa argumentao a ele prprio, as coisas ficariam ainda
piores. O leitor tem certeza absoluta que existe? O que pode parecer estranho, mas inatacvel, nessa linha de argumentao, que no conseguimos
legitimar a existncia das coisas somente por argumentos lgicos. Um dos
mais belos desenvolvimentos em cima desse argumento devido ao matemtico e filsofo francs Ren Descartes, resumido na frase penso, logo
existo. Porm, o que podemos concluir da que existe pensamento, no o
ser.
Assim, necessitamos de uma postura para vermos as coisas. A maioria absoluta dos lgicos e cientistas em geral adota a postura platnica
(muitas vezes inconscientemente). Grosso modo, Plato acredita na existncia de dois mundos:
1) O mundo fsico (em que vivemos) e
14
15
16
2. INTRODUO AO CLCULO
PROPOSICIONAL
2.1 - Introduo
Neste captulo trataremos alguns conceitos elementares da lgica
proposicional, de uma maneira intuitiva. Isto no nos impede, entretanto, de
sermos rigorosos em nosso tratamento. O clculo proposicional o estudo
da linguagem proposicional. Ela estuda basicamente cinco smbolos:
1.
Negao:
2.
Conjuno: ^
3.
Disjuno:
4.
Implicao:
5.
Bi-implicao:
2.2 Os paradoxos
Os paradoxos ou antinomias foram objeto de estudos e inquietaes
por parte de filsofos e lgicos, desde os tempos da Antiga Grcia. Sem
muito rigor, os paradoxos podem ser classificados em paradoxos semnticos
e paradoxos lgicos. Vejamos alguns.
Paradoxos semnticos.
1)Paradoxo do mentiroso.
Dentre os paradoxos desta categoria, destaca-se aquele descoberto
pelo filsofo grego Eublides de Mileto (384-322 a.C.) conhecido popularmente como o paradoxo do mentiroso. Eublides foi professor de Demstenes,
contemporneo e declarado inimigo de Aristteles.
Teamos algumas consideraes sobre esse assunto.
Inicialmente, trata-se do senso comum que toda sentena declarativa
da lngua portuguesa ou verdadeira ou falsa, nunca ambas simultaneamente. Suponhamos, por exemplo, que, num quadro negro, se escreva a
seguinte (nica) frase :
S1 : A sentena escrita neste quadro contm oito palavras.
Verifica-se, neste caso, prontamente, que a sentena S1 constitui uma
17
18
no for heterolgico, ou seja, autolgico, ele heterolgico. Por conseguinte, o adjetivo heterolgico , simultaneamente, heterolgico e no
heterolgico.
4) Paradoxo de Berry
Proposto em 1906. Existe um nmero finito de smbolos (letras, sinais
de pontuao, etc.) na lngua portuguesa. Ento, existe um nmero finito de
expresses em nossa lngua que contem menos de 200 smbolos, mesmo
contando as repeties. H, portanto, um nmero finito de inteiros positivos
que podem ser denotados por expresses da lngua portuguesa que contem
menos de 200 smbolos. Agora consideremos k como sendo o menor inteiro positivo que no se consegue denotar numa expresso em portugus
com menos de 200 smbolos. Ora, a expresso em itlico acima tem menos
de 200 smbolos, e a prpria expresso do inteiro positivo k.
5) Paradoxo do barbeiro.
Numa pequena cidade do interior vive um barbeiro, muito conhecido
dos moradores da cidade, que barbeia todas (e somente aquelas) pessoas
moradoras da cidade que no se barbeiam sozinhas. Ora, o barbeiro um
morador da cidade. Coloca-se a questo: quem faz a barba do barbeiro ?
bvio que:
ou ele se barbeia,
ou ele no se barbeia.
Portanto, como o leitor se apercebe, um tal barbeiro se barbeia se e
somente se ele no se barbeia. Adotando-se a Lgica Clssica, tal barbeiro
no existe.
6) Paradoxo do exame
Numa segunda-feira, certa professora informa seus alunos de que eles
tero um exame nos prximos quatro dias, mas que no devero saber o dia
exato, a no ser no momento de prestar o exame. Os alunos, ento, raciocinaram assim: o exame no pode ocorrer na sexta-feira (o quarto dia), pois, em
caso contrrio, eles saberiam de antemo, na quinta-feira, depois das aulas,
que ele seria na sexta-feira, quebrando-se, assim, o acordo de ser surpresa.
De modo anlogo, no pode ser na quinta-feira. Nem na quarta-feira, nem na
tera-feira. Logo, no pode haver exame nas condies formuladas pela mestre. Porm, esta, digamos na quarta-feira, pode aplicar o exame, satisfazendo
as condies impostas.
7) Paradoxo dos insociveis
Os habitantes de uma comunidade formam entre si vrios tipos de
associaes ou clubes. Um habitante pode pertencer a mais de um clube.
Cada clube tem o nome de um habitante. No existem dois clubes diferentes
com o nome do mesmo habitante. E toco habitante tem um clube com seu
nome. No necessrio que uma pessoa seja membro do clube que leva seu
nome. Se a pessoa membro do clube que leva seu nome, ela chamada de
uma pessoa socivel. Se a pessoa no membro do clube que tem seu nome,
ela ento chamada de uma pessoa insocivel. possvel formar um clube
contendo todos os insociveis da comunidade?
19
Paradoxo semitico.
Seja A o conjunto dos nmeros naturais de 1 a 12, inclusive, A = {1, 2,
..., 11, 12}. Imaginemos um sistema de notao N para eles. Usaremos os
numerais 1, 2, ... , 8 e 9 e sinais 0, 1, 2, ... , 9, 10, 11 e 12, para denot-los, como
usualmente, e mais o signo j.
O signo j denotar o menor elemento de A que no sistema de notao
N no pode ser denotado por um nico smbolo. N aparenta ser, sem sombra
de dvida, um sistema de notao cordial. Porm, vejamos o que ocorre com
o nmero 10. Suponhamos que 10 seja denotvel por um nico smbolo de N;
ento esse smbolo obviamente s pode ser j, e 10 no denotvel por um
nico smbolo de N, de conformidade com a definio de j. Admitamos,
ento, que 10 no seja denotvel por um nico smbolo de N; da advm que
10 o menor nmero de A que no pode ser denotado por um nico smbolo
e que, em conseqncia, deve ser denotado por j. A concluso a de que 10
denotvel por um nico smbolo de N se, e somente se, no o for. Adotando-se a Lgica Clssica, o sistema notacional N no existe.
Paradoxo da Fsica Quntica.
O paradoxo a seguir acha-se ligado dualidade onda-corpsculo do
eltron. No chamado experimento dos dois orifcios, enviam-se eltrons sobre um anteparo, passando por um obstculo, onde h dois orifcios convenientemente colocados, e o feixe de eltrons produz no anteparo configuraes de interferncia, comprovando o carter ondulatrio. Porm, se colocarmos um detetor de partculas logo aps qualquer um dos orifcios, tudo
se passa como se o feixe fosse composto de partculas, que atravessam o
obstculo, normalmente, atravs dos orifcios. Logo, o eltron onda e corpsculo ao mesmo tempo. O fsico acata a soluo de Copenhague: mantmse que nada se pode conhecer do interfenmeno.
Paradoxos lgicos.
Os paradoxos desta categoria, diferentemente dos semnticos, envolvem certas noes lgicas, principalmente relacionadas coma teoria intuitiva das colees.
1)Paradoxo de Russell1
Vejamos inicialmente o chamado Paradoxo de Russell. A exposio um
tanto quanto detalhada possui o fito de relembrar alguns conceitos fundamentais da teoria intuitiva de conjuntos.2
Dentro da posio platnica subjacente teoria dos conjuntos, um
dos princpios bsicos que regem essa teoria, de contedo bastante evidente, o seguinte:
Princpio da separao (ou da compreenso): Toda propriedade P
determina um certo conjunto, a saber, o conjunto formado pelos objetos que
possuem a propriedade P e apenas por eles.
Exemplo. Consideremos a propriedade de ser homem. Ela determina o
1 Descoberto independentemente por E. Zermelo.
2 Uma exposio da teoria elementar de conjuntos pode ser vista em [Abe &
Papavero 92] .
20
conjunto
{x | x um homem} = conjunto dos homens.
Exemplo. Se P ser satlite natural da Terra. Ento:
{x | x um satlite natural da Terra } = {Lua}
Exemplo. Seja P pessoas que sonham e no-sonham simultaneamente. Ento:
{x | x uma pessoa que sonha e no sonha simultaneamente} =
Como dissemos h pouco, bastante intuitivo que, dada uma propriedade qualquer, ela determina o conjunto dos elementos que satisfazem a
referida propriedade.
O princpio em questo, porm, na realidade, incompatvel com a
lgica elementar clssica. Isto foi constatado em 1902 pelo renomado lgico
ingls Bertrand Russell, e o paradoxo por ele descoberto leva o nome de
antinomia (ou paradoxo) de Russell. Vamos agora exp-lo:
Inicialmente, observemos que existem conjuntos X tais que X no
membro de si mesmo, isto :
XX
Exemplo. O conjunto de todos os homens, por no ser um homem,
no membro de si mesmo.
Exemplo. Dado o conjunto A = {0, 1, 2}, evidente que A A.
Observemos, tambm, que existem conjuntos X tais que so membros de si mesmos, isto , X X.
Exemplo. O conjunto de todos os conjuntos, por ser um conjunto,
obviamente membro de si mesmo.
Exemplo. Um caso interessante o seguinte: seja o conjunto
A = {B | o nmero de elementos de B maior ou igual a 3}.
Existem muitos conjuntos com pelo menos 3 elementos:
B1 = {0, 1, 2, 3}
B2 = conjunto das bananas de So Paulo
B3 = {a, b, c, d, e}
B4 = conjunto dos planetas de nosso sistema solar, etc.
Logo, A possui mais do que 3 elementos e, consequentemente, A A.
Exemplo. Seja a um objeto. Formemos o conjunto dos objetos distintos de a,
{x| x a}. Obviamente tal conjunto distinto de a e, por conseguinte,
pertence a ele mesmo.
Consideremos, agora, o seguinte conjunto:
R = {X | X X}.
21
22
Linguagem Objeto
L in
Linguagem Proposicional
Meta-linguagem
(Teoria dos conjuntos
Cantoniana)
Figura 1
Logo, ao considerarmos uma linguagem-objeto, necessitamos de uma
espcie de pano de fundo. Mais pormenorizadamente, tal pano de fundo
qualquer modelo (ou, o que d no mesmo, a prpria teoria) de teoria dos
conjuntos (Cantoriana). Mais ainda, freqentemente utilizamos uma aritmtica usual e, portanto, uma meta-matemtica na meta-linguagem. O leitor
zeloso, notar ento que o estudo feito em tais linguagens artificiais ser
feito olhando-se de fora, ou seja, todos os resultados que puderem ser
observados, sero observados de um lugar que no o mesmo onde eles
efetivamente ocorrem. Por conseguinte, tratar-se-o de meta-teoremas. Uma
importante observao, feita a partir disso, a de que quase sempre estamos
trabalhando e realizando meta-matemtica. Da, o que chamaramos, licenciosamente, de uma equao fundamental:
Matemtica = Meta-Matemtica !!
Esta situao ilustrada magnificamente por Nietzsche: ... a frontei-
23
24
( A)
0
1
25
No estou feliz.
Um elefante no cor-de-rosa.
Alguns cavalos so pretos.
Alguns cavalos so brancos.
O sol no est brilhando.
Estou errado.
Algum homem um elefante.
Todos os tomates so amarelos.
Todas as vezes estou certo.
Nem sempre h algum na portaria.
b) Lgica fcil.
d) falso que a vida bela.
f) Existem polticos trabalhadores.
h) Toda ao provoca uma reao.
j) Irei a outro lugar.
26
2) Conjuno
Dadas as proposies A e B podemos considerar a nova proposio
(A B), a conjuno de A e B.
A veracidade ou falsidade da proposio (A B) depende da veracidade ou falsidade da proposio A e da proposio B. Logo, a tabela-verdade de (A B) possui quatro possibilidades de valores-verdade para A e B.
1. A verdadeira e B tambm verdadeira.
2. A verdadeira e B falsa.
3. A falsa e B verdadeira.
4. A falsa e B tambm falsa.
Postulamos que a proposio (A B) verdadeira se e somente se
ambas as proposies A e B so verdadeiras. A proposio (A B) falsa se
e somente se uma das proposies A ou B for falsa.
As consideraes acima podem ser esquematizadas como se segue:
Tabela-verdade da conjuno:
27
A
1
1
0
0
B
1
0
1
0
(A B)
1
0
0
0
verdadeira
2) [(2 + 4 = 4) (1 2)]
verdadeira
falsa
falsa
verdadeira
3) [(2 + 4 4) (1 2)]
4) [(2 + 4 4) (1 2)]
falsa
falsa
28
B
1
0
1
0
(A B)
1
1
1
0
2) [(2 + 4 = 4) (1 2)]
verdadeira
verdadeira
4) [(2 + 4 4) (1 2)]
falsa
falsa
3) [(2 + 4 4) (1 2)]
falsa
verdadeira
falsa
29
30
B (A B)
1
1
0
0
1
1
0
1
2) [(2 + 4 = 4) (1 2)]
verdadeira
verdadeira
falsa
3) [(2 + 4 4) (1 2)]
falsa
verdadeira
falsa
falsa
4) [(2 + 4 4) (1 2)]
31
32
33
1.
2.
3.
4.
5) Bi-implicao
Dadas as proposies A e B podemos considerar a nova proposio (A B), a bi-implicao de A e B.
Postulamos que a proposio (A B) verdadeira se e somente se
as proposies A e B possuem o mesmo valor-verdade. A proposio (A
B) falsa se e somente se as proposies A e B tiverem valores-verdade
trocados.
As consideraes acima podem ser esquematizadas como se segue:
Tabela-verdade da bi-implicao:
A
1
1
0
0
B
1
0
1
0
(A B)
1
0
0
1
verdadeira
verdadeira
falsa
2) [(2 + 4 = 4) (1 2)]
3) [(2 + 4 4) (1 2)]
falsa
verdadeira
falsa
falsa
4) [(2 + 4 4) (1 2)]
34
2. Dentro do contexto da lgica proposicional, identifique as sentenas abaixo quanto a sua veracidade ou falsidade justificando devidamente cada resposta dada.
a) (5 + 4 = 9 2 4),
b) (3 + 2 = 6 2 + 2 = 4),
c) (5 + 3 = 7 4 + 4 = 7),
d) (4 + 3 = 7 2 + 3 = 4),
e) (2 + 3 = 5 2 + 2 = 4),
f) (3 + 3 = 5 32 33),
g) (2 + 4 = 7 2 + 2 = 5),
h) (3 + 2 = 5 2 + 2 = 5),
i) (6 + 2 = 8 6 8),
j) (3 + 3 = 5 2 + 2 = 3),
k) (2 + 2 = 3 2 + 2 = 4),
l) (3 + 4 = 6 3 + 3 = 7),
m) (3 2 4 3),
n) (32 33 4 + 5 = 8),
o) (2 3 (2 + 2 = 4 7 + 2 = 9)), l) ((3 4 4 3) 3 + 3 = 7).
A seguir apresentamos algumas leituras que a negao, conjuno,
disjuno, implicao e bi-implicao podem ter na linguagem natural.
(A)
(A B)
(A B)
(A B)
No A;
No se d que A;
No fato que A;
No verdade que A;
No que A;
No se tem A.
A e B;
A, mas B;
A, embora B;
A, assim como B;
A e, alm disso, B;
Tanto A como B;
A e tambm B;
No s A, mas tambm B;
A, apesar de B.
A ou B ou ambos.
se A, ento B;
se A, isto significa que B;
tendo-se A, ento B;
quando A, ento B;
sempre que A, B;
B, sempre que se tenha A;
B, contanto que A;
A condio suficiente para B;
B condio necessria para A;
Uma condio suficiente para B A;
Uma condio necessria para A B;
B, se A;
35
B, quando A;
B, no caso de A;
A, s se B;
A, somente quando B;
A, s no caso de B;
A implica B,
A acarreta B,
B implicada por A.
(A B)
A se e s se B;
A se e somente se B;
A quando e somente quando B;
A eqivale a B;
Uma condio necessria e suficiente
para A B;
A condio necessria e suficiente
para B
36
37
38
D Ela jovem
E Ela gosta de mim
F Quero casar com ela
a) Ela pobre
b) Ela rica ou jovem
c) Ela inteligente e anci
d) No que ela burra
e) Se ela rica, ento quero casar com ela
f) Ela inteligente, bonita, rica, jovem e ela gosta de mim
g) Quero casar com ela, mas ela no gosta de mim
h) Uma condio necessria para casar com ela que ela seja bonita
i) Uma condio suficiente para casar com ela que ela seja rica
j) Ela feia, burra, pobre, anci, mas quero casar com ela
k) Quero casar com ela s se ela gosta de mim
l) Se ela jovem ento ela bonita
m) Uma condio necessria e suficiente para casar com ela que ela
goste de mim
n) Quero casar com ela, exceto se ela burra
2.6 - Frmulas atmicas e frmulas
Como observamos no incio deste captulo, atravs dos conectivos
lgicos , , , e , podemos construir sentenas mais complexas a
partir de outras sentenas mais simples. Este procedimento clarificado
pela seguinte regra de formao de sentenas:
Partimos de certas sentenas denominadas frmulas atmicas1 : p,
q, r, ... Elas desempenham, intuitivamente, o papel de sentenas bsicas ou
atmicas da linguagem proposicional.
As sentenas (que daqui em diante recebero o nome de frmulas)
em geral so obtidas pela seguinte definio indutiva generalizada:
1. Todas as frmulas atmicas so frmulas.
2. Se A e B so frmulas, ento
(A),
(A B),
(A B),
(A B) e
(A B)
so tambm frmulas.
3. Uma dada expresso constitui uma frmula se e somente se foi obtida pela
aplicao de uma das regras (1 ou 2) acima.
Observe-se que os smbolos A e B introduzidos na definio anterior
(item 2) se tratam de variveis que denotam sentenas quaisquer da linguagem
proposicional. O leitor deve estar atento para o fato de que tais smbolos no
so propriamente smbolos da linguagem em apreo, mas sim smbolos que
esto fora da linguagem proposicional. Tais variveis denominam-se,
costumeiramente, meta-variveis.
39
(A)
(A B)
(B C)
(C D)
(D D)
((A (B C))
((A))
((C D) (B C))
...
((D D))
40
41
Observaes:
1. Chamamos a estrutura acima de rvore binria, pois cada n pode ter zero,
um ou no mximo dois filhos.
2. Podemos tambm classificar os ns como sucessores e ancestrais, por
exemplo:
A
3. Se S uma frmula do tipo e, ento ela composta por duas frmulas A e
B de tal modo que S = (A B), logo teremos (A B).
A
B
4. Se S uma frmula do tipo ou, ento ela composta por duas frmulas A
e B de tal modo que S = (A B), da teremos (A B)
A
B
5. Se S uma frmula do tipo implica, ento ela composta por duas frmulas A e B de tal modo que S dado por (A B), e teremos (A B)
A
B
6. Se S uma frmula do tipo bi-implica, ento ela composta por duas
frmulas A e B de tal modo que S dado por (A B), e teremos
42
(A B)
A
B
Cada n representa uma frmula, em particular, cada n gera uma
sub-rvore, isto , cada n pode ser considerada uma raiz de uma rvore
menor que tem como ns os sucessores do respectivo n raiz.
A construo de uma rvore de subfrmulas a partir de uma frmula dada, termina quando todas as folhas contiverem somente letras
proposicionais.
muito importante o leitor ter em mente que uma frmula definida
passo a passo e nica a sua construo. Assim, por exemplo, podemos
dizer qual conectivo foi aplicado inicialmente, o segundo, etc., at chegarmos ao ltimo. Desse modo, possvel decompor uma frmula exibindo
todas as suas frmulas que o compe. Como este tema relevante, convm
familiarizarmos mais de perto.
Analisemos a frmula:
1) [A (B C)]
Podemos verificar sem dificuldade que ela foi obtida das frmulas A
e (B C) pela aplicao do conectivo . Portanto, este foi o ltimo
conectivo que foi aplicado frmula [A (B C)]. Esquematizamos isso
assim:
[A (B C)]
A
(B C)
(B C)
B
43
44
Analisemos separadamente:
(1) [(B) ((A))] foi obtida de (B) e ((A)) pela aplicao do conectivo
. Logo, foi o ltimo conectivo aplicado na frmula anterior.
(B) foi obtida de B pela aplicao do conectivo . Logo, foi o ltimo
conectivo aplicado na frmula anterior.
((A)) foi obtida de (A) pela aplicao do conectivo . Logo, foi o
ltimo conectivo aplicado na frmula anterior.
(A) foi obtida de A pela aplicao do conectivo . Logo, foi o ltimo
conectivo aplicado na frmula anterior.
(2) [((B C))] foi obtida de ((B C)) pela aplicao do conectivo .
Logo, foi o ltimo conectivo aplicado na frmula anterior.
((B C)) foi obtida de (B C) pela aplicao do conectivo . Logo, foi o
ltimo conectivo aplicado na frmula anterior.
(B C) por sua vez foi obtida das frmulas atmicas B e C. Logo, foi o
ltimo conectivo aplicado na frmula anterior.
A rvore de decomposio toma a forma:
{[[(B) ((A))] [((B C))]]}
[[(B) ((A))] [((B C))]]
[(B) ((A))]
[((B C))]
(B)
((A))
(A)
A
((B C))
(B C)
B
45
{[(A B) A] A}
[(A B) A]
(A B)
A
4) {A [C (A C)]}
Vemos 3 ocorrncias de conectivos: , , . O ltimo a primeira
ocorrncia de . O tipo desta frmula ento conjuno. Logo, a rvore de
decomposio fica:
{A [C (A C)]}
[C (A C)]
A
C
(A C)
A
[(E C) (A D)]
(A D)
C
(E C)
D
(A D)
C
46
3.
{[[[[(A B) B] A]]]}
Exemplo 1. (Frmulas e suas respectivas rvores de subfrmulas)
47
(B)
B
Aqui a rvore compe-se de dois ns, na raiz est a frmula (B), a
seguir vemos que a rvore decompe-se em uma parte, novamente a quebra
ocorre exatamente sobre o conectivo que determina o tipo da frmula, aplicada
na frmula atmica B. A frmula atmica a folha da rvore, os parnteses
mais externos de cada n abaixo da raiz so eliminados, e cada n representa
uma subfrmula da frmula dada.
7. Considere a frmula ((A) B) a sua rvore de formao :
((A) B)
(A)
A
Na raiz da rvore est a frmula ((A) B) e a rvore decomposta em
duas partes. A quebra ocorre exatamente sobre o conectivo que faz a
ligao das frmulas (A) e B. A frmula atmica r uma das folhas da
rvore, os parnteses mais externos de cada n abaixo da raiz so eliminados.
Uma das folhas da rvore acima contm (A), que no uma frmula atmica,
da a necessidade de continuarmos o processo de decomposio. Novamente
os parnteses mais externos do n filho de (A) so eliminados.
8. Considere a frmula (A (B)) teremos a seguinte rvore de
decomposio:
(A (B))
A
(B)
B
A
B
Na raiz da rvore est a frmula (A B) A), a rvore decomposta
em duas partes e a quebra ocorre exatamente sobre o conectivo que faz
a ligao das frmulas (A B) e A. A frmula atmica A uma das folhas da
rvore, os parnteses mais externos de cada n abaixo da raiz so eliminados.
Uma das folhas da rvore acima contm (A B), que no uma frmula
atmica, da a necessidade de continuarmos o processo de decomposio.
48
Novamente os parnteses mais externos dos ns filhos de (A B) so eliminados. Note que apesar da rvore apresentar cinco ns a frmula ((A B)
A) tem somente quatro subfrmulas distintas, entre si, basta ver que dois
ns contm a uma mesma frmula.
10. Considere a frmula ((A B) C) teremos a seguinte rvore de
decomposio:
((A B) C)
(A B)
(B A)
B
(B A)
B A
49
(A C)
A
(B A)
C B
(B D)
(C)
(A B)
((C))
(A B)
A
(C)
(B)
(A)
A
B
Exerccio 2. 1) Determine todas as subfrmulas de cada uma das
frmulas dadas a seguir, usando o conceito de rvore de decomposio.
1. ((A C) ((B C) ((A B) C))).
50
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
(( A (A B)) A)
((A (A B)) A)
((A (A B)) (A B))
(((A B) (A C)) (A (B C)))
((( A B)) ((A) (B)))
(((A B)) ((A) (B)))
[[A (B C)] [(A B) (A C)]]
[[A (B C)] [B (A C)]]
[(A B) (A B)]
[((A) B) (B A)]
2) Idem.
1. [((A B)) ((A B))]
2. [(A B) ((B) (A))]
3. [(A (B C))]
4. [(A B) (A C)]
5. [[(B) (A)] [(((B) A)) B]]
B) (
C)] (
A)]
6. [[(
2.8 - Tabela-verdade de uma frmula
Temos agora condies de construir a tabela-verdade de qualquer
frmula dada. Seja A uma frmula qualquer, considere o esquema a seguir.
P a sso s
Instrues
51
P a sso s
Instrues
Instrues
A tabela j est pronta para que a primeira coluna aps as atmicas seja
preenchvel olhando-se a tabela verdade da frmula da coluna.
Re p e te -s e o p ro c e s s o a c i ma , p o i s a ta b e la j d a s e q nc i a d e
preenchimento.
Vejamos vrios exemplos para que o leitor se familiarize com este conceito.
1.
((B C))
(B C)
B
2.
(B C)
((B C))
B
1
1
0
0
C
1
0
1
0
(B )
0
0
1
1
((B) C)
(B)
52
((B C))
0
0
1
0
(D (E))
3.
D
(E)
E
D
1
1
0
0
4.
E
1
0
1
0
D ()
0
1
1
1
( )
1
0
0
0
A ( )
1
0
1
1
(A (B A))
(B A)
A
1
1
0
0
5.
()
0
1
0
1
B
1
0
1
0
(A ((B A)))
((B A))
(B A)
B
53
(B A)
B
A
1
1
0
0
7.
B
1
0
1
0
(B A)
1
1
0
1
A
(A (B A)
1
1
1
1
((A B) A)
(A B)
B
A
1
1
0
0
B
1
0
1
0
(B A)
1
0
1
1
54
(B A)A )
1
1
0
0
((A B) A)
8.
(A B)
B
A
1
1
0
0
(A B)
1
0
0
1
B
1
0
1
0
((A B) A)
1
1
1
0
{A [(B) C]}
9.
A
[(B) C]
(B)
B
A
1
1
1
1
0
0
0
0
B
1
1
0
0
1
1
0
0
C
1
0
1
0
1
0
1
0
(B)
0
0
1
1
0
0
1
1
[(B) C]
0
0
1
0
0
0
1
0
55
{A [(B) C]}
0
0
1
0
1
1
1
1
{(A B) [B (B A)]}
10.
(A B)
A
[B (B A)]
B
(B A)
1
1
0
0
1
0
1
0
1
0
0
1
1
0
0
0
1
0
0
1
{[A (A)]}
11.
[A (A)]
A
(
A)
A
1
0
(A)
0
1
[A (A)]
0
0
12.
[(A B)]
[(A) (B)]
(A B)
(A)
(B)
56
{[A (A)]} A)
1
1
[(A) (B)]}
0
1
1
1
1
1
1
1
13.
[A (B C)]
[(A B) (A C)]
(B C)
C (B C)
1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
0
0
1
0
1
0
1
0
1
0
(A B)
A
[ ( )]
1
0
0
0
1
1
1
1
(A C)
B
(A B) (A C)
0
1
1
1
1
1
0
0
(A B)
(B A)
57
1
1
1
1
1
0
1
0
C
[(A B) (A C)]
1
1
1
1
1
1
1
0
1
1
1
1
1
1
1
0
(B A)
1
0
0
0
A B ( )
1 1
1
1 0
0
0 1
0
0 0
0
[(A B) (B A)])
1
1
1
1
(A A)
A
(B A)[(A B) B]
B
(A B)B
A
A
A B (A A) (B A) (
1 1
1
1
1 0
0
1
0 1
0
1
0 0
0
0
) [(A
1
1
1
0
1
0
1
1
1
1
1
1
((B A))
(B A)
58
1
0
1
1
A
1
1
0
0
B
1
0
1
0
(((A B)) A)
17)
((A B))
(A B)
A
A
1
1
0
0
18.
B
1
0
1
0
(((A B)) A)
((A B))
(A B)
59
A
1
1
0
0
B
1
0
1
0
((A C) (B C))
19.
(A C)
(B C)
C (A C) (B C)
1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
0
1
0
1
1
1
1
1
0
0
1
1
0
0
1
((A B) (G (A)))
20.
(A B)
(G (A))
(A)
60
((A C) (B C))
1
0
1
1
1
1
1
1
B G (A) (A B)
1
1
1
1
0
1
1
0
0
1
1
0
1
0
1
1
0
1
0
1
1
1
0
0
1
((A B) (G (A)))
1
1
1
1
0
1
1
0
0
0
21.
(A C)
((B C) (B C))
(B C)
A
1
1
1
1
0
0
0
0
(G (A)))
B
1
1
0
0
1
1
0
0
(B C)
C (A C) (B C) (B C) ((B C) (B C)) X
1
1
1
1
1
1
0
0
1
0
1
1
1
1
0
0
1
1
0
0
0
1
1
1
1
1
1
1
1
1
1
0
1
1
1
0
1
1
1
1
1
1
61
21.
(A B)
((C (B))
(B)
(D)
B
(B) (D) (A B) (C (B)) ((C (B)) (D))
C D
1
1
1
1
1
1
1
0
0
0
1
1
1
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
0
0
0
1
1
1
1
0
0
0
1
0
1
0
1
0
1
0
1
0
1
1
1
0
0
0
0
1
1
1
0
1
1
1
1
1
1
0
0
1
0
0
1
0
1
0
1
1
0
0
0
0
1
1
1
1
1
1
0
0
0 0
0
0
0
1
0
0
0
1
0
1
1
1
1
0
1
1
1
1
1
1
1
1
0
1
1
0
1
0
0
0
62
22.
(A (B C))
((A C) (A D))
(B C)
B C
(A C)
(A D)
1
1
1
1
1
1
1
0
0
1
1
1
0
0
0
0
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
1
0
0
1
1
1
1
1
1
1
0
0
1
1
0
0
1
1
1
1
1
0
0
0
0
1
1
1
0
0
1
1
1
1
1
1
0
1
1
1
0
1
1
1
1
0
1
1
1
0
1
1
1
1
0 0
0
0
0
1
0
0
0
1
0
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
0
0
0
63
64
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
[[(A B) (A (A))]]
[[(B) (C)] (A)]
[[A (B C)] [B (A C)]]
[[A (B C)] [(A B) (A C)]]
[[A (B C)] [B (A C)]]
[[(B) (A)] [((B) A) B]]
[[(B) (C)] (A)]
[[(A B) (A (A))]]
[[A (A)]]
[[A (B C)] [B (A C)]]
65
1. A Recproca da Inversa de (A B)
2. A Inversa da Contrapositiva de (A B)
3. A Contrapositiva da Inversa de (A B)
4. A Contrapositiva da Recproca de (A B)
5. A Recproca da Inversa de Se Antonio ganhar a causa, o assassino
ser libertado.
6. A Inversa da Contrapositiva de Se o time tiver coragem, vencer.
7. A Contrapositiva da Inversa de Se for um tringulo, ser um tringulo
equiltero.
8. A Contrapositiva da Recproca de Se o relgio estiver certo, estamos
atrasados.
10) Em cada uma das sentenas abaixo, determine se h condio necessria
para a outra
condio, se h condio suficiente para a outra condio, ou se ambas,
necessria e
suficiente.
1. Rita vir somente se no chover.
2. Quando Dorival a ver, ele vai avis-la.
3. O ar est quente somente quando o sol est brilhando.
4. Toda vez que o telefone toca, Nara corre para atend-lo.
11) Indiquemos por A, a sentena Alice mora aqui e por B, a sentena O
coelho feliz. Escrever em forma simblica as seguintes afirmaes:
1. Se Alice mora aqui, ento o coelho feliz.
2. Alice no mora aqui e o coelho infeliz.
3. necessrio que Alice se mude daqui para o coelho ser feliz.
4. Alice morar aqui suficiente para o coelho ser feliz.
5. Alice morar aqui necessrio para o coelho ser feliz.
6. O coelho no feliz, se Alice mora aqui.
7. Alice no mora mais aqui ou, ento, Alice mora aqui e o coelho feliz.
12) Em que casos as sentenas abaixo so falsas?
1. Se Scrates homem, Scrates mortal.
2. Se as regras existem, tm que ser cumpridas.
3. Se Pel no estava bem, no deveria ter jogado.
4. A rosa vermelha se e somente se o cravo branco.
5. A temperatura e a presso permanecem constantes se e somente se o
volume no se alterar.
13) Em cada uma das sentenas abaixo, determine qual a condio necessria
para a outra condio, e qual a condio suficiente para a outra condio,
ou ambas, necessria e suficiente.
1. Se Marieta se casar com Chico, ento ela gosta dele.
2. Gilberto vir, se no chover.
3. Quando ela est feliz, ela sorri, e quando ela sorri, ela est feliz.
4. Todo homem pode ler. (Considere poder ler como uma condio e ser
66
x2
f(x1, x2)
0
0
1
0
0
1
x2
x3
1
1
0
0
0
0
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
0
1
67
1.
(A B )
A
2.
B
A
(A B)
((A B) B)
0
0
1
0
0
0
1
1
((A (A)))
(A (A))
A
(A)
A
(A)
(A (A))
((A (A)))
68
3.
(A (B C))
((A B) (A C))
(B C)
A
B
(A B)
(A C)
A
(B C)
1
1
1
0
0
0
0
1
0
0
1
1
0
0
0
1
0
1
0
1
0
0
1
1
1
0
1
1
1
0
0
1
1
1
1
0
1
0
1
1
1
1
0
1
1
1
1
1
1
0
1
1
1
1
1
1
1
1
1
1
1
1
1
69
2)
1.
2.
3.
3)
4)
70
A1
A2
(A1 A2)
0
0
1
0
0
0
1
1
A2
(A1 A2)
A1
A ((A1 A2)
B (((E C) (C D)) (E D))
E (E C) (C D) (((E C) (C D))
1
1
1
0
0
0
0
1
0
0
1
1
0
0
1
1
1
1
0
1
0
1
1
1
1
0
1
0
1
0
0
0
0
0
0
1
0
0
0
0
0
0
1
1
1
1
1
1
1
71
2.
B)
A)]
Justificativa
B)
A)]
Justificativa
Falseamento
72
[(A
B)
A)]
Falseamento
4.
Tab.
[(A
B)
A)]
0
0
Justificativa
Falseamento
5.
Justificativa
Tab.
Tab.
[(A
B)
A)]
Justificativa
0
1
1
Falseamento
Tab.
Tab.
Principais tautologias.
A seguir listamos algumas das principais tautologias. Em muitas delas,
aplicamos a rvore de refutao e fizemos a verificao de que so tautologias.
Sejam A, B e C frmulas quaisquer:
73
Leis comutativas
1. ((A B) (B A))
Demonstrao. Como se trata do conectivo da bi-implicao, temos dois
casos:
1o caso:
((A
B)
(B
A))
0
1
0
0
0
0
2o caso:
((A
B)
(B
A))
1
0
0
B)
C))
(A
B))
C))
0
1
0
0
0
0
0
0
74
2o caso:
((A
B)
C)
C))
0
0
0
0
(B
C))
((
(A
C)))
1
0
0
0
(B
C))
((
(A
C)))
0
0
1
1
1
0
1
1
0
1
1
0
1
75
2o sub-caso.
(((A
(B
C ))
((
(A
C)))
0
0
1
0
1
1
1
0
1
1
1
1
3o sub-caso.
(((A
(B
C))
((
(A
C)))
0
0
1
1
1
1
1
1
1
1
((A
(A
(A
0
1
0
0
0
76
2o caso:
((A
(A
(A
0
0
1
1
1
(A
0
1
0
1
0
2o caso:
((A
A))
0
0
1
0
1
77
((A
A))
0
0
0
1
((A
A)))
0
1
1
1
0
((B
C)
(A
C)))
0
0
1
0
1
0
0
1
0
0
78
((
((B
C))
(A
C)
0
1
0
1
((
((
A)))
0
1
0
1
0
0
0
0
2o caso:
((
((
A)))
0
0
1
1
0
0
0
0
79
Leis de absoro
21.(( A (A B)) A)
22. ((A (A B)) A)
23. ((A (A B)) (A B))
24. (((A B) (A C)) (A (B C)))
Leis de De Morgan
25.((( A B)) ((A) (B)))
26. (((A B)) ((A) (B)))
Prova por casos
27.(((( A B) (A C)) (B C)) C)
Prova por contradio
28. ((((A) B) (B)) A)
29. ((A (A)) (A))
30. (((A) A) A)
31. (((A (B)) (C (C))) (A B))
32. (((A (B)) (A)) (A B))
33. (((A (B)) B) (A B))
Lei do destacamento
34.((( A (A B)) B)
Modus tollendo tollens
35. (((B) (A B)) (A))
Modus tollendo Ponens
36. (((A) (A B)) B)
Leis de simplificao
37. ((A B) A)
38. ((A B) B)
Leis de adio.
39.(A (A B))
40. (B (A B))
Lei de equivalncia para a implicao e disjuno
41. ((A B) ((A) B))
Lei de negao para a implicao
42. (((A B)) (A (B)))
Leis para proposies bicondicionais
43. ((A B) ((A B) (B A)))
44. ((A B) ((A B) ((A) (B))))
80
Lei de Peirce
45. (((A B) A) A)
Esquema B
46. (A (B A))
Esquema C
47. ((A (B C)) ((A B) (A C)))
Lei da identidade
48. (A A)
Exerccio 1. Completar as verificaes que so tautologias, pelo
uso da rvore de refutao.
Exerccio 2. Demonstrar, pelo mtodo da rvore de refutao, se as
seguintes frmulas so tautologias. Caso contrrio, explicite os valoresverdade das sentenas atmicas, para as quais a frmula falsa.
1. {[B (B)]}
2. {[A (B C)] [(A B) C)]}
3. {[(A) (B)] [(A B)]}
4. [A (A)]
5. {[(C) (B)] (A)}
6. {[(A B) (A (C))]}
7. {[(A B) C)] [A (B C)]}
8. {[(C) C]}
9. {[(B A)] [(A) (B)]}
10. [B (B)]
11. {[A (B)]}
12. {[(A B) (A (C))]}
13. {[(C) (A)] (B)}
14. {[(A B)] [(A) (B)]}
15. {[(A B) C)] [A (B C)]}
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
Exerccio 3. Idem.
{[B (B)]}
{[A (B)]}
{[(A) (B)] (C)}
{[A (C)]}
{[(A C) (A (B))]}
{[(A B)] [(A) (B)]}
{[(A B) (A C)] (A C)}
{(A B) [(B C) (A C)]}
{[C (B)]}
{[(C) (B)] (C)}
{[[B (C)]] B}
{[(A C) (A (B))]}
81
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
Exerccio 4. Idem.
{(C B) [(B A) (C A)]}
{[(B C) (C A)] ( B A)}
{[(A) (B)] [(A B)]}
{[[A (C)]] A}
{[(D C) (D (B))]}
{[B (A)]}
{[(C) (A)] (C)}
[(A (A)) B]
[(A (A)) (B)]
[(A (A)) B]
[(A (A)) B]
[(A (A)) (B)]
[A ((A))]
{((A) (A B)) B}
{(A B) [(B) (A)]}
[((A) ((A)))]
{[(A (A)) B] [B ((B))]}
Exerccio 5. D exemplos de tautologias na linguagem portuguesa.
2.11 - Contradies
Definio 1. Uma frmula A diz-se ser uma contradio se o valorverdade de A for sempre falso, quaisquer que sejam os valores-verdade de
suas frmulas atmicas componentes.
Logo, uma frmula A constitui uma contradio se e somente se sua
funo-verdade correspondente for a funo constante f 0.
Exemplo 1.
1. (A (A))
A
(A)
A
(A (A))
(A)
82
2.
((A B) (A))
(A B)
A
(A)
A
B
( )
((A B) (A))
()
0
0
1
0
0
0
1
1
0
0
((A
A)]
1
0
1
0
1
2. [(A (B A))]
83
(A
A))]
1
0
1
0
1
((A
((A
B))
A)))]
1
0
1
0
1
0
1
1
1
0
1
0
0
84
verdadeiras.
Vamos estudar algumas regras de inferncia.
1)
A, ( A B )
B
(A B)
A
B
ou
1. Premissa maior: (A B)
2. Premissa menor: A
3. Concluso: B
Exemplo 1. Vejamos alguns exemplos.
a) 1. Premissa maior: Se chove, ento o cu est encoberto.
2. Premissa menor: Chove
3. Concluso: O cu est encoberto.
b) 1. Premissa maior: Se trabalhas arduamente, ento recompensado de
algum modo.
2. Premissa menor: Trabalhas arduamente.
3. Concluso: s recompensado de alguma forma.
c) 1. Premissa maior: Se f : uma funo derivvel, ento f uma
funo contnua.
2. Premissa menor: f : uma funo derivvel.
3. Concluso: f uma funo contnua.
Observemos que na regra Modus Ponendo Ponens, as frmulas A
e B so arbitrrias. Ento ela nos permite outras aplicaes:
d) 1. Premissa maior: Se no faz frio, ento o lago no gelar.
2. Premissa menor: No faz frio
3. Concluso: O lago no gelar.
Se simbolizarmos por C Faz frio e por D O lago gelar, temos:
Outros exemplos:
1. {(A) B}
Premissa maior
85
2.
3.
(A)
B
Premissa menor
Concluso
(A B)
86
Premissa
Concluso
Premissa
Concluso
Premissa
Concluso
87
((A))
(A)
(A)
((A))
88
(A B) e A.
4) Modus Tollendo Tolens
Esta regra compe-se duas premissas e uma concluso.
A forma da regra se escreve como:
A,(A B)
B
Ou
(A B)
(B)
(A)
1. (A B)
2. (B)
3. (A)
Premissa
Premissa
Concluso
Premissa
Premissa
Concluso
89
(B)
(A)
0
0
5) Regra de Simplificao:
Esta regra composta de uma premissa e uma concluso.
5.1 1a forma.
(A B)
A
ou
1. Premissa: (A B)
2. Concluso: A
Exemplo 6. 1. Premissa: Joo estuda e Joo compenetrado
2. Concluso: Joo estuda
5.2 2a forma.
(A B)
B
ou
1. Premissa: (A B)
2. Concluso: B
Exemplo 7. 1. Premissa: Joo estuda e Joo compenetrado
2. Concluso: Joo compenetrado
6) Regra de Adjuno.
Esta regra compe-se de duas premissas e uma concluso.
6.1 1a forma.
A
B
(A B)
ou
1. Premissa: A
2. Premissa: B
3. Concluso: (A B)
90
91
Premissa: (A B)
Premissa: (B C)
Concluso: (A C)
92
93
12.3
(AB)
{[(A)(B)]}
12.4
(AB)
{[(A)(B)]}
12.5
[(A)(B)]
[ (AB)
12.6
[(A)(B)]
[ (AB)
12.7
{[(A)(B)]}
(AB)
12.8
{[(A)(B)]}
(AB)
94
95
96
2. ABC
(P2)
(P3)
(P4)
(P2)
(P1)
97
1.
2.
((B))
(A B)
1.
2.
3.
Exemplo 5. Exemplos.
(A B) est contida em [(A B) C]
[C (A)] est contida em {B [C (A)]}
{B (A)]} est contida em {B [C (A)]}
A est contida em (A)
1.
2.
3.
Exemplo 6. Contra-exemplos.
(A) no est contida em [(A B) C]
[C (B)] no est contida em {B [C (A)]}
A no est contida em {B [C (A)]}
98
(A B)
[(A) A]
{[D (A)] [B [C (A)]]}
{{[D (A)] [B [C (A)]]} [(D C) A]}
Pode-se provar um resultado que toda funo-verdade
determinada por uma frmula que contm somente ocorrncias dos
conectivos , ou . Na realidade, o resultado que vamos expor atravs de
exemplos, j fornece uma frmula na sua forma disjuntiva normal.
5.
6.
7.
8.
0
0
1
0
1
1
99
[(A) B]
(B)
(A)
1
1
0
0
0
0
0
0
1
1
0
0
1
0
1
0
1
0
[() ]
1
0
1
0
1
0
0
0
1
1
1
1
0
1
1
0
0
1
()
(A)
[() C]
1
1
0
0
1
1
0
0
1
1
1
1
100
1
1
1
1
1
1
0
0
0
0
0
0
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
0
0
0
1
0
0
0
1
0
0
0
0
1
0
101
S1
S2
0
0
1
0
0
1
0
0
1
0
1
0
S3
S3
0
0
1
0
0
0
0
0
1
0
0
1
S1
S2
S3
1
1
0
0
0
0
0
0
1
1
0
0
1
0
1
0
1
0
0
0
1
0
0
1
1
1
0
0
0
0
0
0
1
1
0
0
1
0
1
0
1
0
1
0
0
1
0
1
1
1
0
0
0
0
0
0
1
1
0
0
1
0
1
0
1
0
1
1
1
0
1
0
S1
1
1
1
1
1
1
0
0
0
0
0
0
0
0
1
1
0
0
0
0
1
1
1
1
0
0
0
0
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
0
0
0
1
0
0
0
0
0
0
0
1
1
1
1
1
1
1
0
0
0
0
0
0
0
0
1
1
0
0
0
0
1
1
1
1
0
0
0
0
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
0
1
0
0
0
0
0
1
0
0
102
S2
103
3.
Bn A.
C
B
104
(2) [((A)) A]
(MP) (Modus Ponens)
Observao. Note-se que os esquemas de axiomas acima abreviam
uma infinidade de frmulas (axiomas). Cada axioma de um esquema de axiomas
correspondente diz-se ser uma instanciao ou instncia daquele esquema
de axiomas. Os exemplos abaixo ilustram esse fato.
Exemplo 4.
A frmula A1 (A2 A1) um axioma, que por sua vez uma
instanciao (ou instncia) de (1).
b) Idem, em relao frmula A5 (A5 A5).
c) Idem, para a frmula (A1) (A10 (A1)).
d) Idem, para (A1 A2) ((A3 A1) (A1 A2)).
e) {[(A C) (C B)] (C B)} um axioma; uma instanciao (ou
instncia) de (2)
a)
105
O leitor deve prestar ateno ao duplo emprego das palavras teorema e demonstrao. claro que tais palavras j possuem significados tcnicos precisos, vistos no
texto. A palavra teorema do Teorema 1, entretanto, se refere a uma afirmao da
sintaxe da linguagem proposicional; , pois, em realidade, um meta-teorema; a palavra demonstrao que a acompanha constitui a demonstrao do meta-teorema
correspondente.
106
1.
2.
3.
Exemplo 9. A (B C) | B (A C).
Demonstrao:
A (B C)
[A (B C)] [(A B) (A C)]
[(A B) (A C)]
107
(hiptese)
(2)
(1, 2, MP)
4. B (A B)
5. B (A C).
exemplo anterior)
(1)
(4,
3,
108
109
1)
1.
2.
3.
4.
5.
6.
7.
8.
9.
Demonstrao:
B B
B
B (B B)
B B
(B B) ((B B) B)
(B B) B
B B
B
B | B
| B B
2) A (A B)
1. A
2. A
3. A (B A)
4. B A
5. A (B A)
6. B A
7. (B A) ((B A) B)
8. B
9. B B
10. B
11. A (A B)
3) (B A) (A B)
1. B A
2. A
3. A (B A)
4. B A
5. (B A) ((B A) B)
6. (B A) B
7. B
8. B B
9. B
10. (B A) (A B)
4) (A B) (B A)
1. A B
2. B
3. (A B) ((A B) A)
4. (A B) A
5. B (A B)
6. A B
7. A
8. (A B) (B A)
(hiptese)
(1)
(1, 2, MP)
(1)
(3, 4, MP)
(Teorema 1)
(5, 6, MP)
(Teorema da Deduo).
(hiptese)
(hiptese)
\(1)
(2, 3, MP)
(1)
(1, 5, MP)
(1)
(4, 6, 7, MP)
(2)
(8, 9, MP)
(Teorema da Deduo)
(hiptese)
(hiptese)
(1)
(2, 3, MP)
(4, 5, MP)
(5, 6, MP)
(2)
(7, 8, MP)
(Teorema da Deduo)
(hiptese)
(hiptese)
(2)
(1, 3, MP)
(1)
(2, 5, MP)
(4, 6, MP)
(Teorema da Deduo)
5) A (B (A B))
1. A
(hiptese)
110
2.
3.
4.
5.
6.
B
| A ((A B) B)
| ((A B) (B (A B))
| A (B (A B))
| (A B)
6) (A B) ((A B) B)
1. A B
2. A B
3. | (A B) (B A)
4. | B A
5. | B B
6. (B B) ((B B) B)
7. (B B) B
8. | B B
9. | B
10. B B
(2)
11. | B
(hiptese)
(lema 2, item 3)
(lema 3, item 4)
(3, 4, lema 2, item 1)
(1, 2, 5, MP)
(hiptese)
(hiptese)
(lema 2.8.3, item 4)
(1,2,MP)
(4, 2, lema 2, item 1) (1)
(1)
(5, 6, MP)
(Teorema 1)
(7, 8, MP)
(9, 10, MP)
(hiptese)
(hiptese)
(1)
(1, 3, MP)
(Teorema da Deduo)
3) B (C (A B))
1. B
2. C
3. B (A B)
4. A B
0 | B (C (A B))
(hiptese)
(hiptese)
(2)
(1, 3, MP)
(Teorema da Deduo)
4) (A B) A B
1. (A B)
(hiptese)
111
2.
3.
4.
5.
6.
7.
8.
9.
AAB
(A B) A
A
BAB
(A B) B
B
A (B (A B))
(A B)
0 | (A B) A B
(1)
(2, lema 2, item 4)
(1, 3, MP)
(2)
(5, lema 2, item 4)
(4.5, 4.6, MP)
(3)
(4, 7, 8, MP)
(Teorema da Deduo)
5) A (A B)
1. A
(hiptese)
2. ((A B) A) (((A B) A) (A B)) (1)
3. A ((A B) A)
(1)
4. (A B) A
(1, 3, MP)
5. (A B A) (A B)
(2, 4, MP)
6. (A B) A
(1)
7. (A B)
(5, 6, MP)
0 | A (A B)
(Teorema da Deduo)
6) B (A B)
1. B
(hiptese)
2. (A B B) ((A B B) (A B))
(1)
3. B (A B B)
(1)
4. A B B
(1, 3, MP)
5. (A B B) (A B)
(4, 2, MP)
6. A B B
(2)
7. (A B)
(5, 6,MP)
0 | B (A B)
(Teorema da Deduo)
7) A B (A B)
1. A B
(hiptese)
2. (A (A B)) ((B (A B)) ((A B) (A B)))
(3)
3. | A (A B)
(item 5 deste lema)
4. | B (A B)
(item 6 deste lema)
5. (A B)
(1, 2, 3, 4, MP)
0 | A B (A B)
(Teorema da Deduo)
8) (A B) (A B)
1. A B (A B)
2. (A B) (A B)
3. A B (A B)
4. A B (A B)
1).
112
A1
A1
A1
A1
A1
113
Porm, B A. Logo,
B1, ..., Bm | A.
Caso 2. A B C.
Notemos que a referida propriedade vlida para B e C (pois ambas
possuem nmero de ocorrncias de conectivos estritamente menor que n).
Assim,
B1, ..., Bm | B e
B1, ..., Bm | C.
Subcaso 2.1. B e C toma valor 1. Ento B B, C C e A A.
B1, ..., Bm | B e
B1, ..., Bm | C.
Pelo axioma (3) advm que | B (C (B C)).
Por conseguinte, pelo Teorema 3, temos
B1, ..., Bm | B C.
Porm, B C A. Logo,
B1, ..., Bm | A.
Subcaso 2.2.2. B toma o valor-verdade 0 e C toma o valor 1.
Ento B B, C C e A A.
B1, ..., Bm | B e
B1, ..., Bm | C.
Pelo Lema 4, item 1, advm que
| B (C (B C)). Da
B1, ..., Bm | (B C) (Teorema 3).
Porm, (B C) A. Logo,
B1, ..., Bm | A.
Subcaso 2.2.3. Para os caso em que B toma o valor 1 e C o
valor 0, e B e C tomam ambos valor 0, a demonstrao semelhante do caso
anterior.
Caso 2.3. A B C
Novamente, a propriedade vlida para B e C. Logo,
B1, ..., Bm | B e
B1, ..., Bm | C.
Subcaso 2.3.1. B e C toma valor 1. Logo, B B, C C e A A.
B1, ..., Bm | B e
B1, ..., Bm | C.
Pelo Lema 2.8.4, item 2, advm que
| B (C (B C)).
logo, pelo Teorema 3 , segue-se que
B1, ..., Bm | B C.
Porm, B C A. Portanto,
B1, ..., Bm | A.
Subcaso 2.3.2. quando B ou C toma valor 1, a demonstrao
anlogo do subcaso anterior.
Subcaso 2.3.3. B e C tomam valor 0. Logo, B B, C e A
A.
B1, ..., Bm | B e
114
B1, ..., Bm | C.
Pelo Lema 2, item 4, advm que
B, C | B C.
Pelo Lema 2, item 8, segue-se que
| (B C) (B C).
Combinando os resultados anteriores, temos
B1, ..., Bm | (B C).
Porm (B C) A. Logo,
B1, ..., Bm | A.
Caso 2.4. A B C
B e C possuem nmero de ocorrncias de conectivos estritamente
menores que n. Logo, a propriedade vlida para B e C.
B1, ..., Bm | B e
B1, ..., Bm | C.
Subcaso 2.4.1. B toma o valor 0. Logo , B B e A A.
B1, ..., Bm | B
Pelo Lema 3, item 2, advm que
| B (B C).
Logo, B1, ..., Bm | B C.
Porm, B C A. assim,
B1, ..., Bm | A.
Subcaso 2.4.2. B toma valor 1 e C toma valor 0. Ento B B, C
C e A A.
B1, ..., Bm | B e
B1, ..., Bm | C.
Pelo Lema 3, item 5, temos que
| B (C (B C)).
Logo, B1, ..., Bm | (B C).
Porm, (B C) A. assim,
B1, ..., Bm | A.
Subcaso 2.4.3. B e C tomam valor 1. Logo, B B, C C e A
A.
B1, ..., Bm | B
B1, ..., Bm | C.
Temos que C (B C) um axioma. Logo,
B1, ..., Bm | B C. Porm B C A. assim,
B1, ..., Bm | A.
E o teorema est demonstrado.
Exemplo 11. Suponhamos que a seja a frmula (A (B)):
(B)
(A (B))
115
(A (B))
Temos, ento:
1a linha: A, B | (A (B))
2a linha: A, B | (A (B))
3a linha: A, B | (A (B))
4a linha: A, B | (A (B)).
Exemplo 12. Suponhamos que a seja a frmula {A [(B) C]}
C
(B)
[(B) C]
{A [(B) C]}
1
1
Temos, ento:
1a linha: A, B, C | {A [(B) C]}
2a linha: A, B, C | {A [(B) C]}
3a linha: A, B, C | {A [(B) C]}
4a linha: A, B, C | {A [(B) C]}
5a linha: A, B, C | {A [(B) C]}
6a linha: A, B, C | {A [(B) C]}
7a linha: A, B, C | {A [(B) C]}
8a linha: A, B, C | {A [(B) C]}
Exerccio 1. Aplique o teorema anterior para obter todas as dedues
possveis:
1. {A [(B C) (A C)]}
2. {(B A) A}
3. {A [(B A) (A B)]}
4. [(B A) A]
Teorema 6. (Teorema da Correo). Se A um teorema de L, ento A
constitui uma tautologia de L.
Demonstrao: Notemos, inicialmente, que todos os axiomas de L
so tautologias. Se as premissas da regra de Modus Ponens so tautologias,
ento ao concluso tambm uma tautologia. Logo, todo teorema uma
tautologia.
A recproca do ltimo teorema tambm vlida, e conhecida como o
Teorema da Correo. Ela mostra-nos que o clculo proposicional completo.
Existem muitas demonstraes deste teorema; a que apresentamos abaixo
devida a L. Kalmr (1935).
Teorema 7. (Teorema da Completeza). Se A uma tautologia de L,
116
117
2 O CLCULO DE PREDICADOS
2.1 - Lgica e gramtica
No clculo proposicional estudamos o raciocnio proposicional. Porm, apesar de importante, ela no consegue expressar sentenas elementares importantes tais como da aritmtica elementar. No h meios de simbolizar substantivos comuns ou prprios, adjetivos, pronomes, verbos, ou advrbios.
Gostaramos de desenvolver uma linguagem formal que pudesse ser suficiente para expressar qualquer conjunto relevante de fatos sistemticos. Cuidaremos de cobrir algumas insuficincias da lgica proposicional, e para
isso construiremos uma nova linguagem, mais rica definindo dois novos
smbolos e novamente definindo frmula, deduo, etc. Abaixo citaremos
um exemplo daquilo que a lgica proposicional no conseguiria tratar. Poderamos explicitar pela lgica proposicional a diferena entre as duas sentenas a seguir?
A Todos so mortais.
B Algum bondoso.
Na lgica proposicional as duas sentenas acima seriam tratadas
como unidades, isto , no teramos como decompo-las em sentenas
menores ligadas pelos conectivos lgicos, da no poderamos falar da diferena entre estas duas sentenas na lgica proposicional.
O que passamos a ver agora como formar novas sentenas a partir
do tratamento de substantivos, adjetivos e predicados, mas antes faremos
uma breve recordao de leituras de algumas sentenas fazendo uso de
palavras como alguns, todos, existem, nem todos, no existem, etc. Tais
palavras do as sentenas uma nova abrangncia, por exemplo:
Existem cavalos com patas verdes.
A sentena acima diz que existem cavalos com a propriedade de as
1
Esta linguagem ser naturalmente mais rica, no sentido de podermos nos referir e tratar
explicitamente qualidades e relaes, introduzindo-se constantes individuais e variveis.
As constantes para fazer referncia aos objetos de que se trata, e variveis para nos
referirmos a objetos (de um conjunto determinado) no especificados.
2
119
patas serem verdes; a idia elaborar uma linguagem que trate de sentenas
como a do exemplo acima. Relembrando temos que as sentenas so constitudas, quase sempre, de dois termos, respectivamente
a ) o ser (de quem ou de que se diz algo - sujeito)
b ) aquilo que se diz (do ser - predicado).
Em cada uma das sentenas abaixo o sujeito esta sublinhado e o
restante da frase que no estiver sublinhado o predicado.
a ) Pedro um rapaz dedicado ao trabalho.
b ) 2 um nmero par.
c ) As flores so perfumadas.
d ) O homem um mamfero.
e ) O mundo redondo.
Apenas para termos um forma de representao, como foi feito no
primeiro captulo, adotaremos uma representao para os sujeitos e
predicados, esta representao ir ser reformulada de modo rigoroso logo
aps esta introduo intuitiva. Representaro os predicados as letras maisculas latinas em itlico: A, B, B, D, ... P, ..., e os sujeitos sero representados
por letras latinas minsculas em itlico: a, b, c, d, e, ..., p, q, ... . Para indicar
que um sujeito sofre a ao do predicado utilizaremos ama notao especfica, vejamos alguns exemplos:
1. R ser redondo.
t Terra.
para indicarmos por R(t) a sentena A Terra redonda.
2. M ser mamfero.
s Simba.
para indicarmos por M(s) a sentena Simba um mamfero.
3. P ser perfumado.
r rosa.
para indicarmos por P(r) a sentena A rosa perfumada.
4. N ser um nmero par.
q 4.
para indicarmos por N(q) a sentena Quatro um nmero par.
Vejamos um outro exemplo, no qual o universo do discurso o universo dos nmeros inteiros ..., -2, -1, 0, 1, 2, 3, ... :
Todo nmero inteiro par divisvel por 2
Numa simbolizao utilizando, variveis fica:
Para qualquer x, se x for um nmero inteiro par, x divisvel por 2.
120
121
122
Proposies
(x)(A(x))
Traduo
Existe um nmero natural divisvel por 2.
(x)(A(x))
(x)(A(x))
Traduo
($x)($y)(A(x, y)) Existem alguns nmeros naturais maiores que alguns nmeros naturais.
($x)("y)(A(x, y)) Existem alguns nmeros maiores que qualquer nmero natural.
("x)($y)(A(x, y)) Qualquer nmero natural maior que algum nmero natural.
("x)("y)(A(x, y)) Todo nmero natural maior que qualquer nmero natural.
($x)(B(x, 100)) Algum nmero natural maior que 100.
("x)(B(x, 100)) Todo nmero natural maior que 100.
Qualquer nmero natural no mai or que 100.ouNo exi ste nmero
("x)(B(x, 100))
natural maior que 100.
Traduo
(y)(z)(x)(A(x, y, z)) Dados dois pontos quaisquer, existe um ponto entre eles.
(y)(z)(x)(A(x, y, z))
Existem dois pontos tais que todo ponto est entre eles.
123
Proposies
Traduo
Traduo
(x)(A(x) B(x))
(x)(A(x) B(x))
(x)[A(x) (B(x))]
(x)[A(x) (B(x))]
Respectiva Traduo
1. Se todos os homens so mamferos e todos os mamferos so animais
ento todo homem animal.
No prximo tpico deste captulo, assim como fizemos na lgica
proposicional, daremos um tratamento formalizado da lgica
quantificacional, ou como mais conhecido, da lgica de predicados.
124
1.
2.
3.
4.
5.
6.
Exerccio 2. Idem.
Alguns animais so carnvoros.
Alguns animais no so carnvoros.
Todos os animais so carnvoros.
Nem todos os animais so carnvoros.
Nenhum animal carnvoro.
Simba um animal carnvoro.
1.
2.
3.
4.
5.
6.
7.
8.
Exerccio 3. Idem.
No existem insetos que voem.
Nem todos os insetos voam.
Todas as moscas voam.
Algumas moscas no voam.
No existem moscas que voam.
No existem moscas que no voam.
Nenhuma barata voa.
Nem toda barata no voa.
1.
2.
3.
4.
5.
6.
7.
Exerccio 4. Idem.
Romeu ama Julieta.
dipo ama Jocasta.
Todos amam Maria.
Maria no ama ningum
Romeu ama Maria e Romeu no ama Julieta.
Todos amam Romeu mas ele no ama ningum.
Jane ama Tarzan que tambm ama Jane.
1.
2.
3.
4.
5.
Exerccio 5. Idem.
Ana irm de Jos.
Maria irm de Ana.
Pedro pai de Ana.
Pedro pai de Maria e de Jos.
Ana irm de Jos e Maria irm de Ana ento Maria irm de Jos.
125
6.
7.
8.
9.
Exerccio 6. Idem.
Todo animal mortal.
Todo mamfero um animal.
Alguns mamferos no so animais.
Todo homem mamfero.
Alguns homens no so mamferos.
Nenhum homem animal
Nem todo homem mortal
Alguns homens so mortais.
Existem homens que so mamferos mas no so animais e portanto
so mortais.
10. No existem homens imortais.
11. Nenhum animal imortal.
1.
2.
3.
4.
5.
6.
7.
8.
9.
126
127
(p11(x1),
(atmica)
p23(c1, x4 , x2),
(atmica)
(atmica)
p23(c1, c4 , x2),
[p11(x1) p23(c1, x4 , x2)],
(1, 3, disjuno)
(x2)p23(c1, c4 , x2),
(instanciao de 4 por x2)
( x1)((x2)p23(c1, c4 , x2)),
(generalizao de 5 por x1)
{[p11(x1) p23(c1, x4 , x2)] ( x1)((x2)p23(c1, c4 , x2))} (4, 6,
implicao).
p23(c1, x4 , x2)
(x2)p23(c1, c4 , x2)
p23(c1, c4 , x2)
Sejam A p12(x, y), B p23(c1 ,c4 ,x2) e C p13(x1 , y1 , c1) frmulas atmicas.
So exemplos de frmulas:
2) ((A B) C).
1. A
2. B
3. C
4. (A B)
5. ((A B) C))
(atmica)
(atmica)
(atmica)
(1, 2, disjuno)
(4, 3, conjuno)
C
B
3) p33(x1 , y2 , z1)
128
129
130
(2)
(3)
(1)
(2)
[B (A B)]
{(A C) [(B C) [(A B) C]]}
{(A B) [[A (B)] (A)]}
[((A)) A]
A,(AB)
B
R2
(CA)
C( Ax) A)
R3
(AC )
((x) AC)
Regras derivadas.
As seguintes regras so sumamente importantes e teis:
Seja A uma frmula.
R4
De ( x)A podemos derivar ((x)(A)).
De ((x)(A)) podemos derivar ( x)A.
R5
R6
R7
R8
R9
131
R10
Sejam A e B frmulas.
R11
R12
R13
R14
R15
R17
R18
R19
R20
R21
R20
R21
132
133
yAx[y] A
Ax.12.
yAx[y] xA
1, R2.
C Ax[y]
Premissa
y C yAx[y]
3, R2.
(yAx[y] xA)
[C ( yAx[y] xA)]
Ax.1.
6 C( yAx[y] xA)
2, 5, R1.
7 (C yAx[y])([C
( yAx[y] xA)](C xA)
Ax.2.
8 y [C ( yAx[y]
xA)] (C xA)
4, 7, R1.
9 y C xA.
6, 8, R1.
1
2
3
4
5
Dependncia
{3}
{3}
{3}
{3}
yAx[y] A
Ax.12.
yAx[y]
xA
1, R2.
C Ax[y]
Premissa
134
{3}
O passo da deduo contida na linha 3 nada mais do que a premissa, na coluna de Dependncia encontramos {3}, isto pois, se a frmula
da linha 3 for uma premissa repetiremos o nmero da linha em que esta se
encontra.
4
C yAx[y]
3, R2.
{3}
Ax.1.
C yAx[y] xA)
2, 5, R1.
Modus Ponens
7
Ax.2.
4, 7, R1.
C xA.
6, 8, R1.
{3}
135
Deduo
, P PQ
, P P
, P Q
, P QR
, P R
, P PR
Justificativa Dependncia
premissa
{1}
premissa
{2}
2, 5, R1.
{1, 2}
premissa
{4}
2, 5, R1.
{1, 2, 4}
5, T.D.
{1, 4}
136
Deduo
1 C Ax[y]
yAx[y] A
2 2 C Ax[y]
yAx[y] xA
3 (C Ax[y]) [ yAx[y] xA]
Justificativa Dependncia
Ax.12.
1, R2.
2 , T.D.
-
1
2
3
Deduo
CA CA
C A C xA
(C A) [C xA]
Justificativa
Premissa
1, R2.
2 , T.D.
Dependncia
{1}
{1}
-
B.
Deduo
A, A B
A, A B
A, A B
A
AB
B
Justificativa
premissa
premissa
1, 2, R1.
Dependncia
{1}
{2}
{1, 2}
D2) A, B A B.
1
2
3
4
Deduo
A, B A (B (A B))
A, B A
A, B B (A B)
A, B B
Justificativa Dependncia
Ax.3.
premissa
{2}
1, 2, R1.
{2}
premissa
{4}
137
D3) A B
1
2
3
AB
A, B
3, 4, R1.
{2, 4}
A.
Deduo
A B (A B) A
AB AB
AB A
Justificativa
Ax.4.
premissa
1, 2, R1.
Dependncia
{2}
{2}
D4) A B B.
1
2
3
Deduo
A B (A B) B
AB AB
AB B
Justificativa
Ax.5.
premissa
1, 2, R1.
Dependncia
{2}
{2}
D5) A A B.
1
2
3
Deduo
A AAB
A A
A A B.
Justificativa
Ax.6.
premissa
1, 2, R1.
Dependncia
{2}
{2}
D6) A B A.
Anlogo ao D5).
D7) A A.
1
2
3
Deduo
A A A
A A
A A.
Justificativa
Ax.10.
premissa
1, 2, R1.
Dependncia
{2}
{2}
D8) Se , A C e , B C ento , A B C.
Deduo
1 , A C
2 AC
3 (A C) [(B C)
(A B C)]
4 (B C) (A B C)
5 , B C
6 BC
7 A B C
8 , A B A B C
Justificativa
hiptese
1, T.D.
Ax.8.
2, 3, R1.
hiptese
5, T.D.
4, 6, R1.
7
138
Dependncia
-
9 , A B
10 , A B
AB
C
premissa
8, 9, R1.
{9}
{9}
D9) Se , A B e , A B ento A.
1
2
3
4
5
6
7
Deduo
, A B
AB
(A B) [(A B) A]
(A B) A
, A B
A B
A
Justificativa Dependncia
hiptese
1, T.D.
Ax.9.
2, 3, R1.
hiptese
5, T.D.
4, 6, R1.
-
Deduo
P P (D P)
P P
P D P.
P x D xP
P D
P x xP.
xP
Justificativa
Ax.1.
premissa
1, 2, R1.
3, R2.
um axioma
4, 5, R1.
Dependncia
{2}
{2}
{2}
{2}
Px[k].
Deduo
xP
xP Px[k].
xP
xP
xP
xPx[t].
D12) Px[t]
1
2
3
xP.
Justificativa
Ax.12.
premissa
1, 2, R1.
Dependncia
{2}
{2}
xP.
Deduo
Justificativa Dependncia
Px[t]
Px[t].premissa
{1}
Px[t]
Px[t]xP Ax.11.
Px[t] xP. 1, 2, R1.
{1}
Convidamos o leitor a encontrar as seguintes dedues:
D13) PQ
D14) PQ
xP xQ.
xPxQ.
139
2.4 - Semntica
At agora estudamos o que se chama sintaxe da linguagem (de
predicados). Ela um puro jogo simblico. Entretanto, toda linguagem se
refere a objetos ou estados de coisas. A semntica da linguagem trata
precisamente das interconexes entre a mesma e aquilo a que ela
se refere. Este por sua vez so certos contrutos conjuntistas que o
denominamos estruturas. Tais estruturas podem refletir certos aspectos
relevantes de pores da realidade. Uma esquematizao simplificada como
abaixo:
Modelos
(abstratos)
Linguagem
Artificiais
Poro da
Realidade
140
1.
2.
3.
4.
5.
6.
3
141
[B (A B)]
{(A C) [(B C) [(A B) C]]}
{(A B) [[A (B)] (A)]}
[((A)) A]
Ax [t]xA
xAAx[t]
Passemos questo da completeza do clculo de predicados. Esta
questo consiste em analisar se uma frmula A conseqncia semntica de
, ento h uma deduo de A a partir de . A resposta afirmativa e
conhecida como teorema da completeza do clculo de predicados.
7.
8.
9.
10.
11.
12.
{A}.
Definio 7 (Satisfao). Diz-se que uma estrutura E satisfaz um
conjunto de frmulas se for modelo do mesmo. E diz-se um modelo de se
V(A) = 1, para todo A . Em particular, E satisfaz um frmula A se for
modelo de A.
Teorema 5 (Compacidade). Um conjunto de frmulas consistente
142
143
4.
5.
6.
7.
8.
A B A ou B
Para toda frmula A, A ou (A)
Se A e (A B) , ento B
xA todo termo t -satisfaz A(x)
xA algum termo t -satisfaz A(x)
Sobre os conceitos da teoria intuitiva dos conjuntos recomendamos a obra [Abe &
Papavero 92].
144
A, ento
A.
145
3 ALGUNS ASPECTOS DE
PROGRAMAO EM
LGICA E PROLOG
3.1 - Introduo
A lgica, desde Aristteles, sempre esteve ligada ao pensamento
cientfico. Ela constitui a base para deduzir conseqncias a partir de certas
premissas; para estudar a validade ou a falsidade de sentenas dada a validade ou a falsidade de outras sentenas; para verificar a validade de argumentaes; e para estabelecer a consistncia de um conjunto de sentenas.
J os computadores surgiram na histria h muito pouco tempo, ao
compar-los com a lgica. Quase todos os computadores de hoje em dia so
baseados no modelo (ou mquina) de von Neumann que surgiu na dcada
de 40. Esta mquina uma concretizao da mquina (ideal) de Alain Turing.
A mquina proposta por von Neumann constituda por um grande conjunto de clulas de memria e uma unidade de processamento com algumas
clulas de memria locais chamadas registradores.
147
148
149
150
2. q2 (x,y).
3. me(y,x).
4. q3 (x,y,z).
Podemos dizer que uma frmula atmica uma literal positiva.
Portanto, os exemplos dados acima, alm de serem exemplos de frmulas
atmicas, tambm so exemplos de literais positivas.
A negao de uma frmula atmica dita literal negativa. Como
exemplos de literais negativas, podemos citar:
Exemplos:
1. q4 (x,y).
2. tio(y,x).
3. q5 (x,y,z).
4. av(x,y).
Em programao em lgica, podemos escrever uma implicao do
tipo:
AB
de maneira inversa, ou seja,
BA
151
Observao:
Os predicados acima se referem a pessoas e so definidos da
seguinte maneira:
namorados(x,y) x e y namoram;
tringulo(x,y,z) x, y, z formam um tringulo amoroso..
4. x ( ( perto-da-praia(x) grande(x) ) casa-boa(x) ).
Escrita de maneira inversa: x (casa-boa(x)(perto-da-praia(x)
grande(x) )).
Cabea: casa-boa(x).
Corpo: perto-da-praia(x) grande(x).
Observao:
Os predicados acima se referem a casas e so definidos da seguinte
maneira:
perto-da-praia(x) x uma casa localizada perto da praia.;
grande(x) x uma casa grande.;
casa-boa(x) x uma boa casa para morar..
5. x y z ( ( pai(x,y) irmos(x,z) ) tio(z,x) ).
Escrita de maneira inversa: x y z (tio(z,x) ( pai(x,y)
irmos(x,z) )).
Cabea: tio(z,x).
Corpo: pai(x,y) irmos(x,z).
Observao:
Os predicados acima se referem a pessoas e so definidos da
seguinte maneira:
pai(x,y) x pai de y.;
irmos(x,z) x e z so irmos.;
tio(z,x) z tio de x.
No decorrer do texto, utilizaremos, basicamente, duas regras de
inferncia que vimos no clculo de predicados de primeira ordem. So elas a
regra de modus ponens e a regra de particularizao. Alm disso, em alguns
momentos, utilizaremos a contrapositiva de uma implicao confome vista
no clculo proposicional e de predicados. Eis aqui alguns exemplos de
contrapositivas de implicaes:
1. x ( q(x) p(x) ) cuja contrapositiva :
x ( p(x) q(x) ).
Escrevendo a clusula de maneira inversa, teramos:
x ( p(x) q(x) ) cuja contrapositiva :
x ( q(x) p(x) ).
2. x y z ( ( p4 (x,y,z) q(x) ) ( q4 (x,y) q3 (z) ) ) cuja contrapositiva :
x y z ( ( q4 (x,y) q3 (z) ) ( p4(x,y,z) q(x) ) ).
Escrevendo a clusula de maneira inversa, teramos:
152
(1)
153
(6)
154
(corpo vazio)
155
156
157
do ingls goal clause A palavra goal podde ser traduzida tambm como meta
porm preferimos a palavra gol por ser mais familiar
158
159
160
c)
d)
e)
f)
g)
161
162
163
164
Modus ponens;
Particularizao.
Ok! Agora, consideremos algumas consultas a P1. Para computar gols, vamos
utilizar o mtodo descrito acima.
Consulta 1 - F p(a).
Passo 1: Teoria T1 j foi construda;
Passo 2: Podemos construir a clusula gol F p(a). Lembremos que a
clusula gol F a negao de F e, portanto, F p(a);
Passo 3: Vamos assumir que F verdadeira em T1. Notemos que F por si
mesma j contradiz (A1). Portanto, F implica em uma contradio em T1;
Passo 4: Ento F teorema em T1 que o mesmo que dizer que F foi deduzida
a partir de P1.
Consulta 2 - F q(a).
Passo 1: Teoria T1 j foi construda;
Passo 2: Podemos construir a clusula gol F q(a) que significa q(a);
Passo 3: Vamos assumir que F verdadeira em T1. Observamos (A1) e (A2) e
no podemos utiliz-los para q(a) (o bom seria que ou (A1) ou (A2) fosse um
axioma do tipo q(a) e a j teramos uma contradio!) porm podemos utilizar
o (A3) com particularizao. Temos que:
q(a) p(a).
Utilizando a regra de modus ponens, temos:
q(a).
q(a) p(a).
p(a).
Notemos que p(a) o mesmo que p(a) que uma nova clusula
gol. De posse da nova clusula gol, damos uma nova olhada nos axiomas.
Ao observamos os axiomas de T1, vemos que p(a) contradiz o axioma (A2).
Portanto, F implica em uma contradio em P 1;
Passo 4: Ento, F teorema em T1 que o mesmo que dizer que F foi deduzida
a partir de P1.
Consulta 3 - F p(b).
Passo 1: Teoria T1 j foi construda;
Passo 2: Podemos construir a clusula gol F p(b) que significa p(b);
Passo 3: Vamos assumir que F verdadeira em T1. Olhando para os axiomas
(A1) e (A2) concluimos que no podemos utiliz-los para chegar a lugar
algum com p(b). Olhando para o axioma (A3) conclumos que tambm no
165
podemos utiliz-lo;
Passo 4: Concluimos que F no um teorema de T1 e, portanto, F no pode
ser deduzida de P1.
Vamos dar uma olhada no programa P2 do Exemplo 2 o qual transcreveremos:
Exemplo 2) - Programa P2.
p(a,b).
q(a,b).
r(x,y) p(x,y).
s(x,y) q(y,x).
Construindo a teoria T2 associada ao Programa P2 (Passo 1), temos:
Teoria T2.
Axiomas:
(A1) p(a,b)
(A2) q(a,b)
(A3) x y (r(x,y) p(x,y) )
(A4).x y (s(x,y) q(y,x) )
Regras de inferncia:
Modus ponens;
Particularizao.
Consideremos algumas consultas a P2.
Consulta 1 - F r(a,b).
Passo 1: Teoria T2 j construda;
Passo 2: Considere a clusula gol F r(a,b) que significa r(a,b);
Passo 3: Vamos assumir que F verdadeira em T2. Ao olharmos para os
axiomas de T2 notemos que o nico axioma que podemos utilizar o (A3).
Utilizando particularizao em (A3) podemos escrever:
r(a,b) p(a,b).
Utilizando a regra de modus ponens, temos:
r(a,b)
r(a,b) p(a,b)
p(a,b).
Notemos que p(a,b) uma nova clusula gol pois o mesmo que
p(a,b). De posse da nova clusula gol, damos uma nova olhada nos
axiomas. Podemos ver que a nova clusula gol j contradiz o axioma (A1).
Portanto F implica em uma contradio em T2;
Passo 4: Portanto, F um teorema em T 2 que o mesmo que dizer que F foi
166
167
a, temos:
p(a) p(a)
e aplicando modus ponens, temos:
p(a).
Ah! Obtivemos p(a) que exatamente a clusula gol inicial. Sem
problemas! Continuemos a tentar obter uma contradio: devemos dar uma
nova olhada nos axiomas e verificar se podemos utilizar algum deles.
Suponhamos que tenhamos escolhido o axioma (A1) novamente (nem vimos
o axioma (A2)!). Vamos obter p(a) novamente! Notemos que se insistirmos
em utilizar (A1), no pararemos a computao.
Note que podemos adotar certas estratgias para efetuarmos
computao de gols. Vejamos que utilizar o primeiro axioma que aparece na
lista de axiomas pode ser um mau negcio como vimos no exemplo acima:
mesmo existindo o axioma (A2) que j resolveria o problema, insistimos em
utilizar o axioma (A1) que nos levaria a uma computao sem trmino.
Em termos gerais, as computaes de gol que fizemos aqui se
resumiram no seguinte (j supondo a teoria fornecida pelo programa):
1. comevamos com uma clusula gol (que na verdade era uma negao
que assumamos como verdade);
2. utilizvamos a regra de modus ponens;
3. utilizvamos a regra de particularizao que no fundo era a substituio
da varivel no axioma por uma constante da teoria fornecida pelo programa;
4. obtnhamos uma nova clusula gol que geralmente era originria da
aplicao de modus ponens.
Com isso em mente, podemos dizer que para uma computao (finita
ou infinita):
Temos uma seqncia C0,C1,... (finita ou infinita) dos axiomas da teoria
(fornecida pelo programa) que so usados. Notemos que um axioma pode
aparecer vrias vezes nesta seqncia, porm, podem estar particularizados
para constantes distintas;
Temos uma seqncia G0, G1,... (finita ou infinita) de clusulas gol que
vo sendo obtidas a partir das regras de inferncia;
Temos uma seqncia S0, S1,... (finita ou infinita) de substituies
decorrentes das particularizaes.
Na seo 4.6, apresentaremos um novo mtodo de computao de
gols chamado SLD-derivao. Este mtodo vai nos poupar o trabalho de
termos que escrever a teoria fornecida pelo programa e poderemos fazer
consultas a ele diretamente. Alm disso, um mtodo mais rpido e prtico.
No entanto, veremos que ao utilizarmos a SLD-derivao estaremos
implicitamente fazendo o mesmo servio de demonstrar teoremas em uma
168
169
170
Exerccios
5) Cada item abaixo contm um programa lgico. Para cada um deles, escreva a teoria finita associada e faa a computao das clusulas gol dadas.
a) Programa:
p(x)q(x).
q(a).
Consultas: p(a) , p(b) , p(c) , q(a) , q(b) , q(c).
b) Programa:
p(x)q(x,y),q(y,x).
q(x,y)r(x,y,z),r(x,z,y),q(y,z).
r(x,y,z)s(x,y).
r(x,y,z)r(y,x,z),s(y,z).
q(a,a).
q(b,b).
s(a,b).
p(b).
Consultas: p(b) , s(b,a) , s(a,b) , r(a,b,c) , q(a,b) , r(b,a,c).
c) Programa:
p(x)p(y),q(x,y).
q(x,y)q(y,x).
q(a,b).
p(a).
Consultas: p(b) , p(a) , q(b,a) , q(a,b).
d) Programa:
p(x)p(x).
p(a).
q(a).
Consultas : p(a) , p(b) , q(a) , q(b).
e) Programa:
p(x,z)q(x,y,z), q(y,x,z).
q(a,b,e).
q(a,c,e).
q(b,a,e).
Consultas: p(a,c) , p(c,a) , q(a,b,e) , p(a,e) , p(e,a).
171
172
para que algum possa decidir se duas frmulas podem ser unificadas ou
no. Alm disso, se o algoritmo decidir que as duas frmulas podem ser
unificadas ele tambm fornece o unificador mais geral, ou seja, a melhor
particularizao possvel para o axioma utilizado na computao.
3.15 - Substituio
Uma substituio ? um conjunto finito da forma
{ v1/t1, v2/t2, ..., vn/tn }
e
cada vi uma varivel;
cada ti um termo distinto de vi;
as variveis v1,...,vn so distintas.
Cada elemento vi/ti chamado de ligao.
chamada de :
substituio base se ti so todos termos que no contm variveis;
substituio pura de variveis se os termos ti so todos variveis;
renomeao se os termos ti so todos variveis distintas.
substituio identidade quando o conjunto de ligaes for vazio.
Exemplos: (Substituies)
1. 1 = { x1/a , x2/x1 }.
2. 2 = { x2/b , y/x2 , z/x1 }.
3. 3 = { x/y , z/y }.
4. 4 = { x/a , y/b , z/x2 }.
5. 5 = { x3/x2 , x4/y2 , x5/x3 }.
6. 6 = { }.
4.16 - Instncia de uma substituio.
Seja = {v1/t1, ..., vn/tn} uma substituio e E uma expresso. Ento
a instncia de E por representada por E
a expresso obtida de E
substituindo simultaneamente cada ocorrncia da varivel vi em E pelo termo
ti ( i = 1,2,...,n ). Se E no contiver variveis, ento E chamada de instncia
base de E.
Exemplos:
1. Considere a expresso E1 p(x,y) e a substituio 1 = { x/a , y/b }.
Temos que E11 p(a,b).
2. Considere a expresso E2 p(x,y) e a substituio 2 = { x/a }.
Temos que E22 p(a,y).
3. Considere a expresso E3 q2(x,y,z) q5(x,y) e a substituio 3 = { x/y , y/
173
z , z/x }.
Temos que E33 q2(y,z,x) q5(y,z).
4. Considere a expresso E4 p(x,y) p5(y,z,x,z2) e a substituio 4 = { x/a ,
y/x , z/b , z2/y}.
Temos que E44 p(a,x) p5(x,b,a,y).
3.17 - Composio de substituies
Considere duas substituies = {u1/s1, ..., um/sm} e ={v1/t1, ...,
vn/tn}. A composio de e a substituio obtida pelo conjunto:
{u1/s1, ..., um/sm, v1/t1,..., vn/tn}
de onde devemos retirar as eventuais ligaes do tipo:
ui/si para as quais ui si e
vj/tj para as quais vj { u1, ..., um }.
Exemplos: (Composio de substituies)
1. Considere as substituies 1 = { x/y , z/x2} e 2 = { y/c , x2/d }.
Temos que 1 2 = { x/y2 , z/x22 , y/c , x2/d } = { x/c , z/d , y/c , x2/d }.
2. Considere as substituies 3 = { x2/z2 , y2/y3 , z3/x1 } e 4 = { y3/b , z2/x2 , y3/
y2 }.
Temos que 2? 34 = { x2/z24 , y2/y34 , z3/x14 , y3/b , z2/x2 , y3/y2 } =
= { x2/x2 , y2/b , z3/x1 , y3/b , z2/x2 , y3/y2 } =
= { y2/b , z3/x1 , y3/b , z2/x2 , y3/y2 } =
= { y2/b , z3/x1 , y3/b , z2/x2 }.
3. Considere as substituies 5 = { x/y } e 6 = { y/b , z/d }.
Temos que 3 56 = { x/y6 , y/b , z/d } = { x/b , y/b , z/d }.
3.18 - Variante
Consideremos duas expresses E e F. Dizemos que E e F so
variantes se existirem substituies e tais que E F e F E. Tambm
dizemos que E variante de F ou F variante de E.
Exemplos:
1. Considere as expresses E q(x,y,a) e F q(z,y2,a). E e F so variantes pois
dadas as substituies:
= { z/x , y2/y } e ?= { x/z , y/y2 }
temos que F E e E F.
2. Considere as expresses E p(x1,x2,x3,b) e F p(x3,x1,x2,b). E e F so
variantes pois dadas as substituies:
174
175
temos:
E p(x,w) q(w,z) e F? p(z,w) q(w,z).
Notemos que E F e, portanto, um unificador de E e F.
Considere as expresses E p2(x,y,z) e F p2(x2,y2,z2) e a substituio = {
x/x2 , y2/y , z/z2}. Aplicando a substituio em E e F, temos:
E p2(x2,y,z2) e F p2(x2,y,z2).
Notemos que E F e, portanto, um unificador de E e F.
3.22 - Unificador mais geral - u.m.g.
Considere duas expresses A e B e um unificador de A e B.
Dizemos que um unificador mais geral (umg) de A e B se for (uma
substituio) mais geral do que qualquer outro unificador de A e B.
Dadas duas expresses E e F, para efetivamente encontrarmos um
umg para elas (caso exista) devemos:
achar uma substituio tal que E F (unificador);
provar que para qualquer outra substituio , mais geral que
(umg).
Dependendo da substituio, o segundo item pode proporcionar
um certo trabalho! Para evitar isso, o prximo tpico apresenta o algoritmo
de unificao : um algoritmo determina se duas frmulas atmicas tm um
umg ou no. Em caso afirmativo, o algoritmo tambm fornece o umg das duas
frmulas atmicas. Este algoritmo no unifica expresses em geral uma vez
que o que nos importar unificar apenas pares de frmulas atmicas.
4.23 - Algoritmo de unificao
Aqui apresentamos um algoritmo que como entrada recebe um par
de frmulas atmicas A e B e diz se A e B tm um unificador mais geral ou no.
Se ele disser que A e B tm um umg, o algoritmo tambm o fornece.
Algoritmo de unificao
Entrada: par de frmulas atmicas (A , B).
Sada: no, se no for possvel obter um umg para A e B.
sim, se for possvel obter um umg para A e B alm do prprio umg
de A e B.
Passo 0 : se o smbolo de predicado de A for diferente do smbolo de
176
177
178
P = { (x,y) ; (y,y) }
e voltamos ao Passo 1.
Ao escolhermos o par (y,y) aplicaremos o Passo 4 novamente e
acabaremos por eliminar o par (y,y) de P. Portanto P fica:
P = { (x,y) }.
Assim, no poderemos mais aplicar nenhum dos 6 primeiros passos
e teremos o
Passo 7 : o algoritmo emite sim! e fornece o umg para A e B cuja nica
ligao x/y.
Exerccios Resolvidos.
10.1. Em cada item, dada a substituio ? e a expresso E, obtenha a instncia
E??
a) E p(x,y,z2 ) e = { x/y }.
b) E q(x,y) r(x,z) p(x,y,z) e = { x/a , y/b , z/x }.
c) E q4(x,y,z2) e = { x/c , y/d }.
d) E p(x,y,z) e = { }.
Resoluo:
a) Temos que substituir todas as ocorrncias de da varivel x pela varivel y
e teremos E p(y,y,z2).
b) Substituindo todas as ocorrncias da varivel x pela constante a, todas as
ocorrncias da varivel y pela constante b e todas as ocorrncias da varivel
z pela varivel y, teremos que: E q(a,b) r(a,x) p(a,b,x).
c) Substituindo todas as ocorrncias da varivel x pela constante c e todas
as ocorrncias da varivel y pela constante d termos: E q4 (c,d,z2).
d) Aqui temos que no possui nenhuma ligao pois a substituio
identidade. Temos que E p(x,y,z).
10.2. Em cada item sero dadas duas substituies e . Obtenha a
composio de e ?
a) = { x/a , y/b , z/x } e = { a/c};
b) = { y/b , z/x } e = { y/z};
c) = { x/y , z/y } e = { x/a , y/b};
d) = { x1/z , y/z } e = { z/c }.
Resoluo:
a) Temos que a composio = { x/a , y/ b , z/x , a/c } = { x/c , y/b , z/
c , a/c };
b) Temos que a composio = { y/b z/x y/z } = { y/b , z/x , y/z };
c) Temos que a composio = { x/y z/y x/a , y/b } = { x/b , z/b , y/b };
179
180
181
182
seja, q(a) no pode ser unificada nem com (1) (smbolo de predicado diferente) nem com (2) (smbolo de predicado o mesmo mas o argumento que
uma constante diferente). A nica clusula de programa que poder ser
unificada com q(a) a (3).
Podemos considerar que:
G p(a). e ento temos que A1 p(a);
C q(x) p(x) , A q(x) e B1 p(x);
{ x/a }.
Agora, aplicando o algoritmo acima para G e C, temos que:
Passo 1 : selecionamos A1 p(a) (s temos ele!);
Passo 2 : podemos unificar A1 e A atravs de { x/a } que um umg para
A1 e A;
Passo 3 : j que achamos um umg de A1 e A, podemos substituir A1 por B1
obtendo a clusula gol
G p(x);
Passo 4 : aplicar em G e obtemos:
G p(a).
que o resolvente de G q(a) e de C q(x) p(x).
2. Ainda com base no Programa P1, vamos considerar a clusula gol G
p(a). Observemos que G pode ser unificada com a clusula de programa (1)
de P1.
Podemos escrever o seguinte:
G p(a) e A1 p(a);
C p(a) , A p(a) e B1 pois o corpo de C vazio;
= { } que a substituio identidade.
Agora, aplicando o algoritmo para calcular resolventes, temos:
Passo 1 : selecionamos A1 p(a) (alis, s temos ele!);
Passo 2 : podemos unificar A1 e A atravs de que um umg para A1 e A;
Passo 3 : j que achamos um umg de A 1 e A, podemos substituir A1 por B1
obtendo a clusula gol
G ;
Passo 4 : aplicar em G e obtemos:
G .
183
184
185
G G0 p(a) e C
umg = {}
G1
G G0 q(a) e C
umg 1 ={ x/a}
G1 p(a).
q(x) p(x)
G G0 q(a) e C C0
186
q(x) p(x)
p(a)
p(a)
p(a)
umg 1 ={ x/a}
umg 2 ={}
G1 p(a) e
C1
G2
187
Jos
Fbio
Marcos
Snia
Ftima
Maria
Ana
Eduardo
Adriano
Cludia
(1)
(2)
188
Carlos
Mariana
Mrio
Paula
(3) homem(Eduardo).
4) homem(Carlos).
(5) homem(Marcos).
(6) homem(Adriano).
(7) homem(Mrio).
e
(8) mulher(Maria).
(9) mulher(Snia).
(10) mulher(Ana).
(11) mulher(Mariana).
(12) mulher(Ftima).
(13) mulher(Cludia).
(14) mulher(Paula).
Podemos definir os predicados:
pai(x,y) x pai de y
me(z,w) z me de w
e continuar a escrever:
(15) pai(Jos,Fbio).
(16) pai(Jos,Ana).
(17) pai(Jos,Carlos).
(18) pai(Fbio,Marcos)
(19) pai(Fbio,Ftima).
(20) pai(Eduardo,Adriano).
(21) pai(Eduardo,Cludia).
22)pai(Carlos,Mrio).
(23)pai(Carlos,Paula).
(24)me(Maria,Fbio).
(25)me(Maria,Ana).
(26)me(Maria,Carlos).
(27) me(Snia,Marcos).
(28) me(Snia,Ftima).
(29) me(Ana,Adriano)
(30) me(Ana,Cludia).
(31) me(Mariana, Mrio).
(32) me(Mariana,Paula).
189
irmos(x,y)pai(z,x),pai(z,y)
umg = { x/Mrio , y/Paula }
pai(Carlos,Mrio)
umg = { z/Carlos }
190
uma olhada na rvore, j podemos dizer que esta clusula gol no poder ser
refutada pois Marcos , na verdade, neto de Jos. Vejamos:
filho(Marcos,Jos)
filho(x,y) pai(y,x),homem(x)
umg = { x/Marcos , y/Jos }
pai(Jos,Marcos),homem(Marcos)
homem(Marcos).
umg = { }
pai(Jos,Marcos)
E a no conseguimos mais continuar a SLD-derivao. Notemos
que no obtivemos uma SLD-refutao da clusula gol G. Portanto, no
podemos deduzir filho(Marcos,Jos) a partir de P. Portanto, Marcos no
filho de Jos.
Qual seria uma maneira de definir o predicado tio(x,y) x tio de y
Uma das maneiras seria:
tio(x,y) pai(z,y),irmos(x,z) (36).
Considerando a clusula gol G tio(Carlos,Marcos), vamos tentar
obter uma SLD-refutao. Pela rvore de famlia, sabemos que Carlos tio de
Marcos.
tio(Carlos, Marcos)
Carlos , y/Marcos}
pai(z,Marcos),irmos(Carlos,z)
irmos(Carlos,Fbio)
pai(z,Carlos),pai(z,Fbio)
pai(Jos,Fabio)
tio(x,y) pai(z,y),irmos(x,z)
umg = { x/
pai(Fbio,Marcos).
umg = { z/Fbio}
irmos(x,y)pai(z,x),pai(z,y)
umg = { x/Carlos , y/Fbio }
pai(Jos,Carlos)
umg = { z/Jos}
pai(Jos,Fbio)
umg = { }
191
192
q(b) .
q(x) p(x).
Escrevendo P1 na notao de PROLOG, temos:
Programa P1 (notao de PROLOG).
p(a).
q(b).
q(X) :- p(X).
Observaes:
constantes so representadas por letras minsculas e as variveis, por
letras maisculas;
todas as clusulas de programa so finalizadas com . (ponto final);
no final.
clusulas de programa incondicionais no necessitam de
Apenas devemos escrever a(s) frmula(s) seguidas do ponto final;
o conectivo de implicao das clusulas de programa condicionais
representado por :- (dois pontos seguidos de um hfen).
As consultas so representadas por ?-p(a) (por exemplo) ao invs
de p(a).
Escrevendo o Programa P3 da sub-seo 4.4.1 na notao de
PROLOG, temos:
p(a,b).
q(b,c).
r(X,Z) :- p(X,Y),q(Y,Z).
E o Programa P4, fica:
p(X) :- p(X).
p(a).
q(c).
p(b).
Conforme vimos na seo 4.4, o programa P4 tem uma peculiaridade:
ao considerarmos a consulta ?-p(a) ou seja, tentar refutar o gol p(a),
tnhamos dois caminhos: j podamos unificar o gol p(a) com a clusula
p(a) diretamente e a j obteramos a clusula vazia. Alternativamente,
poderamos unificar o gol p(a) com a primeira clusula obtendo o mesmo
gol p(a) e acabaramos por ter uma computao sem trmino. Cabe a ns
escolher a clusula de programa que nos leve mais facilmente clusula
vazia. Tendo isso em mente, no escolheramos a primeira clusula para o gol
p(a) porm escolheramos a segunda clusula. Esse tipo de raciocnio que
fizemos se constituiu numa estratgia, ou seja, fizemos uma espcie de anlise
193
(1)
(2)
(3)
(4)
194
para a unificao obtendo, como resolvente, o mesmo gol p(a) e assim por
diante. Enquanto que ns, humanos j obtemos uma refutao para o gol
p(a), o PROLOG prosseguir a SLD-derivao sempre utilizando a clusula
(1) e no parar a computao. Neste caso de computao sem trmino, o
PROLOG no emite resposta alguma.
Este modo atravs do qual o PROLOG escolhe as clusulas para
unificao um tipo de estratgia determinstica que, grosso modo, um
mtodo precisamente definido de, no nosso caso, escolha de clusulas. J o
modo com ns, humanos, escolhemos uma clusula a ser unificada um tipo
de estratgia no-determinstica, ou seja, no existe uma regra ou um mtodo
precisamente definido para a escolha de clusulas de programa.
3.30 - Interpretador PROLOG
Para fazer com que o computador faa as SLD-derviaes para ns,
necessrio ter um interpretador PROLOG. Um interpretador um programa
que capaz de ler programas lgicos e, ao ser perguntado, consegue fazer a
SLD-derivao da clusula gol que foi perguntada. Um interpretador PROLOG
tradicional aps ser chamado, exibir o seguinte prompt :
?A partir desse prompt podemos pedir a ele que leia programas
lgicos e uma vez que j temos o programa carregado, podemos fazer
consultas. Por exemplo, suponhamos que j temos o Programa P1 (aquele
mesmo!) carregado pelo interpretador PROLOG. Podemos fazer as seguintes
consultas:
?- p(a).
yes.
?-p(c).
no.
Como carregar programas e outros detalhes tcnicos so coisas
especficas de cada interpretador PROLOG e deixamos o estudo destes
detalhes a cargo do leitor.
Estudo de caso: Alice, o Leo e o Unicrnio.
O problema que vamos estudar agora uma passagem do livro Alice
no pas das maravilhas de Lewis Carol. Poucas pessoas sabem que Lewis
Carol era um lgico. Se lermos o livro Alice no pas das maravilhas mais
atentamente perceberemos um certo contedo de lgica por trs do texto.
A passagem do texto a seguinte: Alice entra em uma floresta e perde
a noo dos dias da semana. O Leo e o Unicrnio eram duas das criaturas
195
que habitavam a floresta. Alice os encontra e deseja obter alguma informao sobre o dia da semana. O problema que o Leo mente em determinados
dias da semana e o mesmo acontece com o Unicrnio. Alice sabe que eles
mentem e sabe em que dia cada um mente. Naquela poca o Leo mentia s
segundas, teras e quartas e falava a verdade nos outros dias da semana. O
Unicrnio mentia s quintas, sextas e sbados e falava a verdade nos outros
dias da semana.
Quando Alice os encontra o Leo diz:
Ontem foi um dos meus dias de mentir!
e o Unicrnio diz:
Ontem foi um dos meus dias de mentir!
A partir dessas informaes, Alice descobriu o dia da semana. Qual
era?
A idia implementar um programa lgico que dadas as informaes
sobre os dias que o Leo e o Unicrnio mentem, o programa determina em
que dia Alice, o Leo e o Unicrnio se encontraram. Inicialmente, devemos
criar o predicado ontem cuja a funo fornecer a seqncia dos dias da
semana para o programa. Este predicado tem o seguinte formato:
ontem (x,y) x dia da semana que vem depois do y.
Isto posto, podemos escrever:
ontem(domingo, sbado) .
ontem(segunda, domingo) .
ontem(tera, segunda) .
ontem(quarta, tera) .
ontem(quinta, quarta) .
ontem(sexta, quinta) .
ontem(sbado, sexta) .
Agora, precisamos criar um predicado que relacione o Leo e o
Unicrnio aos dias em que eles mentem. O predicado mentira faz este servio:
mentira (x, y) x mente no dia y
e temos que x pode ser o Leo ou o Unicrnio. A varivel y um dos dias da
semana. Podemos, de acordo com o que foi fornecido sobre os dias em que
os dois mentem, escrever o seguinte:
mentira(leo, segunda).
mentira(leo, tera).
196
mentira(leo, sbado).
mentira(leo, domingo).
mentira(unicrnio, segunda).
mentira(unicrnio, quarta).
mentira(unicrnio, sexta).
mentira(unicrnio, domingo).
Temos que o programa completo :
ontem(domingo, sbado) .
ontem(segunda, domingo) .
ontem(tera, segunda) .
ontem(quarta, tera) .
ontem(quinta, quarta) .
ontem(sexta, quinta) .
ontem(sbado, sexta) .
mentira(leo, segunda).
mentira(leo, tera).
mentira(leo, sbado).
mentira(leo, domingo).
mentira(unicrnio, segunda).
mentira(unicrnio, quarta).
mentira(unicrnio, sexta).
mentira(unicrnio, domingo).
Este programa suficiente para Alice determinar o dia em que ela
conversou com o Leo e o Unicrnio porm devemos fazer as consultas
corretamente para obtermos alguma resposta. Quando o Leo (ou o Unicrnio)
diz que o dia anterior era um dos dias dele mentir ele pode estar mentindo.
Como temos o Leo e o Unicrnio, temos quatro possibilidades: os dois
podem estar mentindo no dia em que falam, um mentir, outro no e assim por
diante. Isto posto, podemos fazer as seguintes quatro consultas:
a)
197
a)
198
199
4 CIRCUITOS LGICOS DE
CHAVEAMENTO
Introduo
Neste captulo abordaremos as aplicaes da Lgica em circuitos
eltricos e eletrnicos simulados por meio de chaves. A Lgica aplicada em
circuitos eltricos com chaves que impedem ou deixam passar sinais forma
os chamados circuitos de chaveamento ou circuitos lgicos. Os circuitos de
chaveamento permitem a elaborao de projetos e circuitos Lgicos para
serem utilizados em Sistemas digitais complexos aplicados em vrios campos da Engenharia.
Os circuitos de Chaveamento so aqueles representados por meio
de chaves que ligam e desligam conforme o estado binrio Verdadeiro ou
Falso da sentena Lgica. Configuraes destes circuitos vo formar as
Portas Lgicas primitivas que iro representar as equaes booleanas com
utilizao particular a cada situao.
Os circuitos estudados sero limitados queles chamados
combinacionais, isto , circuitos nos quais a sada depende apenas dos
valores das entradas, portanto no levam em considerao valores prvios
(memorizados) utilizados nos circuitos chamados de seqenciais.
4.1. A lgebra da Lgica
As operaes sobre proposies lgicas podem ser feitas atravs
das chamadas funes de verdade. As funes de verdade so aquelas que
trabalham com valores-verdade das proposies, valores estes ditos: falso
ou verdadeiro. O estudo deste tipo de funo que determina a veracidade
ou a falsidade das proposies chamado de calculo proposicional ou Lgica Algbrica.
Representaes das Funes
Para possibilitar a representao da funo verdade por meio de
circuitos de chaveamento so utilizados alguns dispositivos dos circuitos
eltricos.
201
Chave A
Desligado A=0
Ligada A=1
Quando as chaves (A ou B) estiverem ligadas estaro representando estados lgicos Verdadeiros com valores iguais a 1 e quando desligadas
representam os estados lgicos Falsos com valores iguais a 0. As chaves A
e B so completamente independentes e podem ser interligadas em diferentes configuraes representando as diferentes funes verdades.
Outros dispositivos utilizados no apoio das representaes so:
fontes de tenso contnua E (bateria ou pilha) que vai nos fornecer uma
diferena de Potencial ou tenso eltrica proporcionando capacidade para
fazer fluir uma corrente eltrica no circuito, Resistor R que permite a limitao
de corrente evitando curtos-circuitos e lmpadas L que acesas ou apagadas
representaro os estados Lgicos dos sinais de sada.
Os dispositivos que serviro para representar as funes com os
modos de representao esto apresentados nas prximas figuras.
A Fonte de tenso contnua E fornece a voltagem necessria para
possibilitar passagem pelo circuito de uma corrente eltrica I que vai acender
as lmpadas. Uma corrente eltrica um fluxo direcionado de eltrons. Os
eltrons ao passarem no filamento da lmpada sofrem resistncia sua
movimentao e provocam atrito resultando em aquecimento e
incandescncia no material. O filamento incandescente produz a luz.
Em um circuito eltrico de chaveamento a lmpada se acender
202
quando as chaves eltricas estiverem fechadas e interligadas numa configurao tal que crie um caminho que permita a passagem da corrente de eltrons
at a lmpada.
Resistor
As lmpadas vo representar os estados lgicos da sada S. O seu
estado, acesas = 1 e apagada S= 0 so dependentes exclusivamente das
configuraes das chaves que esto representando nos circuitos de
chaveamento as funes verdade.
Na notao adotada, quando a lmpada estiver acesa porque
existe uma corrente eltrica I fluindo pelo seu filamento. Portanto a lmpada
acesa representa o estado lgico Verdadeiro de valor igual a 1.
Se a lmpada estiver apagada, no existe corrente, portanto, o estado
Lgico Falso e tem valor 0.
203
Lmpada L
I
Tem corrente: Lmpada acessa S=1
A
1
0
(A)
0
1
Circuito Lgico
O circuito que representa uma funo de negao Lgica
conhecido como inversor lgico e sua configurao mostrada na figura
a seguir:
I
Lmpada L
+
E
R
S=1
204
I
+
E
R
Lmpada L
S=0
R
A chave A ligada representa uma proposio com estado lgico
Verdadeiro, portanto, de valor lgico igual a 1. Nestas condies verifica-se
que toda a corrente eltrica passa atravs da chave e vai direto para o resistor
R. Como a corrente de eltrons sempre procura o caminho mais fcil, nos
terminais da Lmpada a intensidade da corrente eltrica nula e ela est
apagada.
Sem a corrente eltrica passando pelo seu filamento, a lmpada L
no acender simbolizando uma sada S de estado lgico Falso, portanto de
valor igual a 0.
Para facilitar a representao de circuitos de chaveamento que simule
equaes lgicas com vrias proposies, vamos utilizar na representao
de uma negao Lgica a chave da proposio funcionando em conjunto
com uma chave especial. Esta chave especial representada pelo smbolo de
negao , conforme mostra a figura a seguir.
205
AA
B
+
E
-
S=0
S=AB
206
Funcionamento: com as duas chaves desligadas representando as proposies A e B como Falsas, no h passagem de corrente eltrica para a Lmpada, ficando a mesma apagada. Neste caso, o estado Lgico resultante da
sada tem nvel 0. Se apenas uma das chaves for ligada permanecendo a
outra desligada, no o suficiente para permitir a passagem da corrente
eltrica para a lmpada. Como os eltrons vo circular por apenas um nico
caminho condio necessria que as duas chaves sejam ligadas para permitir que a corrente flua para a lmpada, acendendo-a e representando o
estado lgico Verdadeiro com valor 1 na sada.
Conforme foi visto, no circuito de chaveamento lgico da Conjuno a corrente eltrica vai passar pelos pontos x e y se, e somente se (A B)
verdadeira. Diz-se que as duas chaves esto em srie.
Este caso pode ser generalizado para qualquer nmero finito de
chaves ligadas em srie conforme mostra a prxima figura.
A1
A2
A3
An
y
207
B
+
E
-
S=0
S = (A V B)
Funcionamento: com as duas chaves desligadas representando as proposies A e B como Falsas, no h passagem de corrente eltrica para a Lmpada ficando a mesma apagada. Neste caso, o estado Lgico resultante da
sada tem nvel 0. Se pelo menos uma das chaves A ou B for ligada suficiente para permitir a passagem da corrente eltrica para a lmpada. Como os
eltrons podem circular atravs das chaves por caminhos diferentes, no
necessrio que as duas chaves estejam ligadas para permitir que a corrente
flua para a lmpada. Basta uma nica chave ligada para acende-la e assim
representar o estado lgico verdadeiro com valor 1 na sada.
Conforme foi visto, no circuito da disjuno a corrente eltrica passa
entre os pontos x e y se e somente se, (A V B) verdadeira. Diz-se que as
chaves esto ligadas em paralelo.
Este exemplo pode ser generalizado para qualquer nmero finito de chaves
ligadas em paralelo. Veja a figura a seguir:
A1
A2
y
x
A3
An
208
Condio 1
1110
Condio 2
1001
Condio 3
0101
Condio 4
0001
Estado Lgico
da Sada S
Estados Lgicos
intermedirios
209
figura:
A
+
E
-
S =[ (AB )]
11 1 0
C o n d ica~ o 2
10 01
C o n d ica~ o 3
01 01
C o n d ica~ o 4
00 01
E stad o L o g ic o s
d a S a id a S
E sta do s L o gic o s
inte rm e dia rio s
B
S = [ (AVB )]
+
E
-
210
A B (A B ) ( (A B ))
[(
CD ( C D)
11 1 0
11 1
10 01
10 1
01 01
01 1
00 01
00 0
(A B ))
( C D )]
S aid a S
D
A
+
E
-
S
R
211
sensores sA, sB, e sC, do tipo chave liga-desliga, instalados em trs portas
de entrada de um compartimento que se deseja proteger. Com o sistema
ativo, na decorrncia de um dos sensores ser ligado se acender uma lmpada
acusando uma anormalidade.
Uma chave sD instalada do lado de fora do compartimento e em
local secreto conhecido apenas pelo usurio, poder ser ligada para deixar o
sistema inativo.
Com base na descrio acima elabore a equao Lgica e o Circuito
de chaveamento Lgico do Sistema.
Resoluo:
Vamos considerar os sensores como sendo as proposies de entrada tal
que:
Sensor sA = A
Sensor sB, = B
Sensor sC = C
Chave secreta sD = D
Lmpada de alarme L = Sada S
Equao Lgica : Basta que uma das chaves A, B e C fique ligada para que a
Lmpada acenda, portanto uma disjuno do tipo:
(AV BVC )= S1
Conforme a descrio do funcionamento do Sistema para a equao acima
ser verdade necessrio que a chave D esteja desligada, isto , a negao
lgica de D (D) tem que ser Verdadeira. Portanto esta condio ligada
anterior pela conjuno lgica.
Deste modo a equao final que simula o sistema fica:
[(AVBVC ) ( D)] = S
Tabela verdade:
A
A B CA B[(AVBVC)]
C [A B C )]
B
1 1 1100
11
C
1 1 0011
11
11 00 1111
11 00 00 11
0111
0 1 11
0101
01 01
+
E
-
0011
0 0 11
0001
00 01
212
Situao 1
Situao 2
Situao 3
1000
Situao 4
0111
0100
0010
0000
213
+
E
R
214
+
E
R
[(A B) ( C V D)] = S
2- A partir da equao lgica [( (A V B))] V [(C D)] = S construa
uma tabela verdade onde so mostrados os valores Lgicos
intermedirios e os valores finais da equao. Atravs da tabela
verdade obtida construa o circuito de chaveamento Lgico.
3- Simule por meio de um circuito de chaveamento a equao lgica:
[(( A) B) V C ] = S
mostre a tabela Verdade e o circuito obtido.
4- Suponha um sistema de segurana que construdo com 4 sensores
normalmente fechados (chaves que ao serem acionadas abrem)
denominados com as letras A, B, C e D. O funcionamento do sistema
de alarme consiste no seguinte procedimento: caso um destes quatro
sensores seja desligado uma buzina ser acionada ( S=1) acusando
anormalidade. Para que o guarda da segurana possa entrar sem
acionar o alarme existe em seu poder uma chave (E) que quando
ligada deixa sem ao apenas o sensor A instalado na porta principal
permitido que ele entre no recinto . Conforme a descrio acima,
pede-se:
a) A equao Lgica do Sistema.
b) A tabela Verdade do Sistema.
c) O Circuito de chaveamento Lgico do Sistema.
5- Considere o mesmo enunciado do exerccio anterior modificando o
fato dos sensores A, B e C serem agora normalmente abertos (
Chaves que fecham ao serem acionadas).
215
6-
216
5 PORTAS LGICAS
Introduo
Para estudarmos os modos de representao das funes lgicas por
meio de circuitos eltricos foram utilizadas no captulo anterior as chaves do
tipo liga-desliga.
Para o emprego da lgica em computadores e Sistemas digitais diversos, os circuitos de chaveamento lgicos, devem ser miniaturizados. Este
processo de miniaturizao, traz inmeras vantagens, tanto nas propriedades construtivas, relativo ao menor espao ocupado, menor peso etc.., como
nas propriedades fsicas que traz maior rapidez nas respostas, menor perdas
por calor, etc.. Todas estas vantagens vo aumentar o rendimento do Sistema lgico quando no seu funcionamento para efetuar as suas anlises lgicas.
Neste processo de diminuir as dimenses fsicas dos sistemas digitais, os circuitos lgicos do Inversor e de outras funes lgicas que foram
estudados por meio de chaves no captulo anterior agora so geralmente
construdos com transistores. Os transistores so dispositivos eletrnicos
de pequenas dimenses e que funcionam com pequenas intensidades de
tenso e corrente eltrica.
Nestes circuitos eletrnicos os transistores vo atuar como chaves
configuradas de diversas formas, conforme determinados circuitos de
chaveamento lgico. Nestes circuitos transistor pequenos sinais de corrente aplicados nas entradas excitam os transistores que fecham e abrem
deixando ou no passar corrente eltrica comportando-se como as chaves
estudadas no captulo anterior.
Atravs de tecnologia moderna empregada na construo dos chamados circuitos integrados (chips) consegue-se sistemas lgicos compostos de milhares de transistores de tamanho muito reduzido.
O funcionamento dos transistores, bem como os funcionamentos
internos destes circuitos, fogem do escopo deste livro, portanto, vamos
estudar estes circuitos como um bloco onde s nos interessa os valores
lgicos dos sinais de entrada e os de sadas.
Os sinais eltricos aplicados s entradas do Bloco representam as
proposies A, B, C, etc.. e os sinais eltricos resultantes nas sadas representam os estados lgicos das sadas S1, S2 , S3,... Sn resultantes das equaes representadas pelas funes verdades.
217
Quando os circuitos so representados por blocos recebem a denominao de Portas Lgicas (Logic Gates). Neste captulo estudaremos as
funes lgicas atravs de blocos funcionais denominados de Portas Lgicas. Inicialmente vamos estudar as chamadas portas lgicas bsicas ou primitivas e a partir das combinaes das portas lgicas bsicas sero obtidas
as representaes de funes lgicas complexas.
5.2. Porta Lgica Inversora
A porta lgica que representa o circuito Inversor aquela que
inverte o estado lgico do sinal aplicado na sua entrada. Esta porta lgica
tambm conhecida como operador da negao lgica NO ( ou pelo termo
ingls Operador NOT).
O smbolo da porta lgica Inversora e a sua tabela verdade apresentado na figura a seguir:
218
219
220
221
222
223
Uma chave sE instalada do lado de fora, e em local secreto conhecido apenas pelo usurio, deixa o sistema inativo caso seja desligada.
Com base na descrio acima elabore a equao Lgica e o Circuito
construdo com portas lgicas do Sistema de alarme.
Resoluo: Vamos considerar os sensores como proposies de entrada tal
que:
Sensor sA = A
Sensor sB = B
Sensor sC = C
Sensor sD = D
Chave secreta sE = E
Lmpada de alarme L = Sada S
Utilizando a notao dos circuitos digitais, conforme visto no exemplo anterior, a equao dos sensores a negao de uma conjuno do tipo:
ABCD = S1
Resultando em uma porta Lgica NO-E de 4 entradas:
224
225
226
227
a)
228
229
operador de negao.
A figura a seguir mostra a porta lgica para a sada g.
Situaes
1
2
3
4
5
6
7
8
9
10
Binrio Decimal
0000
0
0001
1
0010
2
0011
3
0100
4
0101
5
0110
6
0111
7
1000
8
1001
9
a
1
0
1
0
0
0
1
0
1
0
b
1
0
0
0
1
1
1
0
1
1
c
1
0
1
1
0
1
0
1
1
1
d
1
1
1
1
1
0
0
1
1
1
e
1
1
0
1
1
1
1
1
1
1
f
1
0
1
1
0
1
1
0
1
0
g
0
0
1
1
1
1
1
0
1
1
230
0000 - A.B.C.D.
0010 - A.B.C.D.
0110 - A.B.C.D.
1000 - A.B.C.D.
231
Para obter o circuito completo a anlise deve ser feita para cada
coluna da tabela.
Usando o processo da anlise de cada situao para determinar a
equao lgica e as configuraes das portas, o circuito final vai ser composto
por um nmero muito grande de portas.
Existem vrios mtodos utilizados em projetos de circuitos digitais
para obteno da minimizao dos circuitos como, os teoremas de De Morgan,
utilizando princpios de Identidade, ou os diagramas de Karnaugt.
Estes procedimentos no sero vistos aqui, mas so facilmente
encontrados nas bibliografias que tratam de projetos de circuitos digitais.
Exerccios
1- Utilizando os mesmos procedimentos do exemplo anterior (Exemplo 4.b)
complete o circuito final implementando com configuraes de portas lgicas
todo o circuito que permita o display de 7 segmentos apresentar os nmeros
decimais de 0 a 9. Faa a anlises na tabela das colunas dos diodos b,c,d,e,f
e g.
[(A B )] [ (C V D)] = S
a)
232
5)
O Presidente A.
O Vice-Presidente B.
O Gerente Industrial C.
O Gerente admistrativo D.
233
APNDICE
1. ALGUMAS ESTRUTURAS ALGBRICAS
O objetivo deste apndice apresentar algumas estruturas algbricas
fundamentais subjacentes a este trabalho.
Operao binria
Se G um conjunto no vazio, uma operao binria sobre G uma funo
: G G G.
Exemplos:
1. A operao de adio sobre nmeros naturais uma operao binria: a
um par de nmeros (a, b) est associado um nico nmero que a soma de
a com b;
2. A operao de multiplicao sobre nmeros naturais tambm uma operao binria: a um par de nmeros (a, b) est associado um nico nmero que
o produto de a e b.
Por comodidade, indiquemos por uma operao binria sobre G.
Operao associativa
Uma operao binria sobre G diz-se associativa se (a b) c = a (b
c) para quaisquer elementos a, b, c de G.
Exemplos:
1. a operao de adio sobre os nmeros naturais associativa;
2. a operao de multiplicao sobre os nmeros naturais associativa;
3. a operao de subtrao sobre os nmeros naturais no associativa;
4. a operao de adio sobre o conjunto das matrizes quadradas de ordem
2 associativa.
Operao Comutativa
Uma operao binria diz-se comutativa se a b = b a para quaisquer
elementos a e b de G.
235
Exemplos:
1. A operao de adio e de multiplicao sobre os nmeros naturais
comutativa;
2. A operao de subtrao sobre os nmeros naturais no comutativa;
3. A operao de adio sobre as matrizes quadradas e ordem 2
comutativa.
Semigrupo
1)
2)
Exemplo:
1. (N, +) um semigrupo;
2. (N, .) um semigrupo;
3. (Z, +) um semigrupo;
4. (Q, .) um semigrupo.
Monide
Um monide uma tripla ordenada (G, , e) tal que:
1) G um conjunto no vazio
2) uma operao binria sobre G
3) e o elemento neutro de G isto , um elemento de G tal que e . a = a . e
= a para todo elemento a de G.
Exemplos:
1. (N, +, 0) um monide;
2. (N, ., 1) um monide;
3. (Q, ., 1) um monide;
4. (Q, +, 0) um monide.
Observao:
Um monide dito comutativo se a operao binria . for comutativa.
Grupo
Um grupo um semigrupo (G, ) tal que:
1) possui um elemento neutro e e
2) para todo elemento a de G, existe um elemento b de G tal que a b = e.
Exemplos:
1. (Q, .) um grupo e o seu elemento neutro o 1;
2. (Q, +) um grupo e o seu elemento neutro o 0;
3. (M, +) um grupo. M o conjunto das matrizes quadradas de ordem n.
O elemento neutro de M a matriz identicamente nula.
Observao:
Um grupo (G, .) dito abeliano se a operao . for uma operao
comutativa.
236
Semi-anel
1)
2)
3)
4)
5)
6)
Exemplos:
1. (Q, +, ., 0, 1) um semi-anel;
2. (R, +, ., 0, 1) um semi-anel.
Observao:
Um semi-anel dito comutativo se a operao . for comutativa.
Anel
1)
2)
3)
Observao:
1) dizemos que um anel comutativo se a operao . comutativa;
2) dizemos que um anel um anel com unidade se 1 elemento neutro para
a operao . .
2. LGICA PROPOSICIONAL E LGEBRA DE BOOLE
Damos uma viso da estrutura algbrica subjacente lgica
proposicional. Veremos que tal estrutura consiste de uma lgebra de Boole
conhecida com o nome de lgebra de Lindembaum.
Seja F o conjunto das frmulas do clculo proposicional. Definamos a
seguinte relao sobre F:
A B def se for teorema A B.
Pode-se provar que tal relao se constitui numa relao de
equivalncia (isto , reflexiva, simtrica e transitiva). Podemos portanto
passar ao quociente obtendo o conjunto quociente. Neste conjunto,
definamos as seguintes operaes e elementos distingidos:
Sejam A e B frmulas. Temos:
237
3. MODELOS DE HERBRAND
O objetivo deste apndice apresentar os modelos de Herbrand
por serem de grande utilidade na rea de programao em lgica. Dado um
programa lgico P e uma consulta C, devemos provar C em P com base nos
axiomas que P fornece e alm destes axiomas podemos utilizar modus ponens
e particularizao. Podemos enxergar este processo que acabamos de
descrever atravs de uma outra viso: queremos saber se o programa P
fornece um modelo para a consulta C.
Os modelos de Herbrand so muito teis por serem construtveis e
alm disso existem dois resultados importantes relacionando modelos
quaisquer com os modelos de Herbrand. Inicialmente, na seo 2 deste
apndice damos algumas definies relacionadas com interpretaes e
modelos quaiquer, na seo 3, falamos sobre os objetos de Herbrand (base,
universo, interpretao e modelo) e na seo 4 apresentamos dois resultados
importantes sobre os modelos de Herbrand.
Interpretaes e modelos
Pr-interpretao
Uma pr-interpretao de uma linguagem de primeira ordem L
consiste do seguinte:
a.) Um conjunto no-vazio D, chamado de domnio da pr-interpretao;
b.) Para cada constante em L est associado um elemento de D;
c.) Para cada smbolo de funo n-ria em L est associada uma aplicao
de Dn em D.
238
239
240
241
242
243
Teoria de Zermelo-Fraenkel.
Esta teoria foi introduzida por E. Zermelo (1871-1953), melhorada
posteriormente por A. Fraenkel (1929- ) e chegou uma teoria sensacional
com T. Skolem (1887-1963). Talvez, a teoria ZF seja a teoria que mais se
aproxime da teoria intuitiva de Cantor. nesta teoria que se desenvolve a
Matemtica usual (espaos vetoriais, clculo diferencial e integral,
topologia, lgebra, etc.) ensinada de modo regular.
Teoria de von-Neumann-Bernays-Gdel.
Sistema NF de Quine.
Sistema ML de Quine.
Sistema de Kelley-Morse.
1.2 Teoria dos Conjuntos No-Cantorianas.
Nestas no valem alguns dos princpios que citamos no caso
anterior. Podemos ter, ento teorias de conjuntos em que no valem o Axioma
da Escolha na sua forma geral, ou a Hiptese do Contnuo, ou outros. Hoje
so clebres os trabalhos devidos a:
Sistemas de Solovay.
Neste modelo de teoria dos conjuntos no vale o Axioma da Escolha
na sua forma geral, mas uma forma particular conhecida como forma
enumervel do Axioma da Escolha. Um resultado interessante num modelo
dessa teoria dos conjuntos que todo subconjunto da reta real Lebesgue
mensurvel. Outra diferena, em relao teoria cantoriana, que todo
operador num espao de Hilbert limitado e, por conseguinte, contnuo.
Muitas teorias da Fsica Quntica esto estruturadas atravs do conceito
de espao de Hilbert e conceitos associados. Logo, advm uma indagao
assaz delicada: como fica uma mesma teoria fsica acomodada em modelos
de teorias de conjuntos distintas? Qual a verdadeira teoria dos
conjuntos para a Fsica?
Sistemas de Cohen
Os resultados de independncia em Teoria dos Conjuntos
obtidos por Cohen permitiu que tomssemos conhecimento de modelos da
teoria em que no so vlidos certos princpios como, por exemplo, a
Hiptese do Contnuo que afirma que no h nmero cardinal entre o
enumervel e o contnuo dos nmeros reais. Tais consideraes, tambm,
deram origem a Matemticas No-cantorianas.
244
245
246
REFERNCIA BIBLIOGFICA
[Abe & Papavero 92] ABE, J.M. & N. PAPAVERO, Teoria Intuitiva dos
Conjuntos. Makron Books, 1992.
[Iski & Abe 01] ISKI, K., & J.M. ABE, Lgica Matemtica e Aplicaes,
2001, em preparo.
[Da Costa 80] DA COSTA, N. C. A., Introduo aos Fundamentos da Lgica. Hucitec, 1980.
[Halmos 62] HALMOS, P., Algebraic Logic, Chelsea, 1962.
[Kleene 52] KLEENE, S. C., Introduction to Metamathematics. Van Nostrand,
1952.
[Kneale & Kneale 68] KNEALE, W & M. KNEALE, O Desenvolvimento da
Lgica. Fundao Calouste Gulbenkian, 3a edio, 1968.
[Lloyd 84] LLOYD, J. W., Foundations of Logic Programming. SpringerVerlag, 1984.
[Mendelson 87] MENDELSON, E., Introduction to Mathematical Logic.
Wadsworth &
Brooks, 3a edio, 1987.
[Mendelson 77] MENDELSON, E., lgebra Booleana e Circuitos de
Chaveamento. McGraw-Hill do Brasil Ltda, 1977.
[Shoenfield 67] SHOENFIELD, J. R., Mathematical Logic. Addison-Wesley,
1967.
[Suppes 57] SUPPES, P., Introduction to Logic. Van Nostrand, 1957.
247