Logica de Computacao para Lei PDF

Lgica de
computao
para
leigos
Universidade do Estado do Amazonas
Tecnologia em Anlise
e Desenvolvimento de Sistemas
(Sistema Presencial Mediado)
Lgica
de
Computao
para
leigos
Ficha Tcnica
Governo do Estado do Amazonas
Carlos Eduardo de Souza Braga
Governador do Estado
Omar Jos Abdel Aziz

Vice-Governador do Estado
Universidade do Estado do Amazonas

Marilene Corra da Silva Freitas
Reitora
Carlos Eduardo de Souza Gonalves

Vice-Reitor
Fares Franc Abinader Rodrigues

Pr-Reitor de Administrao
Osail Medeiros de Souza

Pr-Reitor de Planejamento
Edinea Mascarenhas Dias

Pr-Reitora de Ensino de Graduao
Jos Luiz de Souza Pio

Pr-Reitor de Ps-Graduao e Pesquisa
Rogelio Casado Marinho Filho

Pr-Reitor de Extenso e Assuntos Comunitrios
Escola Superior de Tecnologia

Vicente de Paulo Queiroz Nogueira
Diretor
Curso Superior de Tecnologia em Anlise e Desenvolvimento de Sistemas

(Sistema Presencial Mediado por Tecnologia)
Odwald Schreder
Coordenador Geral
ngela Timtia Pereira Lima

Coordenadora Pedaggica
Ednaldo Coelho Pereira

Coordenador Tcnico Administrativo
Projeto grfico
Aurelino da Silva Bentes
Reviso
ngela Timtia Pereira Lima
U58l
Universidade do Estado do Amazonas.

Lgica para computao / Coordenao Salvador Ramos Bernardino
da Silva Manaus/AM: UEA, 2007. (Tecnologia em Anlise e
Desenvolvimento de Sistemas.
125 p.: il.; 23 cm.
Inclui bibliografia e anexo.
1. Lgica - Informtica. I. Silva, Salvador Ramos Bernardino da
(coord.). II. Srie. III. Ttulo.
CDU (1997): 004.314
Perfil dos Autores
Salvador Ramos Bernardino da Silva (Coordenador)

Professor da Escola Superior de Tecnologia (EST/UEA)
Especialista em Desenvolvimento de Sistemas UFAM
Manoel S. S. Azevedo
Mestre em Engenharia Eltrica-UFCG
Cludio de Oliveira Santos

Especialista em Metodologia do Ensino Superior - FSDB
Palavra da Reitora
Ns ltimos anos, o avano da tecnologia da informtica mudou os

conceitos de ensino e de trabalho. A preocupao com o que se denominou de
incluso digital passou a ser um problema urgente a ser enfrentado pelos
dirigentes do Pas, j que todos os processos de novas tecnologias desguam
no conhecimento de informtica. No Amazonas, a dificuldade de locomoo
na regio, por falta de rodovias, por sua grande extenso territorial, pela
baixa densidade demogrfica e pelo subdesenvolvimento secular imposto
populao ribeirinha, torna-se rduo o esforo do Governo para tornar
realidade incluso digital.
A UEA, que j nasceu moderna, incorporando tecnologias educacionais
de ponta, utilizando-se particularmente da informtica pela massificao do
uso de microcomputadores combinados com uma rede complexa de acesso
Internet, no poderia ficar alheia a essa necessidade premente. Por isso,
props e realizou o primeiro vestibular para levar a 12 municpios um curso
que formasse a mo-de-obra inicial que tornasse a incluso digital uma
realidade em nosso Estado.
A proposta do curso de Tecnologia em Anlise e Desenvolvimento de
Sistemas oferecido pela UEA vislumbra criar mo-de-obra qualificada em um
nmero significativo de localidades do Estado, cabendo s pessoas
beneficiadas com essa iniciativa a tarefa de irradiar o uso de tecnologias de
informtica, abrindo caminhos novos e suscitando novos empregos para a
populao local, consolidando, assim, o exerccio da cidadania.
Professora Doutora Marilene Corra da Silva Freitas

Reitora da Universidade do Estado do Amazonas
Sumrio
1. INTRODUO . . . . . . . .
1.1 O que lgica? . . . . .
1.2 Origem da lgica . . .
1.3 Classificao da lgica:
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2. A LGICA PROPOSICIONAL . . . . . . . . . . . . . . . . .
2.1 Elementos fundamentais da sintaxe da linguagem
Proposicional: . . . . . . . . . . . . . . . . . . . . .
2.1.1 Formalizao de uma proposio: . . . . .
2.2 Semntica da lgica proposicional . . . . .
2.2.1 Interpretao dos conectivos lgicos
2.2.1.1 Negao de uma proposio . .
2.2.1.2 Conjuno de duas proposies
2.2.1.3 Disjuno . . . . . . . . . . . . .
2.2.1.4 Condicional . . . . . . . . . . . .
2.2.1.5 Bicondicional . . . . . . . . . . .
2.2.1.6 Disjuno exclusiva . . . . . . .
2.2.2 Interpretao de uma fbf . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
11
11
12
13
. . . . . . 15
da Lgica
. . . . . . 15
. . . . . . 19
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
22
23
23
26
27
28
29
30
31
3. O CLCULO PROPOSICIONAL . . . . . . . . . . . . . . .
3.1 Ordem de precedncia entre os operadores . . .
3.2 Tabela verdade. . . . . . . . . . . . . . . . . . . . .
3.3 Propriedades semnticas da lgica proporcional
3.3.1 Tautologia . . . . . . . . . . . . . . . . . . . .
3.3.2 Contradio . . . . . . . . . . . . . . . . . .
3.3.3 Frmula satisfatvel . . . . . . . . . . . . . .
3.3.4 Equivalncia lgica . . . . . . . . . . . . . .
3.3.5 Implicao lgica . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
34
34
35
43
43
43
44
45
45
4. VALIDADE DE UM ARGUMENTO. . . . . . . . . . . . . . . .
4.1 Argumento . . . . . . . . . . . . . . . . . . . . . . . .
4.2 Mtodos para avaliar a validade de um argumento
4.2.1 Mtodo da tabela verdade . . . . . . . . . . .
4.2.2 Mtodo da rvore Semntica . . . . . . . . . .
4.2.3 Mtodo da negao (ou absurdo) . . . . . . .
4.2.4 Deduo lgica . . . . . . . . . . . . . . . . . .
4.2.4.1 Regras de deduo . . . . . . . . . . . . .
4.2.4.2 Outras regras de deduo: . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
49
49
53
54
55
61
65
65
74
09
5. QUANTIFICADORES . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
5.1 Quantificador universal e existencial . . . . . . . . . . . . . 81
6. RECORRNCIA . . . . . . . . . . . . . . . . . . . . . .
6.1 Seqncia definida por recorrncia . . . . . .
6.2 Algoritmo definido por recorrncia . . . . . .
6.2.1 Construindo uma algoritmo recorrente .
6.2.2 Como um algoritmo recorrente executa
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
88
88
91
91
95
Bibliografia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
Respostas dos Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . 99
Anexo (Exerccios) . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
10
Tecnologia em Anlise e Desenvolvimento de Sistemas

Lgica para Computao
Captulo I
Introduo
A atividade de desenvolver sistemas leva, com freqncia,
o desenvolvedor a lidar com raciocnios e estruturas lgicas.
Um programa de computador um problema estruturado
dentro de um formato lgico especfico. A programao de
computadores uma atividade que requer o desenvolvimento da
lgica de programao, que, por sua vez, tem seus fundamentos
na lgica matemtica.A lgica proposicional permite os
conceitos abstratos e afirmaes sejam transformadas em
funes proposicionais que apresentam duas nicas solues
possveis, verdadeiro ou falso; A lgica muito utilizada em
circuitos eletrnicos e sistemas computacionais por permitir que
as mquinas interpretem informaes do ambiente e respondam
de maneira esperada pelo programador.
Durante os captulos compreenderemos melhor a lgica
proposicional, no s como ferramenta de simplificao da
linguagem corrente, mas como ferramenta de analise da
validade de um argumento.
1.1 O que lgica?

A lgica uma cincia de ndole matemtica e fortemente
ligada Filosofia. J que o pensamento a manifestao do
conhecimento, e que o conhecimento busca a verdade, preciso
estabelecer algumas regras para que essa meta possa ser
atingida.
11
Tecnologia em Anlise e
Desenvolvimento de Sistemas
Lgica para Computao
Assim, a lgica o ramo da filosofia que cuida das regras do

bem pensar, ou do pensar correto, sendo, portanto, um
instrumento do pensar.
A lgica estuda os princpios e mtodos usados para
distinguir o raciocnio correto do incorreto. (COPI, 1978, p. 19).
Lgica a cincia do raciocnio.
(Malba Tahan)
Lgica a cincia das leis do pensamento e a arte de
aplica-las corretamente na pesquisa e na demonstrao da
verdade.
(R. Solivete)
A Lgica a cincia que dirige, por meio de leis, as
operaes de nossa razo, para que ordenada, facilmente
alcance a verdade.
(Sinibaldi)
No se pretende afirmar, com essas definies, que s se
pode argumentar corretamente com uma pessoa que tenha
estudado lgica. Assim como um bom nadador no necessita
estudar fsica e a fisiologia do seu corpo para nadar bem, uma
pessoa pode argumentar corretamente sem ter estudado lgica.
No entanto, quando a pessoa estuda lgica e pratica os
exerccios correspondentes, tem maior possibilidade de
raciocinar corretamente. (COPI, 1978, p. 19).
12
Lgica para Computao
1.2 Origem da lgica.

O estudo da lgica foi iniciado pelo filsofo grego
Aristteles (384 322 a.C.), nascido em Estagira, na Macednia.
Criou a Cincia da lgica, cuja essncia era a teoria do silogismo.
Reuniu essa teoria nos escritos denominados rganon, ou
Instrumento da Cincia.
Ainda na Grcia, distinguiram-se duas escolas, a
PERIPATTICA, derivada de Aristteles e a ESTICA, fundada por
Zeno (326 264 a.C.) e desenvolvida por Crisipo (280 250 a.C.).
No perodo que vai de Aristteles at o sculo XIX, no
foram registrados estudos significativos sobre lgica, exceto os
trabalhos desenvolvidos por Gottfried Wilhem Leibiniz (1646
1716), que s foram apreciados e conhecidos no sculo XIX.
O Perodo Booleano (1840 1920) iniciou-se com as obras
de George Boole e Augustus de Morgan, que publicaram os
fundamentos da chamada lgebra da lgica, respectivamente
com MATHEMATICAL ANALYSIS OF LOGIC e FORMAL LOGIC.
A partir do sculo XIX, diversos estudiosos dedicaram-se ao
estudo da lgica. Surgiram outros ramos da lgica.
1.3 Classificao da lgica:

No h unanimidade quanto classificao da lgica.
Alguns autores classificam a lgica como:
a) Lgica Indutiva ocupa-se dos argumentos indutivos e
dos testes para medir a probabilidade indutiva.
b) Lgica dedutiva a lgica na qual, dada uma causa,
possvel determinar suas conseqncias.
12
13
Lgica para Computao
A lgica dedutiva , freqentemente, dividida em:

a) Lgica clssica Considerada como o ncleo da lgica
dedutiva. o que chamamos hoje de CLCULO DE
PREDICADOS.
Trs princpios regem a Lgica Clssica:
1. da IDENTIDADE: A A, ou seja, uma coisa ela prpria
sem possibilidade de contestao.
2. da CONTRADIO: A no pode ser, ao mesmo tempo A e
no-A, ou seja, ou A ou no A.
3. do TERCEIRO EXCLUDO: A ou Y ou Z, no admitindo
uma terceira possibilidade. Exemplo: A ou tem valor
verdadeiro ou tem valor falso e no admite um terceiro
valor.Exemplos: paracompletas e intuicionistas
b) LGICAS COMPLEMENTARES DA CLSSICA: So lgicas
que tm alguns princpios alm dos princpios da lgica
clssica e, de alguma forma complementam a lgica
clssica.
Exemplos: lgicas modal, que adiciona lgica clssica o
princpio das possibilidades; lgica dentica, que agrega os
princpios dos direitos, obrigaes e proibies; lgica
epistmica, agrega o princpio da certeza, etc.
c) LGICAS NO-CLSSICAS: Assim caracterizadas por
derrogarem algum ou alguns dos princpios da lgica clssica.
14
13
Lgica para Computao
Exemplos: Paracompletas e intuicionistas (derrogam o

princpio do terceiro excludo); paraconsistentes
(derrogam o princpio da contradio); no-alticas
(derrogam o terceiro excludo e o da contradio); noreflexivas (derrogam o princpio da identidade); a lgica
difusa (fuzzy logic), que trabalha com estados
intermedirios ou gradaes, como o caso, ao se
estudar a varivel temperatura, que pode assumir
estados intermedirios entre o estado quente e
frio, entre outras.
14
15

Lgica para Computao
Captulo II
A Lgica Proposicional
A lgica proposicional simblica, matemtica ou setencial
no difere da lgica clssica em essncia, mas distingue-se dela
pelo uso de uma linguagem tcnica especfica, que lhe d mais
rigor, tornando-se um instrumento mais eficaz para a anlise e
deduo formal.
2.1 Elementos fundamentais da sintaxe

da linguagem da Lgica Proposicional:
Uma linguagem um conjunto de smbolos destinados a
transmitir idias. Toda linguagem tem sua sintaxe: as regras que
dizem quais formaes simblicas so vlidas para aquela
linguagem.
Na lngua portuguesa os smbolos caza, cekql, no tm
significado porque no esto de acordo com a sintaxe da lngua.
De acordo com Souza (2002, p. 4), o conjunto de smbolos
que constitui a sintaxe da linguagem da Lgica Proposicional
composto dos seguintes elementos:
16
a) Alfabeto constitudo por:

a) smbolos de pontuao: () , .
b) smbolos de verdade: true, false.
c) smbolos proposicionais: P, Q, R, S, P1, Q1, S1, A, B, ...
d) conectivos proposicionais: , , , , .
Lgica para Computao
Os smbolos de pontuao so diferentes dos utilizados na

sintaxe da lngua portuguesa.
Os smbolos de verdade so originrios da lngua inglesa. H
autores que utilizam T e F para represent-los. Nesse contexto,
sero utilizados os smbolos V(true) e F (false), significando os
valores verdadeiro e falso, respectivamente.
Quantos smbolos proposicionais existem? Pelo exemplo
acima, percebe-se que so infinitos, o que torna o alfabeto da
linguagem da Lgica Proposicional infinito, ao contrrio do
alfabeto de muitas outras linguagens, como o da lngua
portuguesa.
Os conectivos proposicionais so utilizados com freqncia
na Matemtica. denominado no. Alguns autores utilizam
(apstrofo) como smbolo de negao. Ser adotado ~ (til) para
representar negao. Os outros conectivos so , que se l e,
, denominado ou, , para representar implicao e
denominado se e somente se, bi-implicao ou
bicondicional.
Os conectivos lgicos sero vistos em detalhe na seo 2.2
b) Proposio
uma sentena declarativa afirmativa, a respeito da qual
se pode afirmar que falsa ou verdadeira.
Vejamos as seguintes sentenas:
Manaus uma capital.
Proposio
Ela muito inteligente.
No proposio pois ela no est especificada.
Que horas so?
uma pergunta e no pode ser uma proposio.
17
Lgica para Computao
Paris uma cidade brasileira.

Proposio
Cinco menor que oito.
Proposio.
Proposies podem ser representadas por letras. Na forma
acima, uma proposio est em linguagem corrente. Quando se
representa uma proposio por uma letra, usa-se a linguagem
simblica.
Exemplos:
A casa nmero 5 amarela. Pode ser representada pela
letra maiscula P.
A lua feita de queijo. Pode ser representada pela letra Q.
P e Q, acima, so proposies, pois so sentenas s quais
se pode atribuir um valor verdade (ou valor lgico) falso ou
verdadeiro.
Proposies podem ser:
Simples (ou atmicas): quando expressam uma nica idia.
A lua quadrada um exemplo de proposio simples.
Compostas (ou moleculares): quando so formadas por
duas ou mais proposies simples, como: A casa grande e o
carro bonito,
Proposies compostas podem no serem unidas por
conectivos. Exemplo: Joo gosta de correr. Jos gosta de andar.
O valor de uma proposio chamado de valor lgico ou
valor verdade da proposio e pode ser VERDADEIRO ou FALSO.
18
Lgica para Computao
Composio de Proposies
Podemos construir proposies a partir de outras
existentes. Usando a Composio de Proposies. Partindo das
proposies:
Proposio
Representao
Maria tem 23 anos
Maria menor
Tendo como base um pas no qual a pessoa seja

considerada menor de idade at os 18 anos, a proposio B
falsa. Como a interpretao da proposio A verdadeira, temos
alguns exemplos:
Proposio
representao
Maria no tem 23 anos.
~A
Maria no menor.
Maria tem 23 anos e Maria menor
~
A/\B
Maria tem 23 anos ou Maria menor
A\/B
Maria no tem 23 anos e Maria menor
~A/\B
Maria no tem 23 anos ou Maria menor
~A\/B
Maria tem 23 anos ou Maria no menor
A\/~B
Maria tem 23 anos e Maria no menor
A/\~B
Se Maria tem 23 anos ento Maria menor
A B
Se Maria no tem 23 anos ento Maria menor
~AB
Maria no tem 23 anos e Maria menor
~A/\B
Maria tem 18 anos equivalente a Maria no menor C~B

Note que, para compor proposies usou-se os smbolos ~
(negao), /\ (conjuno), \/ (disjuno), (implicao) e,
finalmente, (equivalncia). So os chamados conectivos
lgicos. Note, tambm, que se usou um smbolo para
representar uma proposio: C representa a proposio Maria
tem 18 anos. Assim, no(B) representa Maria no menor, uma
vez que B representa Maria menor.
19
Lgica para Computao
EXERCCIOS
1. Marque as sentenas abaixo que so proposies, simples
ou compostas. Para as sentenas que no so proposies,
explique porque no o so.
a)
b)
c)
d)
e)
f)
(
(
(
(
(
(
)
)
)
)
)
)
g) (
h) (
i) (
j) (
k) (
l) (
m) (
)
)
)
)
)
)
)
Os gatos tm trs patas.

Joo alto.
Ela bonita.
A casa pequena.
Quem est batendo porta?
Muitos foram chamados, mas poucos foram
selecionados.
Talvez eu v ao teatro.
2+2=4
x+y=8
O planeta Marte habitado.
Possivelmente chover hoje.
Falar fcil. Difcil fazer.
Quem falou?
c) Frmulas
Construdas a partir dos smbolos do alfabeto, conforme as
seguintes regras:
a) Todo smbolo de verdade uma frmula;
b) Todo smbolo proposicional uma frmula;
c) Se H uma frmula ento ~H uma frmula (negao)
d) Se H e G so frmulas ento:
H G uma frmula (disjuno)
H G uma frmula (conjuno)
H G uma frmula (condicional)
H G uma frmula (bicondicional)
20
Lgica para Computao
O item a) define as frmulas mais simples: os smbolos de

verdade, que so VERDADEIRO e FALSO.
O item b) define os smbolos proposicionais. Se Q
representa uma proposio, Q uma frmula da lgica
proposicional.
A negao de uma proposio tambm considerada uma
frmula, conforme a regra c).
A quarta regra define que duas frmulas (lembre que um
smbolo proposicional uma frmula) combinadas por um
conectivo lgico formam uma nova frmula.
Frmulas do tipo
))A B C,
A ,
P
no so frmulas
vlidas na lgica proporcional, pois no esto de acordo com as
regras de formao acima. Pode-se dizer que so frmulas mal
formuladas.
As cadeias (A C) B e (A B C) (B B1), so cadeias
vlidas na Lgica Proposicional.
Uma cadeia vlida chamada de frmula bem formulada,
ou, de forma abreviada, fbf.
Obs.: Alguns autores adotam wff (em vez de fbf) que a
abreviao da expresso well formed formula, no idioma ingls.
2.1.1 Formalizao de uma proposio:
As informaes da Tabela 1 ajudam a escrever frmulas da
lgica proposicional, a partir de sentenas na linguagem
corrente.
Seja a sentena:
Se Joo Gosta de Maria, ento Maria feliz. Joo gosta de
Maria. Logo, Maria feliz.
21
Lgica para Computao
Expresso em Portugus
Conectivo
lgico
Expresso
Lgica
E, mas, tambm, alm disso, ponto final

entre duas proposies
conjuno
A B
Ou
disjuno
A B
Se A ento B
A implica B
A logo B
A s se B, A somente se B
A uma condio suficiente para B
Basta A para B
B uma condio necessria para A
Condicional
AB
A se e somente se B
A condio necessria e suficiente
para B
Bicondiconal
(equivalncia)
AB
Tabela 1 Indicaes para formalizao de uma proposio (Geristing, 2001, p. 4).
Smbolos auxiliares: ( ) , parnteses que servem para

denotar o "alcance" dos conectivos;
Exemplos:
Se a lua quadrada e a neve branca ento a lua no
quadrada. : ((P /\Q) ~ P)
A lua no quadrada se e somente se a neve branca. :
((~ P) Q))
Nessa afirmao, algumas proposies simples podero ser
identificadas:
Proposio simples
- Joo gosta de Maria
- Maria feliz
Representao
P
Q
Representao na lgica proporcional: (P Q) P Q.
22
Lgica para Computao
Outro exemplo:
Se Maria gosta de Jos e Jos feliz, ento Maria feliz.
Mas, se Maria no gosta de Jos, e Jos no feliz, ento Maria
no feliz.
Identificamos:
Proposio simples
Maria gosta de Jos
Jos feliz
Maria feliz
Representao
P
Q
R
Representao da sentena, como uma fbf:

(P Q) R ((~P ~Q) ~R)
Tendo-se uma frmula da lgica proposicional e
conhecendo-se o significado de cada proposio simples que a
compe, possvel escrever uma sentena na linguagem
corrente que represente essa frmula.
Considerando A Jos atleta, B Jos gosta de correr e
C Jos magro possvel escrever as frmulas da lgica
proposicional dadas abaixo, como uma sentena na linguagem
corrente:
a) A B
b) A B ~C
c) A B
d) (A B) C
e) A (B C)
No h uma nica maneira de escrever cada uma das
frmulas acima como uma sentena do nosso idioma.
Apresentamos, abaixo, alguns exemplos de como cada uma pode
ser escrita:
23
Lgica para Computao
a) Se Jos atleta, ento gosta de correr.

Jos atleta, logo gosta de correr.
Jos ser atleta implica em gostar de correr.
b) Jos atleta, gosta de correr mas no magro.
Jos atleta, gosta de correr e no magro.
Jos atleta. Jos gosta de correr. Jos no magro.
c) Jos ser atleta se, e somente se, gostar de correr.
d) Se Jos atleta ou gosta de correr, ento Jos magro.
Jos atleta ou gosta de correr. Portanto, Jos magro.
e) Jos ser atleta se, e somente se, gostar de correr e for
magro.
Tipos de implicaes
Definio: Dadas s proposies compostas P e Q, diz-se
que ocorre uma implicao lgica (ou relao de implicao)
entre P e Q quando a proposio condicional P Q uma
tautologia.
Lgica: se Scrates homem e todos os homens so
mortais, ento Scrates moral.
Definio: se Carlos solteiro, ento ele no casado.
Causal: se chover, ento o telhado fica molhado.
Deciso: se o BEC perder, ento eu como o meu chapu.
Discurso: se Hitler era um gnio, ento eu sou tio de um
chimpanz.O que todas essas implicaes tm em comum? No
pode acontecer de o antecedente ser verdadeiro e o
consequnte ser falso. (implicao material)
24
Lgica para Computao
EXERCCIOS
1. Considere as proposies simples A Est frio, B Est
chovendo e C Est quente. Observando a Tabela 1 e usando o
alfabeto da lgica proposicional, representar as proposies:
a) Est frio e est chovendo.
b) Est frio mas no est chovendo.
c) Est chovendo ou est quente.
d) Se est frio ento no est quente.
e) Estar frio se, e somente se, estiver chovendo.
f) Est quente ou est chovendo.
g) Se est frio e est chovendo, ento no est quente.
h) Se est quente, ento no est chovendo nem est frio.
i) Estar frio condio suficiente para chover.
j) Est chovendo, logo no est quente.
k) Estar chovendo implica em estar frio.
2. Considere P A casa bonita, Q A porta pequena e R
A janela grande. Escreva uma sentena em linguagem
corrente correspondente s seguintes frmulas da lgica
proposicional:
a) P Q
f) P Q
b) P Q
g) P Q
c) ~P
h) ~(P Q)
d) (P Q) R
i) (P Q) (P R)
e) ((P Q) R) Q
j) Q (P R)
2.2 Semntica da lgica proposicional

A semntica de uma linguagem se ocupa dos significados
dos smbolos sintticos dessa linguagem.
No basta escrever corretamente uma fbf. Faz-se
necessrio atribuir valores a essas frmulas.
25
Lgica para Computao
2.2.1 Interpretao dos conectivos lgicos

A semntica dos elementos sintticos da Lgica
Proposicional uma funo cujo domnio so as fbf da lgica
proposicional e cujo contradomnio o conjunto {V, F}, ou seja, a
interpretao de uma proposio simples resultar em V ou F. Por
esse motivo, ela chamada lgica bivalente.
Antes de passar semntica de cada conectivo lgico,
vejamos algumas consideraes sobre a construo de tabela
verdade.
Uma forma de avaliar o valor lgico de uma proposio
construir a tabela verdade para essa proposio.
Inicia-se a construo de uma tabela verdade fazendo
todas as combinaes possveis dos valores verdade de cada
proposio simples.
Uma proposio simples tem a tabela verdade formada por
duas linhas, pois s pode ter dois valores verdade possveis:
verdadeiro ou falso. Se a proposio for composta por duas
proposies simples, P e Q, por exemplo, sero possveis quatro
combinaes de valores verdade simultaneamente: ambas
falsas, ambas verdadeiras e uma falsa e outra verdadeira.
Escrevendo essas possibilidades em forma de tabela temos:
Uma proposio
P
V
F
Duas proposies
P
V
V
F
F
Q
V
F
V
F
2.2.1.1 Negao de uma proposio

A negao de uma proposio P obtida acrescentando-se
falso que ou No verdade que antes de P ou inserindo-se
a palavra no em P. Representa-se a negao por ~P (alguns
autores usam P, outros preferem P').
26
Lgica para Computao
Observe exemplos de negao de uma proposio na Tabela

2.
Valor verdade Representao
(valor lgico)
simblica
Proposio
Manaus est no Brasil.
Manaus no est no Brasil.
falso que Manaus est no Brasil.
No verdade que Manaus no est no Brasil
3+4=5
falso que 3 + 4 = 5
3+45
V
F
F
V
F
V
V
P
~P
~P
~(~P)
Q
~Q
~Q
Tabela 2 Valor verdade de uma proposio.
A negao de uma proposio deve ser feita com cuidado,

principalmente quando se trata de uma proposio composta.
Observe a tabela 3.
Proposio
Negao correta
O dia est quente
O dia no est quente.

falso que o dia est quente.
No verdade que o dia est
quente.
Paulo baixo e
gordo
falso que Paulo seja baixo e

gordo.
Paulo no baixo ou no
gordo
Paulo alto ou magro.
O rio raso ou no falso que o rio seja raso ou

est poludo
no esteja poludo.
No verdade que o rio raso
ou no est poludo
O rio fundo e est poludo
Negao incorreta
Paulo alto e
magro.
Observar que basta
que ele no tenha
um dos atributos
para estar negada
a afirmao inicial.
O rio no raso ou
est poludo
Tabela 3 Negao de uma proposio.
importante observar que, ao negar uma proposio

composta, quando se nega cada proposio simples deve-se
negar tambm o conectivo.
27
Lgica para Computao
Tabela verdade da negao:
~P
Operao Lgica da Negao

A operao da negao a mais simples operao lgica,
representada pelo operador ~.
Embora seja simples, negar uma proposio no apenas
afirmar algo diferente do que foi afirmado, verdadeiro no caso
da proposio dada ser falsa, e falso no caso de ela ser
verdadeira. Negar "2 + 2 = 5" no escrever "2 + 2 = 4". A negao
de "Roma a capital da Espanha" no "Roma a capital da
Itlia" (nem "Madri a capital da Espanha"). A negao de "Meu
carro verde" no "Meu carro azul".
Quando duas proposies simples so ligadas pelo
conectivo e (/\), a proposio composta resultante a conjuno
das proposies simples iniciais. Por exemplo, "Joo corintiano
e 2 + 2 = 5", "Plato era grego e Pilatos era romano" so
proposies que representam conjunes de proposies
simples.
A conjuno de duas proposies verdadeira apenas
quando as proposies constituintes so, ambas, verdadeiras.
Assim, a conjuno "Joo corinthiano e 2 + 2 = 5" falsa,
independentemente de Joo ser ou no corinthiano, uma vez
que a segunda proposio simples (2 + 2 = 5) falsa. Por outro
lado, a conjuno "Plato era grego e Pilatos era romano"
verdadeira.
Chama-se, no entanto, a ateno para o seguinte: em
linguagem corrente nem sempre a negao de uma proposio se
faz antepondo no ao verbo da proposio, posto que a
proposio se pode iniciar com "nem". Assim, para l da
considerao lingustica da mudana de tempo do verbo, a
negao deve traduzir-se do seguinte modo:
no verdade que, no princpio do enunciado
28 singular.
Lgica para Computao
Exemplo:
J: O Joo est a estudar.
~ J: no verdade que o Joo esteja a estudar.
- fazendo a negao do verbo, quando o juzo
singular.
Exemplo:
P: Camilo escreveu Amor de Perdio.
~ P: Camilo no escreveu "Amor de Perdio".
- nem todos, no princpio da frase, quando a
proposio se inicia com 'Todos'.
Exemplo:
Q: Todos os homens so brancos
~ Q: Nem todos os homens so brancos.
- Fazendo a transformao da proposio,
servindo-nos das 2s Leis de De Morgan. Negar que todos
sejam, equivale a Alguns no so; negar que
nenhum equivale a Alguns so; negar que alguns
so equivale a nenhum ; e negar que Alguns no
so equivale a Todos so.Exemplos:
P: Todos os homens so brancos.
~ P: Alguns homens no so brancos.
Q: Nenhum homem branco.
~ Q: Alguns homens so brancos.
R: Alguns homens so brancos.
~ R: Nenhum homem branco.
S: Alguns homens no so brancos.
~ S: Todos os homens so brancos.
29
Lgica para Computao
(diferente), em proposies matemticas.
Exemplos:
P: 4 = 3
~ P: 4 3
Q: 3 > 0
~ Q: 3 0
EXERCCIOS
1. D a negao das seguintes proposies:
a) O processador rpido, mas a impressora lenta.
b) O processador rpido ou a impressora lenta.
c) Pepinos so verdes e no tm sementes.
d) A comida boa ou o servio excelente.
e) Nem a comida boa nem o servio excelente.
2. D o valor lgico das proposies:
a) 16 no um nmero mpar.
b) No verdade que 14 um nmero mpar.
c) No verdade que 11 no um nmero par.
d) 3 + 5 8
e) O Solimes o menor rio do mundo.
3. Qual das seguintes proposies representa ~A se A a
proposio Jlia gosta de sorvete mas detesta creme.
a) Jlia detesta sorvete e creme.
b) Jlia no gosta de sorvete nem de creme.
c) Jlia no gosta de sorvete mas adora creme.
d) Jlia odeia sorvete ou gosta de creme.
30
Lgica para Computao

Quando duas proposies so combinadas pelo conectivo
e formam uma proposio composta, chamada conjuno.
A conjuno e entre duas proposies P, Q representada
por P Q e se l P e Q.
Exemplos:
(1) Paris est na Frana
(2) Paris est na Frana
(3) Paris est na Inglaterra
(4) Paris est na Inglaterra
e
e
e
e
2 + 2 = 4.
2 + 2 = 5.
2 + 2 = 4.
2 + 2 = 5.
As quatro proposies acima podem ser representadas por

P e Q ou, na linguagem simblica, por P Q.
No exemplo (1), P e Q so ambas verdadeiras. Nesse caso,
a conjuno verdadeira.
Nos exemplos (2) e (3) uma verdadeira e outra falsa. A
conjuno resulta em valor verdade (ou valor lgico) falso.
No ltimo exemplo, ambas as proposies, P e Q, so
falsas e a conjuno tambm resulta em falso.
Concluso:
A conjuno entre duas proposies s verdadeira se
ambas o forem.
Tabela verdade da conjuno:
P
V
V
F
F
Q
V
F
V
F
PQ
V
F
F
F
31
Lgica para Computao
EXERCCIOS
1. D o valor lgico das proposies abaixo:
a) 4 par e 6 mpar
b) 4 = 2 + 2 e 5 + 5 = 10
c) A lua um satlite e a Terra um planeta.
d) Roma capital da Frana e Londres capital do Brasil.
e) 6 + 4 = 12 e Manaus a capital do Amazonas.
2.2.1.3 Disjuno
A proposio Joo alto ou Maria bonita uma
proposio composta, onde Joo alto uma proposio
simples e Maria bonita outra proposio simples. Quando se
unem essas duas proposies simples pelo conectivo ou, temse uma proposio composta. A proposio composta obtida pela
combinao de duas proposies simples e a palavra ou (com
sentido e/ou), chamada de disjuno.
A disjuno das proposies P e Q representada por
P Q.
O valor verdade da proposio composta acima ser
determinado pelo valor verdade de cada uma das proposies
simples que a formam. Se for verdade apenas a proposio Joo
alto ou apenas a proposio Maria bonita ou, ainda, se
ambas as proposies forem verdadeiras, a conjuno resultar
em valor lgico verdadeiro.
A disjuno de duas proposies ser falsa somente quando
ambas as proposies forem falsas.
Tabela verdade da disjuno:
32
P
V
V
F
F
Q
V
F
V
F
PQ
V
V
V
F
Lgica para Computao
EXERCCIOS
1. D o valor verdade das proposies:
a) O homem um animal ou 5 + 4 = 15
b) Fleming descobriu a penicilina ou Newton foi um fsico.
c) Ou Braslia a capital do Cear ou Fortaleza a capital
do Cear.
d) Ou o Sol um satlite de Marte ou a Terra uma estrela.
e) Ou o Sol uma estrela ou Pluto um planeta.
2.2.1.4 Condicional
Uma proposio do tipo se P ento Q chamada
condicional e designada por P Q.
Em P Q, P a proposio antecedente, e Q a
conseqente.
Considere a frase Se eu me sair bem na prova, ento irei ao
cinema.
Se essa pessoa sair-se bem na prova, dizer que ela no ir ao
cinema, atribuir o valor lgico falso proposio condicional,
pois a mesma afirmou que, saindo-se bem na prova, ir ao
cinema. Ou seja, quando o antecedente verdadeiro e o
conseqente falso, o condicional falso.
Caso a pessoa saia-se mal na prova, nada se pode afirmar
sobre se ir ou no ao cinema. A frase no d nenhuma
informao nesse sentido. Por isso, convencionou-se que P Q
ser verdadeira quando P for falsa.
A declarao o fogo condio necessria para a fumaa
pode ser dito se houver fumaa ento haver fogo.
Antecedente: h fumaa, conseqente h fogo. Por outro
lado, o fato de haver fogo no leva concluso de h fumaa.
Dizendo de outra forma: em P Q, se o fato de P ser verdadeira
levar a Q ser verdadeira, no quer dizer que quando Q
verdadeira P tambm ser.
33
Lgica para Computao
Tabela verdade do condicional:

P
V
V
F
F
Q
V
F
V
F
PQ
V
F
V
V
EXERCCIOS
1. D o antecedente e o conseqente das seguintes
proposies:
a) Se a chuva continuar, ento o rio vai transbordar.
b) Uma condio suficiente para faltar energia, que a
chave central desligue.
c) Uma boa dieta uma condio necessria para um gato
ser saudvel.
d) A definio ficar errada apenas se for alterada.
2. D o valor verdade das proposies abaixo:
a) Se a Lua um satlite ento a terra um planeta.
b) Um corpo celeste no um satlite se gira em torno de
um planeta.
c) Se Mimi um gato, ento tem quatro patas. (Supor que
existe um gato chamado Mimi)
d) Se a Terra uma estrela ento a Lua um planeta.
2.2.1.5 Bicondicional
34
Uma proposio da forma P se, e somente se, Q dita

bicondicional. representada por P Q.
Uma proposio bicondicional ser verdadeira quando
ambas as proposies componentes so de mesmo valor verdade.
E ser falsa quando as duas proposies tm valores opostos.
Lgica para Computao
Obs.: o conectivo se e somente se pode ser escrito de

forma abreviada: sse.
P
V
V
F
F
Q
V
F
V
F
PQ
V
F
F
V
EXERCCIOS
1. D o valor verdade das seguintes proposies:
a) Amarelo ser preto se, e somente se, vermelho for
branco.
b) 3 + 4 = 7 se e somente se 8 x 5 = 50.
c) 1 + 1 = 4 se, e somente se, 7 + 3 = 10.
d) Azul no verde se, e somente se, preto for lils.
e) No verdade que 1 + 1 = 3 se, e somente se, 2 + 2 = 5.
2.2.1.6 Disjuno exclusiva

Dadas duas proposies P e Q, a disjuno exclusiva
definida como sendo verdadeira se apenas uma delas
verdadeira. Pode-se ler P ou Q mas no ambas.
Representaremos por .
A disjuno exclusiva representada em programao
pelo operador XOR, que um acrnimo da expresso inglesa
exclusive or.
35
Lgica para Computao
Tabela verdade do ou exclusivo:

P
V
V
F
F
Q
V
F
V
F
PQ
F
V
V
F
Observe que a disjuno exclusiva no foi apresentada

como um conectivo do alfabeto da lgica proposicional. No s
esse como outros conectivos podem ser definidos a partir
daqueles.
O significado de P ou Q mas no ambos como um
conectivo uma simplificao da frmula (P Q) ~(P Q).
EXERCCIOS
1. D o valor verdade das proposies:
a) Quando voc ligou eu estava dormindo ou estava
passeando.
b) Quando voc ligou eu estava em casa ou estava
dormindo.
c) Quando voc ligou eu no estava em casa ou estava
dormindo.
d) Para sobremesa, ou escolho goiabada ou bananada.
2.2.2 Interpretao de uma fbf
A interpretao de uma fbf composta depende da
interpretao de cada proposio simples da frmula.
Exemplo 1:
Seja H = (P Q). Existem quatro interpretaes possveis
para H. Basta observar a tabela verdade da disjuno.
Qual a interpretao de H, se H = (P Q) P, sabendo que
36 I[P] = V e I[Q] = F?
Lgica para Computao
Para responder a essa pergunta, analisa-se o valor da

frmula, a partir das interpretaes conhecidas:
P
V
Q
F
P
V
Com I[P] = V e I[Q] = F, P Q resulta em verdadeiro.

Verdadeiro P (verdadeiro verdadeiro) resulta em
verdadeiro. Logo, I[H] = V
P
V
Q
F
P
V
H
V
Exemplo 2:
Qual a interpretao da frmula E = (( ~P Q) (R P),
sabendo que I[P] = V e I[Q] = F?
Soluo:
Como na anlise da frmula anterior, inicialmente lanase na tabela os valores das interpretaes conhecidas:
(~
P
V
Q)
F
(R
P)
V
Sendo I[P] = V, I[~P] tem valor F. Conseqentemente,

I[~P Q] = F. No se conhecendo a interpretao de R, no
possvel concluir pela interpretao de R P. Por outro lado,
~P Q o antecedente do condicional. Quando o antecedente de
um condicional falso, este resulta em verdadeiro,
independente do valor lgico do conseqente. Dessa forma,
pode-se concluir que I[E] = V, mesmo no se conhecendo I[Q]. O
quadro final dessa anlise ser:
(~
F
P
V
Q)
F
(R
P)
V
E
V
37
Lgica para Computao
Exemplo 3:
Sendo G = P Q e sabendo-se que I[G] = V, o que se pode
concluir a respeito de I[P] e I[Q]?
Soluo:
A disjuno verdade quanto pelo menos um de seus
componentes verdadeiro, existindo trs situaes possveis.
Dessa forma, nada se pode concluir sobre o valor verdade de P e
de Q.
P
?
Q
?
G
V
EXERCCIOS
1. Seja I uma interpretao tal que I[P Q] = F. O que se
pode deduzir a respeito dos resultados das interpretaes:
a) I[~P Q]
b) I[P ~Q]
c) I[Q P]
Soluo
S h uma situao em que I[P Q] = F: quando I[P] = V e
I[Q] = F. Com esses valores lgicos de P e Q, analisa-se cada uma
das frmulas dadas para concluir, ou no, pelo seu valor verdade.
2. Qual a interpretao da frmula G, abaixo, sabendo que
I[P] = V e I[Q] = V?
G = (P (~Q R)) ~(Q (P ~R))
38

Lgica para Computao
Captulo 3
O Clculo Proposicional
Tem por objetivo avaliar o valor verdade de uma frmula.
3.1 Proposies
Chama-se sentena ou proposio todo o conjunto de
palavras ou smbolos que exprimem um pensamento de
sentido completo. Sentena ou proposio se distinguem do
nome, o qual designa um objeto.
Exemplo de Nomes:
Pedro
O co do menino.
43
Exemplos de Proposies:
1. A lua um satlite da terra.
2. O filho do Presidente do Brasil, em 1970, era
mdico.
3. 3 x 5 = 5 x 3
4. Onde voc mora?
5. Que belo jardim o desta praa!
6. Escreva um verso.
7. Pedro estuda e trabalha
8. Duas retas de um plano so paralelas ou incidentes.
9. Se Pedro estuda, ento tem xito na escola.
10. Vou ao cinema se e somente se conseguir dinheiro.
39
Lgica para Computao
Na lgica, restringimo-nos a uma classe de proposies,

que so as declarativas e que s aceitam dois valores:
Verdadeiro(V) ou r falso (F), um excluindo o outro.
Assim, exclumos de nossas consideraes:
- Proposies exclamativas, como a de n 5.
- Proposies interrogativas, como a do n 4.
- Proposies imperativas, como a do n 6.
So declarativas as nmeros 1 at 3 e as de 7 at 10.
A lgica matemtica adota como regras fundamentais os
dois seguintes princpios ou axiomas:
I.PRINCPIO DA NO CONTRADIO: Uma proposio no
pode ser verdadeira e falsa ao mesmo tempo.
II.PRINCPIO DO TERCEIRO EXCLUDO: Qualquer
proposio verdadeira ou falsa, no podendo ser nada mais
do que isso.
Por exemplo, as proposies 1 e 3 so ambas
verdadeiras, mas as 3 proposies seguintes so falsas:
Vasco da Gama descobriu o Brasil.
Dante escreveu os Lusadas.
um nmero inteiro.
Obs: Cames escreveu Os Lusadas.
As proposies so geralmente designadas pelas letras
latinas minsculas p, q, r, s... (sem ndices ou acentos).
EXERCCIOS
1)Quais so os nomes e quais so as proposies?
40
a) O nmero 3 maior que o nmero 5.

b) A terra um planeta.
c) 9-12
d) 9
e) 8*7 = 56
f) O gato da menina.
g) Um bom livro de matemtica.
h) 3 + 5 <> 5 + 3
Lgica para Computao
i) Se chover hoje, ento a rua ficar molhada.

j) O sol brilha e queima as plantas.
k) Jorge gacho ou Catarinense.
l) Um tringulo retngulo se e se somente se tem um
ngulo reto.
m) Tringulo eqiltero.
n) Se um tringulo retngulo, ento, dois de seus
lados so perpendiculares
3.2 Ordem de precedncia entre os operadores

Para avaliar o valor verdade de uma frmula da lgica
proposicional, a precedncia dos operadores deve ser
observada. Abaixo so apresentados os operadores lgicos, da
maior para a menor precedncia:
1. expresses entre parnteses, resolve-se a partir dos
parnteses mais internos para os mais externos.
2. ~ (negao)
3. , (conjuno e disjuno tm a mesma precedncia,
operando-se o que ocorrer primeiro, da esquerda para a direita).
4.
5.
Isto significa que, para avaliar a frmula A B C, como
no h parnteses, avalia-se primeiro a conjuno (), depois o
condicional ().
41
Lgica para Computao
3.3 Tabela verdade.

Para construir a tabela verdade de uma frmula, inicia-se
pela composio, em conjunto, de todos os valores lgicos das
proposies simples que compem uma frmula.
Considerando a frmula (A B) C, vemos que a mesma
possui trs proposies simples. Fazendo todas as combinaes
possveis dos valores verdade dessas proposies simples temos:
A
V
V
V
V
F
F
F
F
B
V
V
F
F
V
V
F
F
C
V
F
V
F
V
F
V
F
Quando os conectivos lgicos foram apresentados,

tnhamos tabelas verdade com duas proposies simples, cada
uma com quatro linhas. No exemplo acima, temos uma frmula
com trs proposies simples e a respectiva tabela verdade tem
oito linhas. Podemos concluir que o nmero de linhas de uma
tabela verdade obtido por 2n linhas, sendo n o nmero de
proposies simples que a frmula contm.
O passo seguinte analisar a frmula, de acordo com a
precedncia dos operadores, um operador por coluna da tabela.
Exemplos:
Construir a tabela verdade para as frmulas G e H abaixo:
a) G = A B A B
42
Como a frmula acima no contm parnteses, deve-se,

ento, seguir a ordem de precedncia dos operadores na anlise
Lgica para Computao
Exemplos:
Construir a tabela verdade para as frmulas G e H abaixo:
A
V
V
F
F
B
V
F
V
F
AB
V
F
F
F
A seguir, acrescenta-se outra coluna e faz-se a operao do

conectivo
A
V
V
F
F
B
V
F
V
F
AB
V
F
F
F
AB
V
V
V
F
Por fim, acrescenta-se mais uma coluna e avalia-se o

conectivo , considerando como antecedentes os valores da 3a
coluna e como conseqentes os valores da 4a coluna,
completando a tabela verdade.
A
V
V
F
F
B
V
F
V
F
AB
V
F
F
F
AB
V
V
V
F
AB A B
V
V
V
V
Conclui-se que o valor da frmula G VVVV.

Outra maneira de fazer uma tabela verdade criar uma
coluna para cada smbolo da frmula e realizar as operaes
seguindo a ordem de precedncia dos operadores.
Dessa segunda maneira, a tabela verdade da frmula acima
43
Lgica para Computao
inicia escrevendo toda a frmula, cada smbolo em uma coluna,

e fazendo a composio de todas as possibilidades dos valores
lgicos de A e B.
1
A
V
V
F
F
2
B
V
F
V
F
Etapa
3
A
5
B
7
A
9
B
O primeiro conectivo a ser avaliado o , o que feito em

duas etapas: na etapa 1, repete-se os valores verdade de A e B
das colunas 1 e 2 nas colunas 3 e 5, respectivamente e na etapa 2
opera-se o :
1
A
V
V
F
F
2
B
V
F
V
F
Etapa
3
A
V
V
F
F
1
V
F
F
F
2
5
B
V
F
V
F
1
7
A
9
B
A seguir opera-se o . De forma semelhante ao que foi feito

nas etapas 1 e 2, a etapa 3 consiste em copiar os valores de A e B
para as colunas 7 e 9, respectivamente, e na etapa 4 anota-se o
resultado da disjuno entre A e B, gerando a tabela:
1
A
V
V
F
F
44
2
B
V
F
V
F
Etapa
3
A
V
V
F
F
1
V
F
F
F
2
5
B
V
F
V
F
1
7
A
V
V
F
F
3
V
V
V
F
4
9
B
V
F
V
F
3
Lgica para Computao
Finalmente, passa-se etapa 5, que avaliar o condicional,

sendo o antecedente os valores da coluna 4 (etapa 2) e os
conseqentes os valores constantes da coluna 8 (etapa 4),
gerando a tabela verdade final:
1
A
V
V
F
F
2
B
V
F
V
F
Etapa
3
A
V
V
F
F
1
V
F
F
F
2
5
B
V
F
V
F
1
V
V
V
V
5
7
A
V
V
F
F
3
V
V
V
F
4
9
B
V
F
V
F
3
Obs.: A diferena bsica entre uma e outra maneira de

construir a tabela verdade que na primeira forma a ltima
coluna sempre corresponde ao conectivo principal, enquanto na
segunda, o conectivo principal continua sendo o ltimo a ser
avaliado mas no est situado na ltima coluna.
b) H = ((A B) C) (B ~C)
Aps fazer as combinaes de valores verdade das
proposies simples, procede-se avaliao da expresso do
parntese mais interno (A B):
A
V
V
V
V
F
F
F
F
B
V
V
F
F
V
V
F
F
C
V
F
V
F
V
F
V
F
AB
V
V
V
V
V
V
F
F
45
Lgica para Computao
A seguir, considera-se a quarta coluna como o antecedente

e a terceira coluna como conseqente, e avalia-se o condicional
() do parntese mais externo ((A B) C).
A
V
V
V
V
F
F
F
F
B
V
V
F
F
V
V
F
F
C
V
F
V
F
V
F
V
F
AB
V
V
V
V
V
V
F
F
((A B) C)
V
F
V
F
V
F
V
V
Depois, faz-se a avaliao de ~C, seguindo-se a avaliao

do condicional (B ~C) e, por fim, do bicondicional, entre os
valores das colunas 5 e 7.
1
A
V
V
V
V
F
F
F
F
2
B
V
V
F
F
V
V
F
F
3
C
V
F
V
F
V
F
V
F
4
AB
V
V
V
V
V
V
F
F
5
((A B) C)
V
F
V
F
V
F
V
V
6
7
~C (B ~C)
F
F
V
V
F
V
V
V
F
F
V
V
F
V
V
V
O valor da frmula H : FFVFFFVV.

Obs.: Caso as combinaes de valores verdade iniciais (trs
primeiras colunas da tabela) estejam em uma ordem diversa da
apresentada acima a ordem dos valores verdade (V, F) do
resultado poder ser diferente da apresentada. No caso do
exemplo acima, se a combinao da 1a e da 2a linhas, estiverem
46
F
F
V
F
F
F
V
V
Lgica para Computao
em outra posio, os dois valores F iniciais do resultado no sero

os primeiros. Seja qual for a ordem das combinaes iniciais, o
resultado sempre ter 5 valores F e trs V.
A frmula H = ((A B) C) (B ~C), do exemplo
anterior, avaliada pelo segundo mtodo, onde se escreve cada
smbolo em uma coluna, feita como da forma abaixo. Notar que
importante representar os parnteses da frmula, j que esses
influem na ordem das operaes. Tambm vale destacar que o
smbolo de negao deve figurar em uma coluna, separado da
proposio que est negando.
1
A
V
V
V
V
F
F
F
F
2
B
V
V
F
F
V
V
F
F
3
4
C ((A
V
F
V
F
V
F
V
F
5 6 7 8 9 10 11 12 13
B) C) (B ~ C)
O parntese mais interno o primeiro a ser avaliado. A

etapa 1 repetir os valores verdade de A e B e a etapa 2 fazer a
conjuno de A e B. Aps a etapa 2 a tabela verdade assume o
aspecto abaixo:
1
A
V
V
V
V
F
F
F
F
2
B
V
V
F
F
V
V
F
F
Etapa
3
C
V
F
V
F
V
F
V
F
4
((A
V
V
V
V
F
F
F
F
1
V
V
V
V
V
V
F
F
2
6 7 8 9 10 11 12 13
B) C) (B ~ C)
V
V
F
F
V
V
F
F
1
47
Lgica para Computao
A etapa 3 transcrever os valores verdade de C para a

coluna 8. A etapa 4 ser fazer o condicional entre a coluna 5 (),
como antecedente e a coluna 8 (C), como conseqente.
Coluna
1
A
V
V
V
V
F
F
F
F
2 3
4
B C ((A
V V V
V F V
F V V
F F V
V V F
V F
F
F V F
F F
F
Etapa
1
V
V
V
V
V
V
F
F
2
6
B)
V
V
F
F
V
V
F
F
1
V
F
V
F
V
F
V
V
4
8 9 10 11 12 13
C) (B ~ C)
V
F
V
F
V
F
V
F
3
A etapa 5 transcrever os valores verdade de B e C para as

colunas 10 e 13, respectivamente.
importante observar que a negao precede todos os
outros operadores. Por isso, antes de operar o condicional da
coluna 11 necessrio fazer a negao de C (coluna 12), que
constitui a etapa 6. O passo 7 avaliar o condicional da coluna
11, gerando a posio abaixo da tabela verdade:
Coluna
48
1
A
V
V
V
V
F
F
F
F
2 3
4
B C ((A
V V V
V F V
F V V
F F V
V V F
V F
F
F V F
F F
F
Etapa
1
V
V
V
V
V
V
F
F
2
6
B)
V
V
F
F
V
V
F
F
1
V
F
V
F
V
F
V
V
4
8 9 10 11
C) (B
V
V F
F
V V
V
F V
F
F V
V
V F
F
V V
V
F V
F
F V
3
5 7
12
~
F
V
F
V
F
V
F
V
6
13
C)
V
F
V
F
V
F
V
F
5
Lgica para Computao
Para finalizar a construo da tabela verdade, a etapa 8

consiste na avaliao do bicondicional, que ser feita entre o
resultado da expresso do lado esquerdo, que consta da coluna 7
e o resultado da expresso do lado direito, que se encontra na
coluna 11:
1
A
V
V
V
V
F
F
F
F
2
B
V
V
F
F
V
V
F
F
Etapa
3
C
V
F
V
F
V
F
V
F
4
((A
V
V
V
V
F
F
F
F
1
V
V
V
V
V
V
F
F
2
6
B)
V
V
F
F
V
V
F
F
1
V
F
V
F
V
F
V
V
4
8
C)
V
F
V
F
V
F
V
F
3
10
(B
V
V
F
F
V
V
F
F
8 5
F
F
V
F
F
F
V
V
11
F
V
V
V
F
V
V
V
7
12
~
F
V
F
V
F
V
F
V
6
13
C)
V
F
V
F
V
F
V
F
5
A coluna da etapa 8 contm o resultado. Como j se

esperava, esse resultado coincide com o encontrado na tabela
verdade feita anteriormente. E no poderia ser diferente, pois a
mesma frmula s pode gerar um nico resultado, seja qual for o
mtodo empregado para fazer sua avaliao.
EXERCCIOS
1. Faa a tabela verdade para as fbf abaixo:
a) (A B) C
b) A B ~A
c) (A B) ~A B
d) (P (~Q R)) ~(Q (P ~R))
49
Lgica para Computao
3.4 Propriedades semnticas da lgica proporcional

3.4.1 Tautologia
Uma frmula H uma tautologia ou vlida se, e somente
se, para toda interpretao I, I[H] = V
Fazendo-se a tabela verdade para a fbf H = P ~( P Q),
tem-se
P
V
V
F
F
Q
V
F
V
F
PQ
V
F
F
F
~( P Q)
F
V
V
V
P ~( P Q)
V
V
V
V
Observa-se que o valor lgico de H V, ou seja, para toda

interpretao I, I[H] = V. Nesse caso, H uma tautologia.
EXERCCIOS
1 . F az er a t ab e l a v e rd a d e p a ra a f r m ul a
H = (P Q) (P Q) e verificar se a mesma uma tautologia.
2. Mostre que a frmula abaixo uma tautologia:
(P Q) (~P Q)
3.4.2 Contradio
Uma frmula contraditria (ou uma contradio) se, e
somente se, para toda interpretao I, I[H] = F.
Exemplo: (P Q) ~(P Q)
50
P
V
V
F
F
Q
V
F
V
F
P Q ( P Q) ~(P Q)
V
V
F
F
V
F
F
V
F
F
F
V
F
F
F
F
Lgica para Computao
EXERCCIOS
1) Mostre que as frmulas abaixo so contradies:
a) ~(P Q) Q
b) ~(P (P Q))
3.4.3 Frmula satisfatvel.
Uma formula satisfatvel (uma indeterminao ou uma
contingncia), se existe pelo menos uma interpretao I, tal que
I[H] = V
Por essa definio, basta que apenas uma interpretao I,
de H, seja verdadeira, ou seja, basta que apenas uma linha da
tabela verdade de H resulte em V, para que a frmula seja
classificada como satisfatvel.
Exemplo: construir a tabela verdade para a frmula
G = ~((A B) A)
A
V
V
F
F
B
V
F
V
F
(A B)
V
F
V
V
(A B) A
V
V
F
V
~
F
F
V
F
EXERCCIOS
1) Construa a tabela verdade para as frmulas abaixo e
prove que so satisfatveis:
a) H = (P Q) Q
b) G = (P Q) (P Q)
51
Lgica para Computao
3.4.4 Equivalncia lgica (representada por )

Dadas duas frmulas H e G, G equivale a H (G H), se e
somente se, para toda interpretao I, I[G] = I[H]
Fazendo a tabela verdade para a fbf H = (A B) (B A),
temos:
A
V
V
F
F
B
V
F
V
F
AB B A
V
V
F
V
V
F
V
V
(A B) (B A)
V
F
F
V
Comparando a tabela verdade da frmula H, acima, com a

tabela verdade frmula P Q (bicondicional, vista no item
2.2.5), verifica-se que so idnticas. Diz-se, ento, que a
frmula H e o bicondicional so equivalentes.
EXERCCIOS
Fazer as tabelas verdade para as frmulas G e H abaixo e
verificar se so equivalentes (verificar se G
H):
a) G = A B
e
H = ~(A B)
b) G = ~(A B) e
H = ~A ~B
3.3.5 Implicao lgica (representada por )

Sejam as frmulas G e H. As trs condies seguintes so
equivalentes:
52
(1) ~G H uma tautologia.

(2) G ~H uma contradio.
(3) G H uma tautologia.
Lgica para Computao
Uma frmula G implica logicamente uma frmula H (G H)

se uma das condies acima for satisfeita.
Exemplos: Considere as frmulas
a) K = (P Q) Q
b) L = P Q
c) M = P Q
As tabelas verdade de K, L e M so:
P
V
V
F
F
Q
V
F
V
F
K
PQ Q
V
V
F
F
F
V
F
F
L
PQ
V
F
F
F
M
PQ
V
V
V
F
Resumindo:
P
V
V
F
F
Q
V
F
V
F
K
V
F
V
F
L
V
F
F
F
M
V
V
V
F
K L (l-se K implica logicamente em L) se satisfizer a uma

das trs condies acima especificadas. Escolhendo a condio
(1), sua tabela verdade ser:
K
V
F
V
F
L
V
F
F
F
~K
F
V
F
V
~K L
V
V
F
V
que no uma tautologia. Logo, K no implica logicamente em L. 53
Lgica para Computao
Outra maneira de verificar a implicao lgica:

Dadas duas frmulas G e H, G implica H (G H) se, e
somente se, para toda interpretao I,
se I[G] = T, ento I[H] = T
Pela definio de implicao acima, K implica M. Observe
que para as duas interpretaes I[K] = V , I[M] = V tambm.
Quando I[K] = F, nada se pode afirmar sobre I[M]. Da mesma
forma, L implica K e L implica M. J no se pode dizer o mesmo a
respeito de M em relao a L e K, uma vez que para todas as
interrpretaes I[M] = V, nem todas as interpretaes de I[L] e
I[K] so tambm verdadeiras.
EXERCCIOS
2) Construa as tabelas verdade para as frmulas A = (~P
Q) e B = (P Q) e verifique se A B, usando este ltimo critrio
de implicao.
54
Lgica para Computao
Usando a mesma condio (1) para testar se L K, temos:

K
V
F
V
F
L
V
F
F
F
~L
F
V
V
V
~L K
V
V
V
V
resulta em uma tautologia. Logo, L implica logicamente em K.

Aplicando o critrio (2), G ~H, para verificar se L K,
faz-se a tabela verdade para L ~K, chega-se ao seguinte
resultado:
K
V
F
V
F
L
V
F
F
F
~K
F
V
F
V
L ~K
F
F
F
F
que uma contradio.

Aplicando o critrio (3), que fazer a tabela verdade
para L K, verifica-se que uma tautologia.
Chega-se concluso que, se duas frmulas atendem a um
dos critrios acima, pode-se afirmar que uma implica
logicamente na outra, mesmo que no se teste os outros dois
critrios.
EXERCCIOS
1) Considerando as frmulas K, L, e M do ltimo exemplo,
verificar se:
a) L M
b) M K
c) L K
d) K M
57

Lgica para Computao
Captulo 4
Validade de um
Argumento
4.1 Argumento
Suponha que seja feita a pergunta: A Terra tem luz
prpria?. Uma forma de buscar a resposta procurar um termo
intermedirio que se relacione com outros termos da pergunta.
Esse termo pode ser planeta. A partir desse termo, pode-se
formular as seguintes sentenas:
Um planeta no tem luz prpria.
A Terra um planeta.
Logo, a Terra no tem luz prpria.
A terceira sentena uma concluso, que foi tirada a partir
das duas primeiras e, com isso, a pergunta foi respondida.
Outro exemplo:
3+2=5
5=4+1
3+2=4+1
56
Raciocnios como os apresentados acima, so da forma

silogstica.
Lgica para Computao
Aristteles definiu o silogismo como:

O silogismo uma srie de palavras em que, sendo
admitidas certas coisas, delas resultar necessariamente
alguma outra, pela simples razo de se terem admitido
aquelas.
Silogismo significa ligao, ou seja, a ligao de dois
termos atravs de um terceiro.
As sentenas que servem para provar ou, pelo menos, para
fornecer alguma evidncia para a concluso so chamadas de
premissas. Um conjunto de sentenas, onde algumas so
premissas e outra a concluso chamado de argumento.
Um argumento pode ser escrito de diversas formas.
Vejamos o seguinte exemplo:
Andar de bicicleta um timo exerccio. Josefina anda de
bicicleta. Josefina pratica um timo exerccio.
Alguns autores preferem representar o argumento da
forma:
Andar de bicicleta um timo exerccio.
Josefina anda de bicicleta.
Josefina pratica um timo exerccio. (trs pontos para
identificar a concluso.)
Outros autores preferem a forma:
Andar de bicicleta um timo exerccio.
Josefina anda de bicicleta.
Josefina pratica um timo exerccio. (o smbolo condicional
para identificar a concluso.)
57
Lgica para Computao
O importante caracterizar a concluso. Na lgebra

proposicional as premissas e concluso so representadas por
smbolos proposicionais (letras maisculas).
Um argumento onde a concluso decorre das premissas
um argumento vlido. Argumentos dessa forma so conhecidos
pela expresso latina modus ponens (mtodo de afirmao).
Em um argumento vlido, as premissas so consideradas
provas evidentes da verdade da concluso, caso contrrio no
vlido.
Quando vlido, podemos dizer que a concluso uma
conseqncia lgica das premissas, ou ainda que a concluso
uma inferncia decorrente das premissas.
Exemplo 1: O argumento que segue vlido?
Se eu ganhar na Loteria, serei rico.
Eu ganhei na Loteria.
Logo, sou rico.
Vlido
(a concluso uma decorrncia lgica das duas
premissas.)
Exemplo 2: O argumento que segue vlido?
Se eu ganhar na Loteria, serei rico
Eu no ganhei na Loteria
Logo, no sou rico
No Vlido
(a concluso no uma decorrncia lgica das duas
premissas.)
A lgica se preocupa com o relacionamento entre as
premissas e a concluso, ou seja, com a estrutura e a forma
do raciocnio. A verdade do contedo de cada premissa e da
concluso estudo das demais cincias.
A validade do argumento est diretamente ligada forma
pela qual ele se apresenta (Lgica Formal estuda a forma dos
argumentos).
58
Lgica para Computao
Existem termos que so freqentemente usados para

assinalar a concluso e as premissas de um argumento. Abaixo,
destacamos alguns dos mais freqentemente utilizados:
Indicadores de concluso
logo
portanto
assim
por conseguinte
dessa maneira
neste caso
da
de modo que
ento
assim sendo
segue-se que
o(a) qual implica que
resulta que
podemos deduzir que
Indicadores de premissa
desde que
como
porque
assumindo que
visto que
admitindo que
isto verdade porque
a razo que
em vista de
como conseqncia de
como mostrado pelo fato que
sabendo-se que
supondo que
Um argumento acontece quando se pretende provar ou

demonstrar uma concluso, a partir de uma ou mais
premissas.
Uma maneira de representar, na lgica proposicional, um
argumento :
A viagem para Manacapuru dura uma hora.
Joo ir a Manacapuru
Logo, Joo viajar durante uma hora.
A
B
C
59
Lgica para Computao
Na lgica proposicional, temos: A B C.

Como o operador conjuno () tem precedncia sobre o
condicional (), no necessrio escrever (A B) C. Porm,
h situaes que os parnteses so obrigatrios.
Vejamos o argumento abaixo:
O criminoso primrio, ou cometeu um descuido. Se o
criminoso for primrio, ento ter sua pena diminuda. O
criminoso no primrio. Logo, sua pena no ser diminuda.
Proposio simples
- O criminoso primrio
- O criminoso cometeu um descuido
- O criminoso ter sua pena diminuda.
Representao
P
Q
R
Representao na lgica proporcional:

(P Q) (P R) ~P ~R.
Note que (P R) tem, obrigatoriamente, que vir entre
parnteses. A fbf acima, se escrita da forma (P Q) P R ~P
~R, nos levaria a duas situaes:
primeiro, surgiria a dvida: qual a concluso, o
primeiro ou o segundo condicional?
em segunda instncia, a sua avaliao seguiria a
precedncia dos operadores e primeiro seria feito ((P Q) P),
depois seria avaliado (R ~P) e, por fim, os dois condicionais
restantes , o que levaria a um resultado diferente do esperado.
60
Lgica para Computao
EXERCCIOS
1. Represente na linguagem simblica da Lgica
Proposicional os argumentos:
a) Se Jonas andar e o trem sair no horrio, ele perde o trem.
Se ele perder o trem, ento ele fica triste e volta para
casa. Jonas andou. Portanto, Jonas voltou para casa.
b) Vou para casa somente se no chover e no estiver
quente. No choveu mas est quente. Portanto, no vou
para casa.
4.2 Mtodos para avaliar a validade de um argumento

Verificar se um argumento vlido verificar se o mesmo
uma tautologia, ou seja, se todas as interpretaes (linhas) de
sua tabela verdade resultam em valor lgico verdadeiro (V). Em
ltima instncia, verificar se o valor verdade do conectivo
principal (o ltimo que ser analisado) verdadeiro, para todas
as interpretaes do argumento.
Argumentos podem ser escritos como frmulas da
linguagem da Lgica Proposicional. Entretanto, nem todas as
frmulas so escritas em formato de argumento, composto de
premissas e uma concluso.
Os mtodos de avaliao de um argumento, que sero
vistos a seguir, so mtodos de avaliao geral e se prestam para
avaliar fbf quaisquer. Assim, adotaremos o termo frmula e no
argumento, ao longo dos prximos itens.
Sero estudados quatro mtodos para verificar a validade
de frmulas da lgica proposicional: mtodo da tabela verdade,
mtodo da rvore semntica, mtodo da negao ou absurdo e
deduo lgica.
61
Lgica para Computao
4.2.1 Mtodo da tabela verdade

O mtodo da tabela verdade conhecido, tambm, como
mtodo da fora bruta, por ser um mtodo exaustivo de prova.
Atravs dele, tem-se os resultados de todas as interpretaes
possveis de uma fbf.
Exemplo
Verificar se a fbf H = (P Q) (~Q ~P) vlida.
A construo da tabela verdade deve ser feita conforme o
item 3.2.
P
V
V
F
F
Q
V
F
V
F
PQ
V
F
V
V
~Q
F
V
F
V
~P
F
F
V
V
~Q ~P
V
F
V
V
(P Q) (~Q ~P)
V
V
V
V
Para todas as interpretaes I, I[H] = V. Ento, H uma

frmula vlida ( uma tautologia).
Mas o nmero de linhas de uma tabela verdade dado por
n
2 , onde n o nmero de proposies simples. Quando o nmero
dessas proposies simples aumenta, a tabela verdade torna-se
no recomendvel.
Existem outros mtodos de prova que abreviam o processo
e que sero vistos a seguir.
Exemplo:
1. Construir a tabela verdade de:
((~(P Q)) ((P /\(~Q)) \/ (Q /\(~P))))
62
Lgica para Computao
~P
~Q
P Q
~(P
Q)
P^(~Q)
Q^(~P
)
Sendo A = (P^(~Q) V (Q^(~P)))

B = (~(PQ)((P^(~Q)) V (Q^(~P)))
A proposio uma tautologia.
EXERCCIOS
1) Usando o mtodo da tabela verdade, verificar se o
argumento (S (~C ~Q)) (~C Q) ~S (letra b) do exerccio
da seo anterior) vlido.
2) Construa a tabela verdade das seguintes Formulas e dia
se ela uma Tautologia, Satisfatvel :
A)
((P /\Q) (Q \/ P));
B)
(((P \/ Q) /\(P \/ R))(P /\(Q \/ R)));
C)
((PQ) /\(P(~Q))).
63
Lgica para Computao
4.2.2 Mtodo da rvore Semntica

Uma rvore uma estrutura de dados, composta por ns,
unidos por arestas. Quando cada n se liga a, no mximo, dois
outros ns, essa rvore chamada de rvore binria.
Exemplo de rvore binria:
1
2
4
3
5
6
8
10
7
9
11
Na rvore do exemplo acima, o n 1 chamado de raiz e

est no primeiro nvel da rvore, os ns 2 e 3 esto no segundo
nvel, os ns 4 a 7 esto no terceiro nvel, e assim,
sucessivamente. Os ns que no esto ligados a nenhum n em
um nvel abaixo, so chamados de ns folha. No exemplo acima,
so ns folha: 4, 5, 7, 9, 10 e 11.
Uma rvore binria pode ser utilizada para verificar a
validade de uma frmula da lgica proposicional.
Exemplo 1:
Verificar se a fbf H = (P Q) (~Q ~P) vlida,
utilizando o mtodo da rvore semntica.
O primeiro passo construir uma rvore binria com os ns
1, 2 e 3, como no exemplo acima. A seguir, escolher uma
proposio simples para analisar, por exemplo, a proposio P.
Cada aresta da rvore construda representar um dos valores
64 lgicos possveis de P.
Lgica para Computao
A interpretao de um n corresponde a todas as

interpretaes (arestas) encontradas no caminho percorrido da
raiz at o n em questo.
A anlise de um n consiste em partir da interpretao
desse n e tentar concluir pelo seu valor verdade.
Temos:
1
I[P] = V
2
I[P] = F
3
Para analisar o n nmero 2, comeamos atribuindo o valor

V a todas as ocorrncias de P na frmula H, dada.
Esquematicamente:
(P Q) (~Q ~P)
N 2 = V
V
Como P verdadeiro, podemos concluir que ~P falso
(segunda ocorrncia de P na frmula).
(P Q) (~Q ~P)
N 2 = V
FV
O lado esquerdo do bicondicional um condicional, cujo
antecedente verdadeiro. Nesse caso, o valor verdade desse
condicional depende do conseqente. O lado direito do
bicondicional outro condicional, cujo conseqente falso (se P
verdadeiro, ~P falso), e depende do antecedente para se
poder concluir pelo seu valor lgico. Como no se tem o valor
verdade da expresso do lado esquerdo do bicondicional (P Q),
65
Lgica para Computao
nem da expresso do lado direito (~Q ~P), nada se pode

afirmar sobre o valor lgico desse bicondicional e, portanto,
nada se pode afirmar sobre o valor do n 2:
(P Q) (~Q ~P)
N 2 = V ?
?
? FV
De forma semelhante, analisa-se o n 3:
(P Q) (~Q ~P)
N 3 = F
VF
Quando o antecedente de um condicional falso, esse
condicional tem valor lgico V, independente do valor lgico do
conseqente. Quando o valor lgico do conseqente de um
condicional falso, esse condicional tem valor lgico V,
independente do valor lgico do antecedente. Dessa forma,
possvel concluir pelo valor lgico do bicondicional, uma vez que
se tem os valores lgicos das expresses direita e esquerda
deste.
(P Q) (~Q ~P)
N 3 = F V
V
V VF
Quando se chega concluso do valor verdade (V ou F) da
frmula, atravs da anlise de um n da rvore, esse valor
representado na mesma, abaixo do n e este se torna um n
folha:
1
I[P] = V
2
66
I[P] = F
3
V
Lgica para Computao
Como nada se pode concluir a respeito do n 2, acrescentase a esse n a interpretao de outra proposio simples da
frmula sob anlise:
1
I[P] = V
I[P] = F
I[Q] = V
I[Q] = F
Procede-se anlise do valor verdade dos ns 4 e 5. A

interpretao do n 4 obtida percorrendo-se a rvore a partir
da raiz at o n em questo. O n 4 significa que P e Q tm,
ambas, valor lgico V. Lana-se esses valores na frmula e buscase concluir pelo valor verdade desta:
(P Q) (~Q ~P)
N 4 = V V V V FV V FV
Procedimento semelhante deve ser adotado em ralao ao
n 5. Para esse n tem-se I[P] = V e [Q] = F:
(P Q) (~Q ~P)
N 5 = V F F V VF F FV
Como ambos os condicionais resultam em F, o bicondicional
resulta em V.
rvore semntica final de H:
67
Lgica para Computao
1
I[P] = V
I[P] = F
I[Q] = V
I[Q] = F
5
V
Como todos os ns folha resultaram em V (verdadeiro),

conclui-se que H vlida ( uma tautologia).
Exemplo 2:
Verificar se a frmula G = (P Q) P vlida.
Soluo:
Iniciando com a interpretao de P, tem-se a rvore:
1
I[P] = V
2
I[P] = F
3
Interpretao do n 2: O conectivo principal o segundo

condicional. Como P verdadeiro, nada se pode concluir a
respeito do antecedente do conectivo principal, ou seja, no
possvel concluir pelo valor da expresso (P Q). Mas o
conseqente do conectivo principal tem valor verdadeiro e,
nesse caso, a implicao verdadeira. Logo, o n 2 tem valor
verdadeiro.
(P Q) P
N 2 = V ?
VV
68
Lgica para Computao
A interpretao do n 3 feita assumindo que P tem valor

falso. Independente do valor de Q, o valor do antecedente do
conectivo principal ser verdadeiro e seu conseqente falso. A
frmula resulta em falso.
(P Q) P
N 3 = F V
F F
A rvore semntica de G tem o seguinte aspecto:
1
I[P] = V
I[P] = F
3
V
Para que uma fbf no seja vlida, basta que 1 n folha

apresente valor lgico falso. Como para I[P] = F tem-se I[G] = F,
est demonstrado que G no uma fbf vlida.
Observaes:
1) Como foi possvel concluir pelo valor verdade dos ns 2 e
3, conhecendo-se apenas o valor de P, a rvore no
prossegue em nenhum dos dois ns. Est concluda.
2) Se todos os ns folha tiverem valor lgico falso, a frmula
ser uma contradio. Caso nem todos tenham valor
falso, diz-se que a mesma satisfatvel.
69
Lgica para Computao
EXERCCIOS
1) Construir uma rvore semntica para as frmulas F, G e
H, abaixo, e verificar se so vlidas. Caso a frmula no seja
vlida, diga para que interpretao I a frmula tem valor lgico
falso.
a) F = (P (P Q)) (P Q)
b) G = ~(P Q) ~P
c) H = ((A B) (A C)) A
2) Mostre que o argumento (S (~C ~Q)) (~C Q) ~S
vlido, usando o mtodo da rvore semntica.
4.2.3 Mtodo da negao (ou absurdo)
Esse um mtodo geral de demonstrao. Ser utilizado
nesse contexto para provar se uma fbf uma tautologia.
Suponha que se quer provar a validade de uma frmula H.
Procura-se demonstrar, a princpio, que H falsa. Recorrendo a
uma srie de dedues, pode-se chegar concluso que, de fato,
H falsa, ou pode-se chegar a um absurdo.
Na hiptese de se concluir que H falsa, est provado que
a frmula no uma tautologia.
Quando se tenta provar que H falsa e se chega a um
absurdo, conclui-se que H uma tautologia. Dizendo de outra
forma: se absurdo dizer que H falsa, porque H no falsa, H
vlida, uma tautologia.
Exemplo 1:
Verifique, atravs do mtodo da negao (ou absurdo) se a
frmula G, abaixo, vlida:
G = ((A B) (B C)) (A C)
70
Lgica para Computao
O primeiro passo para a soluo identificar o conectivo

principal, aquele que ser analisado por ltimo e atribuir valor
falso a esse conectivo:
G = ((A B) (B C)) (A C)
F
Sendo o conectivo principal um condicional, o nico caso
em que ser falso quando o antecedente verdadeiro e o
conseqente falso. Faz-se essa suposio:
G = ((A B) (B C)) (A C)
V
F
F
Como o conseqente uma expresso mais simples que o
antecedente, faz-se primeiro sua anlise. Este ser falso,
somente quando seu antecedente for V e o conseqente for F.
Assim, atribui-se valor V proposio A e F proposio C.
Depois, atribui-se esses mesmos valores s demais ocorrncias
das proposies A e C, na frmula, obtendo-se a situao:
G = ((A B) (B C)) (A C)
V
V
F F V F F
Para que o antecedente do conectivo principal, que a
conjuno , seja verdadeiro, as expresses esquerda e
direita deste devem ser, ambas, verdadeiras. Na situao acima,
depende-se do valor de B para se tirar uma concluso. Para que a
expresso A B resulte em V, com A sendo V, B teria que ter valor
V. J a expresso B C s resulta em V se B tiver valor F. Todavia,
um absurdo atribuir valor verdadeiro e falso a B, ao mesmo
tempo. No h como provar que G tem valor lgico falso.
Concluso:
Dizer que G falso um absurdo logo, G vlida. G uma
tautologia.
71
Lgica para Computao
Ausncia de absurdo
Ao se tentar negar uma frmula que se supe, inicialmente,
verdadeira pode-se no chegar a nenhum absurdo. Em outras
palavras, pode-se chegar concluso de que, para uma
determinada interpretao I, a frmula falsa. Nesse caso,
pode-se afirmar que a mesma no vlida, que no uma
tautologia. Entretanto, no se pode dizer que uma contradio
ou que apenas satisfatvel.
Exemplo 2:
Verificar se a frmula H = (P Q) (~P ~Q)
Soluo
Tenta-se provar que H falsa. Para tal, atribui-se o valor
lgico falso ao conectivo principal, aquele que ser avaliado por
ltimo. V-se que .
H = (P Q) (~P ~Q)
F
O bicondicional resulta em falso em duas situaes: quando
o termo esquerda falso e o da direita verdadeiro ou quando
a situao inversa, o termo da esquerda verdadeiro e o da
direita falso. Faz-se necessrio testar as duas situaes.
Poissibilidade 1: H = (P Q) (~P ~Q)
V
F
F
As expresses direita e esquerda so ambas
condicionais. H trs possibilidades de um condicional ser
verdadeiro e uma de ser falso. Por esse motivo, inicia-se pelo
lado direito, onde, para o antecedente ser verdadeiro e o
consequente falso, P deve ter valor F e Q ter valor V. Aplicando
72
Lgica para Computao
esses valores expresso esquerda do bicondicional, chega-se

concluso que esta verdadeira:
H = (P Q) (~P ~Q)
F V V F VF F FV
no se chegando a nenhum absurdo, provando que H falsa para
a interpretao I[P] = F e I[Q] = V. Essa concluso j suficiente
para afirmar que a frmula no vlida.
Para completar a anlise, vejamos a outra situao.
Possibilidade 2: H = (P Q) (~P ~Q)
F
F
V
Desta feita, aconselhvel comear pela subfrmula do
lado esquerdo, obtendo os valores P verdadeiro e Q falso.
Concluindo a anlise no se chega a nenhum absurdo, reforando
o resultado j obtido de que H no vlida.
Poissibilidade 2: H = (P Q) (~P ~Q)
V F F F FV V VF
EXERCCIOS
1. Verificar, usando o mtodo da negao ou absurdo, se os
argumentos abaixo so vlidos:
a) G = A B ~A
b) Se Luiz o presidente, ele est feliz. Luiz est feliz.
Portanto, ele o presidente.
c) H = ((A B) (A C)) A
73
Lgica para Computao
4.2.4 Deduo lgica

A Lgica dispe de duas ferramentas que podem ser
utilizadas pelo pensamento na busca de novos conhecimentos: a
deduo e a induo, que do origem a dois tipos de argumentos:
Dedutivos e Indutivos.
Os Argumentos Dedutivos pretendem que suas premissas
forneam uma prova conclusiva da veracidade da concluso.
Podem ser:
Vlidos: quando suas premissas, se verdadeiras, fornecem
provas convincentes para a concluso. Isto , se as premissas
forem verdadeiras, impossvel que a concluso seja falsa;
Invlidos: no se verifica a caracterstica anterior.
Exemplos de argumentos dedutivos:
Ela toca piano ou violo.
Ela toca piano.
Argumento Invlido
Logo, ela no toca violo.
Todo homem mortal.
Scrates um homem.
Argumento Vlido
Logo, Scrates mortal.
Os Argumentos Indutivos no pretendem que suas
premissas forneam provas cabais da veracidade da concluso,
mas apenas que forneam indicaes dessa veracidade.
(possibilidade, probabilidade)
Seguem do Raciocnio Indutivo, isto , obtm concluses
baseada em observaes/experincias. Enquanto que um
Raciocnio Dedutivo exigi uma prova formal sobre a validade do
74 argumento.
Lgica para Computao
Os termos vlidos e invlidos no se aplicam para os

argumentos indutivos. Eles so avaliados de acordo com a maior
ou a menor probabilidade com que suas concluses sejam
estabelecidas.
Exemplo1:
J oguei uma p ed ra no l ago, e el a afun do u;
Joguei outra pedra no lago e ela tambm afundou;
Joguei mais uma pedra no lago, e ela tambm afundou;
Logo, se eu jogar uma outra pedra no lago, ela vai afundar.
Exemplo2:
A vacina funcionou bem nos ratos.
A vacina funcionou bem nos macacos.
Logo, vai funcionar bem nos humanos.
Exemplo
((CD) C)) ((CD) D)
1. ((CD) C))
2. (CD)
3.C
4.D
HIP
HIP
1,2 MP
1,2 MP
75
Lgica para Computao
Para testar se um argumento do tipo P1 P2 P3 P4 ...

Pn Q uma tautologia, pode-se usar um sistema de regras de
deduo, que modifica uma fbf preservando seu valor lgico.
A prova por deduo supe que as premissas so todas
verdadeiras e segue uma seqncia de demonstrao at
verificar que a concluso verdadeira.
Uma seqncia de demonstrao uma seqncia de fbf,
na qual cada fbf uma hiptese ou obtida atravs da aplicao,
s fbf anteriores, de uma das regras de deduo do sistema
formal.
Uma seqncia de demonstrao para provar que Q uma
concluso vlida numa fbf do tipo P1 P2 P3 P4 ... Pn
Q, tem o formato:
P1
hiptese
P2
hiptese
P3
hiptese
...
Pn
hiptese
fbf1
deduzida de uma ou mais das fbf anteriores, por
uma regra de deduo
fbf2
uma regra de deduo
fbf3
uma regra de deduo
...
Q
uma regra de deduo
4.2.4.1 Regras de deduo
As regras de deduo so de dois tipos: regras de
equivalncia e regras de inferncia.
76
Lgica para Computao
Regras de equivalncia permitem substituir uma fbf por

outra equivalente, sem mudar o valor lgico da frmula.
Relembrando equivalncia lgica, dizer que R S (R
equivale logicamente a S) tem o mesmo significado de R S
uma tautologia.
Embora seja possvel adotar muitas equivalncias lgicas
num sistema formal de regras de deduo, ser adotado um
conjunto mnimo de regras de equivalncia e de inferncia, de
modo que o sistema lgico formal seja correto (os argumentos
demonstrveis so vlidos) e completo (todos os argumentos
vlidos devem ser demonstrveis).
Regras de equivalncia
Frmula
PQ
PQ
(P Q) R
(P Q) R
~(P Q)
~(P Q)
P Q
P
PQ
Equivale a
Q P
QP
P (Q R)
P (Q R)
~P ~Q
~P ~Q
~P Q
~(~P)
(P Q) (Q P)
Nome/abreviao da regra
Comutativa com
Associatividade - ass
Leis de De Morgan
Condicional cond
Dupla negao dn
Definio de Equivalncia - equi
Tabela 4 - Regras de equivalncia
Regras de inferncia:
De
P, P Q
P Q, ~Q
P, Q
PQ
P
Podemos deduzir
Q
~P
PQ
P, Q
PQ
Tabela 5 - Regras de inferncia
Nome da regra
Modus ponens mp
Modus tollens mt
Conjuno conj
Simplificao - simp
Adio ad
77
Lgica para Computao
Caso se tenha uma frmula constante da primeira coluna da

tabela de regras de equivalncia, pode-se substituir essa
frmula pela sua correspondente na segunda coluna, sem que o
valor da frmula seja alterado, da mesma forma que uma
frmula da segunda coluna pode ser substituda pela sua
correspondente da primeira coluna.
Exemplo: A frmula P Q equivalente frmula ~P Q
Uma maneira de provar a equivalncia lgica (P Q)
(~P Q) fazer a tabela verdade para (P Q) (~P Q) e
verificar que uma tautologia.
Outra forma de fazer essa verificao, analisar a tabela
verdade do condicional:
P
V
V
F
F
Q
V
F
V
F
PQ
V
F
V
V
Observa-se que I[P Q] = V em trs situaes de P e Q em

conjunto. Por outro lado, observando as interpretaes de P e de
Q separadamente, v-se que quando I[P] = F, I[P Q] = V e que
quando I[Q] = V, tambm I[P Q] = V. Mas I[P] = F significa que
I[~P] = V. Dessa forma possvel afirmar que quando P Q for
verdadeiro, ~P ou Q ser verdadeiro, ou, ainda, sabendo que ~P
verdadeira ou que Q verdadeira (basta uma ser verdadeira) a
implicao P Q tambm ser verdadeira.
As regras de inferncia no podem ser utilizadas da
mesma forma.
Voltando-se tabela verdade do condicional mais uma vez,
percebe-se que P e P Q tm ambas valor lgico verdadeiro
78
Lgica para Computao
somente na primeira linha da tabela, e nessa situao Q tambm

tem valor lgico verdadeiro.
Sempre que se saiba que uma proposio P verdadeira e
outra proposio P Q tambm verdadeira pode-se inferir que
a proposio Q tambm o .
Voltando tabela verdade, verifica-se que Q e P Q so
ambas verdadeiras em duas situaes: na primeira linha, quando
P tambm verdadeira e na terceira linha, quando P falsa.
Concluso: sabendo-se que Q e P Q so ambas
verdadeiras nada se pode afirmar sobre o valor de P, j que P
tanto pode ter valor lgico V quanto F.
Por esse motivo, conhecendo-se o valor verdade de uma
frmula da primeira coluna da tabela de regras de inferncia,
pode-se concluir pelo valor da frmula correspondente,
constante da segunda coluna. Entretanto, conhecendo-se o valor
de uma frmula da segunda coluna NO possvel deduzir o valor
da frmula da primeira coluna, como acontece com as regras de
equivalncia.
Exemplo 1:
Utilizando deduo lgica, prove a validade do argumento:
(A C) (C D) A D
O primeiro passo identificar as hipteses:
Tem-se trs hipteses (que representam premissas), as
quais esto ligadas pelo conectivo e, e uma concluso, que
C.
A prova por deduo consiste em supor que as hipteses
so verdadeiras e procurar concluir que a concluso tambm o ,
o que torna o argumento vlido.
Identificadas as hipteses, relacionam-se as mesmas em
um coluna, enumerando os passos da deduo e, ao lado, anota-
79
Lgica para Computao
se o significado, ou como foi obtida a fbf constante da primeira

coluna:
1. A C
2. C D
3. A
hip (Hiptese. suficiente a abreviatura)

hip
hip
O objetivo provar que D (a concluso) verdadeira. D est

na segunda hiptese. Observando as regras de equivalncia e de
inferncia no possvel concluir pelo valor de D diretamente.
Porm, h uma regra de inferncia que permite concluir pelo
valor de C: o modus ponens. Essa regra diz que, se o antecedente
de uma implicao e a prpria implicao so verdadeiras, ento
pode-se inferir que o conseqente dessa implicao tambm
verdadeiro. Tem-se, pela hiptese 1 que A C verdadeira e na
hiptese 3 que A antecedente da fbf da hiptese 1 tambm
verdadeira. Assim, deduz-se que C tambm verdadeira. Esse
o passo 4 da deduo:
1. A C
2. C D
3. A
4. C
hip
hip
hip
1, 3 mp (que significa: da hiptese 1 e da 3,
atravs da regra modus ponens, concluo que
C tambm verdadeira).
Aps essa concluso tem-se 4 fbf verdadeiras. Percebe-se

que a partir das fbf 2 e 4, novamente usando a regra modus
ponens, possvel concluir que D verdadeira, concluindo a
deduo:
80
Lgica para Computao
1. A C
2. C D
3. A
hip
hip
hip
Exemplo 2:
Atravs de deduo lgica, provar que o argumento abaixo
vlido:
(A (B C)) A C
Verifica-se que existem duas hipteses e o objetivo
provar que C verdadeira.
1. A (B C) hip
2. A
hip
conhecido o valor da implicao (hiptese 1) e do
antecedente desta (hiptese 2). Por modus ponens conclui-se
pelo conseqente. Observar que na tabela 5, a regra genrica.
Em P, P Q, P pode ser uma fbf com mais de uma proposio
simples, da mesma forma que Q. Nesse ltimo exemplo o
conseqente, B C, corresponde ao Q da tabela:
1. A (B C) hip
2. A
hip
3. B C
1, 2 mp
A conjuno s verdadeira quando ambas as componentes
o so. A regra de inferncia simplificao foi criada partindo
desse pressuposto: sabendo que a conjuno verdadeira,
conclui-se que uma componente e tambm a outra so
verdadeiras.
81
Lgica para Computao
1. A (B C)
2. A
3. B C
4. B, C
hip
hip
1, 2 mp
3, simp
Provando que C verdadeira e, portanto, que o argumento

vlido.
Obs.: O passo 4 significa que B verdadeira e tambm C
verdadeira. Embora no seja necessrio, no estaria errado
desmembr-lo em dois:
4. B 3, simp
5. C 3, simp.
Exemplo 3:
Provar a validade do argumento abaixo, usando deduo
lgica:
((A ~B) C) (C D) A D
1. (A ~B) C hip
2. C D
hip
3. A
hip
Foram levantadas trs hipteses e o objetivo provar que a
concluso, D, verdadeira. A princpio no h nenhuma regra
que permita tirar concluses a partir das hipteses acima.
Relembrando a tabela verdade da conjuno:
82
P
V
V
F
F
Q
V
F
V
F
PQ
V
V
V
F
Lgica para Computao
Conhecendo apenas o valor da conjuno, P Q, como

sendo verdadeiro no possvel saber qual o valor de apenas
uma componente, j que existem trs situaes em que a
conjuno resulta em valor lgico V.
Por outro lado, saber que uma proposio P verdadeira,
suficiente para poder afirmar que a conjuno dessa proposio
com qualquer outra tambm ser verdadeira. Esse fato originou
a regra de inferncia adio. Observa-se que, sabendo que P
verdadeira, P Q tambm o ser.
Obs.: Nada se pode afirmar sobre o valor de P, se s se
conhece o valor da conjuno P Q.
Na hiptese 1, caso se conhea o valor do antecedente, A
~B, pode-se inferir o valor do conseqente. Mas s se conhece o
valor de A. A regra da adio permite inferir que, como A
verdadeira, A ou qualquer outra fbf resultar em valor V. E essa
qualquer outra fbf pode ser ~B. A prova do argumento
prossegue assim:
1. (A ~B) C
2. C D
3. A
4. A ~B
hip
hip
hip
3, ad, obtendo, dessa forma, o valor
verdade do antecedente da hiptese do
passo 1.
Os passos seguintes so imediatos:

1. (A ~B) C
2. C D
3. A
4. A ~B
5. C
6. D
hip
hip
hip
3, ad
1, 4, mp
2, 5, mp
83
Lgica para Computao
Observaes:
1. Possivelmente, modus ponens a regra de inferncia
mais intuitiva e mais utilizada em dedues lgicas.
2. Embora menos freqentes, quando surgirem fbf da forma
~(P Q) e ~(P Q) deve-se utilizar as leis de De Morgan para
convert-las em ~P ~Q e ~P ~Q, respectivamente.
3. Frmulas bem formuladas da forma P Q so de pouca
utilidade em demonstraes. Usando a dupla negao chega-se a
~(~P) Q e depois pode-se usar a regra do condicional para obter
~P Q.
Exemplo 4:
Provar, usando deduo lgica, o argumento:
~A (B A) ~B
Soluo
1. ~A
2. B A
hip
hip
Essa uma amplicao direta da regra de inferncia modus

tollens, que diz que sabendo-se que uma implicao
verdadeira e que o conseqente dessa implicao falso, deduzse que o antecedente tambm falso. De fato, ao observar a
tabela verdade do condicional percebe-se que essa situao
nica. Nada se poderia afirmar sobre o conseqente, sabendo
que a negao do antecedente verdadeira.
1. ~A
2. B A
3. ~B
84
hip
hip
mt
Lgica para Computao
EXERCCIOS
1. Diga quais regras foram empregadas na prova do
argumento abaixo. A primeira regra j foi fornecida.
Argumento: A (~B ~C) B
Passo de induo
1. A
2. ~B ~C
3. ~(~B) ~C
4. B ~C
5. ~C B
6. C B
7. B
regra
hip
2. Prove os argumento abaixo, usando deduo lgica:

a) A (B C) [(A B) (D ~C)] B D
b) ~A B (B (A C)) C
4.2.4.2 Outras regras de deduo:

a) Concluso de um argumento constituda por um
condicional
Suponha que o argumento que queremos provar tem a
forma:
P1 P2 P3 ... Pn (R S)
85
Lgica para Computao
Como se quer inferir uma concluso constituda por um

condicional, R S, o mtodo dedutivo permite adicionar o
antecedente, R, como hiptese adicional e depois inferir S.
Quando uma concluso formada por uma fbf com mais de
um smbolo proposicional, do tipo A B, A B, etc, ter que ser
provada por inteiro, ou seja, no basta provar uma das
componentes. A exceo quando a proposio composta um
condicional, do qual se tomou o antecedente como hiptese.
Exemplo 4
Provar o argumento:
(A (A B)) (A B)
Alm da hiptese A (A B), tambm podemos adicionar
A, antecedente da concluso, como hiptese bsica e procurar
provar que B verdadeira, para que o argumento seja vlido.
Temos:
1. A (A B)
2. A
hip
hip
A partir desse ponto a concluso imediata:

3. A B
1, 2, mp
4. B
2, 3, mp
EXERCCIOS
Provar o argumento:
(~A ~B) (A C) (B C)
86
Lgica para Computao
b) Silogismo hipottico (sh)

A regra de inferncia silogismo hipottico (sh) que diz:
De A B e B C pode-se concluir que A C
Escrevendo o silogismo hipottico como uma fbf temos:
(A B) (B C) (A C)
EXERCCIOS
Prove o silogismo hipottico.
Exemplo 5
Provar o argumento: (~A B) (B C) (A C)
Soluo:
1. ~A B
2. B C
hip
hip
O objetivo provar que a concluso A C verdadeira. A

partir das hipteses 1 e 2 e usando as regras conhecidas no
possvel fazer inferncias. Como a concluso um condicional,
opcional acrescentar A como hiptese bsica. Vamos tentar uma
soluo sem acrescentar A como hiptese.
Analisando a tabela de regras de equivalncia v-se que a
hiptese 1 consta da segunda coluna dessa tabela, na regra
condicional. Infere-se, ento, que ~A B equivale a A B.
1. ~A B
2. B C
3. A B
hip
hip
1, cond
87
Lgica para Computao
Ficou fcil inferir a concluso. Basta usar o silogismo

hipottico:
1. ~A B
2. B C
3. A B
4. A C
hip
hip
1, cond
2, 3 sh
EXERCCIO 2
Provar o argumento: (A B) (~C A) C B
88

Lgica para Computao
Captulo V
Quantificadores
Um quantificador um smbolo lgico que faz uma
verificao sobre o conjunto de valores que tornam uma ou mais
frmulas verdadeiras. Este um conceito bastante geral. Grande
parte da matemtica formada por dois quantificadores: o
quantificador universal e o quantificador existencial.
Informalmente, um quantificador uma expresso que
assinala a quantidade de vezes que um predicado satisfeito
numa classe de coisas (isto , num domnio). Em termos formais,
um quantificador liga uma varivel, transformando uma frase
aberta com n variveis livres diferentes numa outra frase com n1 variveis livres diferentes.A lgica proposicional trata de
relaes fundamentais da lgica, definidas atravs dos
operadores lgicos (~ (negao), (conjuno), (disjuno),
(condicional), (bicondicional)). Contudo, no contempla
argumentos que contenham as expresses: todo, nenhum e
algum.
O argumento abaixo vlido. Mas, sua validade uma
funo do significado das expresses alguns e todos:
Alguns quadrpedes so bovinos.
Todos os bovinos so herbvoros.
Portanto, alguns quadrpedes so herbvoros.
89
Lgica para Computao
Nenhuma das sentenas desse argumento formada com

os operadores lgicos. At possvel representar o argumento na
lgica proposicional, que poderia ser a frmula A B C.
Todavia, esse argumento carece de estrutura interna. No
possvel interpretar todos e alguns.
O que se quer significar por estrutura interna, so
relaes entre atributos, as quais denotam conjuntos ou classes,
o que pode ser visto representando o argumento da forma:
Algum F G.
Todo G H.
Portanto, algum F H.
Notar que as letras F, G e H no representam sentenas,
como na lgica proposicional, mas classes de atributos:
quadrpedes, bovinos e herbvoros. Uma classe formada por
um conjunto de objetos. Uma classe de atributos, formada por
um conjunto de objetos que possuem aquele atributo. No
somente substantivos comuns denotam classes de atributos.
Locues nominais, como olho de lula, coisa bonita, da
Amaznia, entre outras, tambm representam classes de
atributos.
Caso as sentenas venham expressas por adjetivo, locuo
adjetiva, verbo ou locuo verbal, possvel ser convertida em
uma locuo nominal, acrescentando a palavra coisa.
Velho, torna-se coisas velhas, ama Graa torna-se coisas
que amam Graa.
Nos enunciados, as classes de atributos so, muitas vezes,
relacionadas com outras pelas expresses todo e algum, que
so denominadas quantificadores. Assim como ~, , , , , os
quantificadores tambm so operadores lgicos.Entretanto,
enquanto aqueles expressam relaes entre sentenas, os
quantificadores expressam conjuntos designados pelas classes
90 de atributos.
Lgica para Computao
Um enunciado da forma Todo A B, diz que todo

elemento do conjunto A tambm elemento do conjunto B, ou
seja, o mesmo que dizer que A subconjunto de B. conveno
universal que enunciados da forma Algum A B estabelecem
que pelo menos um elemento de A tambm elemento de B.
A sentena Alguns de meus amigos esto zangados
comigo interpretada, usualmente, como pressupondo, ou
sugerindo que mais de um ou nem todos os amigos da pessoa
esto zangados com ela. Esse enunciado da forma Algum A
B, onde A substitui meus amigos e B substitui a locuo
adjetiva zangados comigo. A interpretao lgica difere um
pouco da usual. Significa pelo menos um. Em outras palavras,
significa que um, alguns ou todos os amigos possuem o
atributo B.
Ainda em relao ao ltimo exemplo, todos os enunciados
esto caracterizados por um quantificador (todo, algum) seguido
por uma classe de atributos (F, G), um elo () e, finalmente, uma
outra classe de atributos (G, H). Enunciados desse tipo so
chamados de enunciados categricos. A primeira classe de um
enunciado categrico chamada de termo sujeito e a segunda
de termo predicado.
Enunciados categricos so de quatro formas:
Todo S P.
Nenhum S P.
Algum S P.
Algum S no P.
Nessas formas, S representa o termo sujeito e P representa
o termo predicado.
Enunciados categricos podem ser negados, acrescentando
a expresso no verdade que, no o caso que, etc., o que
torna toda a sentena negativa.
91
Lgica para Computao
importante ressaltar que negar apenas uma classe de

atributo tem um significado diferente.
O conjunto dos
elementos que no pertencem a um dado conjunto C , em geral,
o complemento de C. Quando o no se aplica a uma classe de
atributos, expressa a complementao, em vez de negao. Em
Algumas rvores no so mognos o no expressa a
complementao: o conjunto das rvores que no so mognos,
como as castanheiras, seringueiras e vrias outras.
Algumas rvores so mognos verdadeira e refere-se ao
conjunto das coisas que so rvores e, ao mesmo tempo, so
mognos. Algumas rvores no so mognos, tambm
verdadeira, refere-se ao conjunto das coisas que so rvores mas
no so mognos, o complemento da primeira, em relao ao
conjunto universo de todas as rvores. Acrescentar a expresso
no verdade que s duas sentenas, dizer que no existe
nem um nem outro conjunto. Como sabemos que rvores
existem, e que parte delas so mognos, dizer o contrrio tornar
falsas ambas as sentenas.
EXERCCIOS
Considere as sentenas abaixo. Classifique por tipo as que
so enunciados categricos e diga quais no so enunciados
categricos.
a) Todo pato bom nadador.
b) No o caso que todo pato bom nadador.
c) Alguns sapos so verdes.
d) Se o carro verde veloz, ento difcil alcan-lo.
e) Nadar faz bem.
f) Algumas toalhas esto midas e algumas no esto.
g) Qualquer diverso ilegal.
h) A floresta bonita.
92
Lgica para Computao
Passem os a um
quantificadores.
estud o m ais
detal hado
d os
5.1 Tipos Quantificadores

5.1.1 Quantificadores indefinidos
Quantificador que induz uma leitura existencial (i) ou
relativa a um valor considerado como ponto de referncia (ii) .
So quantificadores indefinidos:
algum / alguns
bastantes
certo(s)
outro(s)
pouco(s)
tanto(s)
vrio(s) / vria(s)
(i) Alguns alunos faltaram ao teste. (do conjunto de alunos
considerados s uma parte faltou ao teste)
(ii) Muitos alunos faltaram ao teste. (o nmero de alunos
que faltou ao teste superior quantidade mdia)
EXERCCIOS
Escreve nos espaos em branco, as palavras adequadas
Alguns
certas
Muitas
Nenhum
nenhuma
tantas toda todos
1)__________ campos esto cheios de flores.
2)J fizeste __________ os exerccios de Lngua
Portuguesa?
3)Hoje, no comprei __________ guloseima!
4)Nem __________ os alunos estudam diariamente.
5)Em __________ ocasies, no sei o que pensar...
93
Lgica para Computao
6)_________ dos rapazes jogou bola no recreio.

7)Com _________ decoraes, a rvore de Natal ficou
lindssima.
8)Quando ele entrou, __________ a gente se calou.
9)No deves gastar __________ a semanada na compra de
gomas.
10)_________ pessoas pretendem assistir ao espetculo
do circo.
5.1.2 Quantificador interrogativo
Palavra que faz parte do constituinte interrogado numa
frase interrogativa parcial, especificando o ncleo nominal e
precedendo-o.
So quantificadores interrogativos "que", "quanto(s)",
"quanta(s)".
(i) [Quantas pginas] leste?
(ii) [Que caf] compraste?
EXERCCIOS
Selecionar trs Quantificadores Interrogativos
1)Quantos
2)Trs
3)Alguns
4)Quais
5)Todos
6)Ambos
7)Que
94
Lgica para Computao
5.1 Quantificador universal e existencial

possvel representar o conjunto dos inteiros positivos
atravs da sentena: para todo x, x > 0. Mas essa sentena
contm um quantificador, para todo e descreve uma
propriedade para x, x > 0, chamada de predicado.
Quantificadores so expresses que dizem a quantidade de
objetos que possuem determinado predicado. Para representar
simbolicamente o quantificador qualquer que seja ou para
todo, adota-se o smbolo . A sentena acima assim
representada:
x(x > 0)
O quantificador age sobre a expresso entre parnteses
que se seque a ele.
Considerando o conjunto dos inteiros e a expresso existe
x, tal que (x/2) inteiro, nota-se o surgimento de outro
quantificador. O quantificador existencial, que significa para
algum ou para pelo menos um ou, ainda, existe algum e
simbolizado por .
Uma propriedade dos elementos de um conjunto pode ser
representada, genericamente, por P(x). Assim, pode-se ter:
x(Px) ou x(Px).
Uma expresso com quantificador pode ser verdadeira ou
falsa.
Considerando o conjunto universo como sendo o conjunto
de todas as pessoas que moram no Estado do Amazonas e a
propriedade P(x) = x do sexo feminino, determinar o valor
verdade das expresses:
a) x(Px)
b) x(Px)
A expresso x(Px) no pode ser verdadeira, pois entre as
pessoas que moram no Estado do Amazonas, nem todas so do
sexo feminino. J a expresso x(Px) verdadeira, pois pelo
menos uma (sabe-se que so muitas) pessoa residente no
Amazonas do sexo feminino.
95
Lgica para Computao
EXERCCIO 1
Considere um conjunto universo qualquer e uma
propriedade P sobre esse conjunto universo e, caso seja possvel:
a) Encontre uma interpretao para a qual x(Px) seja falso
e, ao mesmo tempo, x(Px) seja verdadeira.
b) Encontre uma interpretao para a qual x(Px) seja
verdadeira e, ao mesmo tempo, x(Px) seja falsa.
Quando o predicado uma propriedade que envolve apenas
uma varivel, como nos exemplos vistos, chamado de
predicado unrio. Se a propriedade binria, por exemplo,
P(x,y) = x < y, dita predicado binrio. Predicados podem ter
mais de duas variveis. De forma genrica, predicados so
n-rios, envolvendo n variveis.
Quando se tem mais de uma varivel quantificada, a
ordem dos quantificadores muito importante. Considerando a
propriedade P(x,y) = x < y, sobre o conjunto universo dos inteiros
positivos, a expresso xyP(x,y) significa que para qualquer x
do conjunto universo existe um y maior que x. Isso verdade:
para qualquer inteiro, existir ou inteiro maior. A expresso
yxP(x,y) quer dizer que existe um y que menor que qualquer
inteiro positivo x. Isso no verdade. Essa segunda expresso
tem valor lgico falso.
Proposies quantificadas podem constituir fbf.
Uma proposio do tipo Todo S P representa, como j
foi dito, conjuntos de classes. Ela pode ser reformulada para
representar objetos individuais, resultando num enunciado do
tipo:
Qualquer que seja x, se x S, ento x P.
96
Lgica para Computao
Essa nova forma contm um condicional. Na expresso x

S, x o sujeito e S o predicado. Simbolicamente, representa-se
primeiro o predicado, depois o sujeito. x S representado
como Sx. O condicinal j conhecido. x P representado por
Px. A expresso acima fica:
x(Sx Px)
Um enunciado do tipo Nenhum S P, pode ser expresso
como Qualquer que seja x, se x S, ento x no P. Em
notao simblica tem-se:
x(Sx ~Px)
A proposio do tipo Algum S P pode ser expressa
como
Para pelo menos um x, x S e x P,
significando que suficiente que um x pertena ao conjunto S e
tambm ao conjunto P, para que essa sentena seja verdadeira.
Simbolicamente, a proposio escrita como
x(Sx Px)
que tambm pode ser lida como: Existe x, tal que x S e x P.
De maneira anloga, uma proposio do tipo Algum S no
P, quando escrita em linguagem simblica, resulta em
x(Sx ~Px)
importante ressaltar que proposies com o
quantificador universal devem ser simbolizadas com o
condicional, enquanto proposies com o quantificador
existencial devem adotar a conjuno.
97
Lgica para Computao
Exemplos:
Interpretando por V o predicado vermelho, A azul,
B branco, C um carro e F uma Ferrari, formalizar as
sentenas abaixo:
a) Toda coisa um carro.
xCx
b) Nada um carro.
x~Rx (ou ~xRx)
c) Nem toda coisa um carro.
~xRx
d) Todos as Ferraris so vermelhas.
x(Fx Vx)
e) Nenhum carro vermelho.
x(Cx ~Vx)
f) Existem carros brancos.
x(Cx Bx)
g) Nenhuma Ferrari branca.
x(Fx ~Bx)
h) Alguns carros no so Ferrari e so brancos. x(~Fx Bx)
I) No verdade que existem carros brancos. ~x(Cx Bx)
EXERCCIO 2
Considerando R uma r, V verde e S est
saltitando, formalize as sentenas a seguir:
a) Toda coisa uma r.
b) Existem rs verdes.
c) Todas as rs so verdes.
d) Existem rs que so verdes e no esto saltitando.
e) Todas as rs esto saltitando.
f) Ou qualquer coisa uma r ou nada uma r.
g) Somente rs so verdes.
h) Nenhuma r verde.
i) Nenhuma r est saltitando.
j) Qualquer coisa que est saltitando uma r.
k) Alguma r est saltitando.
l) Se nada verde, ento no existem rs verdes.
98
Lgica para Computao
Parnteses, que so smbolos de agrupamento,

determinam o escopo do identificador. Quando uma varivel
aparece em uma frmula e no est quantificada, chamada de
varivel livre. Na expresso x(Qxy y(Rxy)) o escopo de x
toda a frmula e y uma vaarivel livre em Qxy, pois no est
quantificada.
Para determinar o valor lgico de uma fbf predicada
necessrio conhecer a interpretao de cada proposio da
frmula, de forma semelhante a uma fbf proposicional.
Para encontrar o valor lgico da frmula x(Ax y(Bxy
Cy)), considerando o conjunto universo como o conjunto dos
inteiros, Ax significando x > 0, Bxy sendo x > y e Cx
significando y 0, deve-se observar, inicialmente, o escopo de
x, que toda a frmula e de y, que Bxy Cy. A sua
interpretao : existe um valor de x, tal que, x > 0 e para
qualquer y, se x > y ento y 0. Fazendo x = 1 a fbf acima
verdadeira.
EXERCCIO 3
Encontre uma interpretao para a qual a mesma fbf
tenha valor lgico falso. (Mude o significado de A, B ou C).
Sendo o conjunto universo o conjunto de todas as pessoas,

Ax significando x um aluno, Ix sendo x inteligente e Fx x
gosta de futebol, escreva fbf para representar as proposies:
a) Todos os alunos so inteligentes.
b) Alguns alunos inteligentes gostam de futebol.
c) Toda pessoa que gosta de futebol um aluno e no
inteligente.
99
Lgica para Computao
d) Apenas alunos inteligentes gostam de futebol.

A primeira sentena traz o quantificador universal: x(Ax
Ix)
A segunda sentena est formulada de forma ligeiramente

difertente dos exemplos anteriores. A forma intermediria
poderia ser: existe alguma coisa que aluno, inteligente e
gosta de futebol. A fbf correspondente ser: x(Ax Ix Fx).
Rescrevendo a terceira sentena: para qualquer coisa, se
gosa de futebol, ento um aluno e no inteligente.
Representao simblica: x(Fx Ax ~Ix).
A ltima sentena diz que ningum mais alm dos alunos
inteligentes gosta de futebol. Assim, pode-se reescrev-la como:
se algum gosta de futebol ento um aluno inteligente, ou,
ainda, toda coisa gosta que de futebol um aluno e
inteligente. Escrevendo na linguagem simblica: x(Fx Ax
Ix)
EXERCCIO 4
1) Determine o valor lgico das fbf abaixo, sendo o
conjunto dos inteiros o conjunto universo, e a interpretao Ix x
impar, Mx x < 0 e Nx x > 5":
a) x(Ix)
b) x(Ix)
c) x(Mx Nx)
d) x(Mx Nx)
e) x(Ix Nx)
2) Sendo o conjunto universo o conjunto dos nmeros
inteiros (conjunto Z), qual o valor lgico das fbf a seguir:
a) x,y(x + y = x)
b) y,x (x + y = x)
c) x,y(x + y = 0)
d) y,x (x + y = 0)
100

Lgica para Computao
Captulo 6
Recorrncia
Em uma definio recorrente, o item que est sendo
definido faz parte da definio.
Uma definio recorrente constituda de
1. Uma base, ou condio bsica, na qual um ou alguns
casos do item que est sendo definido explicitado.
2. O passo indutivo ou recorrente, onde novos casos do
item sendo definido so dados em funo de ocorrncias
anteriores.
Seqncias e algoritmos podem ser definidos por
recorrncia.As relaes de recorrncia podem ser aplicadas em
diversos segmentos, tais como: definio de seqncias,
conjuntos e at mesmo algoritmos podem ser definidos por
recorrncia.
6.1 Seqncia definida por recorrncia

Uma seqncia uma lista de itens, enumerados em uma
determinada ordem. Existe um primeiro, um segundo item, etc.
Exemplo de uma seqncia numrica: S = 2, 4, 8, 16, 32,
64, ...
A seqncia S, acima, est explicitando os seis primeiros
termos e h a indicao de que infinita. Outra forma de
escrever a seqncia :
101
Lgica para Computao
S(1) = 2
S(2) = 4
S(3) = 8
S(4) = 16
...
Para represent-la de forma recorrente, explicita-se o
primeiro termo, S(1), e procura-se escrever cada um dos demais
termos em funo do anterior:
O passo 1 j est definido S(1) = 2 mas o passo 2 deve ser
escrito de forma a definir cada um dos demais termos da
seqncia em funo do termo anterior. Assim, S(2) deve ser
definido em funo de S(1), S(3) em funo de S(2), e assim,
sucessivamente. A seqncia, assim definida, passa a ser escrita
da forma:
S(1) = 2
S(2) = 4 = 2 + 2
S(3) = 8 = 4 + 4
S(4) = 16 = 8 + 8
...
Percebe-se que, a partir de S(2), cada valor pode ser
decomposto em uma soma com duas parcelas: S(n 1) + um valor.
No exemplo, a segunda parcela coincide com a primeira: S(n 1)
+ S(n 1).
A definio recorrente, para a seqncia em questo, :
S(1) = 2
S(n) = 2S(n 1), para n 2.
102
Lgica para Computao
Dada uma definio recorrente, para saber o valor do nsimo termo, necessrio saber o valor do termo n 1.
Ateno: 2n tambm representa a seqncia acima, mas
no uma forma recorrente de representao. Essa uma forma
fechada de representar uma seqncia. Encontrar a forma
fechada de uma seqncia resolver a seqncia. No presente
contexto, no ser estudado como resolver uma seqncia.
Outro exemplo:
Escrever a seqncia T = 2, 4, 7, 11, 16, 22, ...
Reescrevendo T:
T(1) = 2
=2
T(2) = 4
=2+2
T(3) = 7
=4+3
T(4) = 11
=7+4
T(5) = 16
= 11 + 5
T(6) = 22
= 16 + 6
V-se que a primeira parcela da soma em que cada termo
foi decomposto , a partir S(2), igual a S(n 1) e que a segunda
parcela igual a n. A forma recorrente de T :
S(1) = 2
S(n) = S(n 1) + n, para n 2.
Considere a seqncia recorrente abaixo e escreva os seus
primeiros cinco termos:
S(1) = 3
S(n) = S(n 1) + 2n, para n 2
O primeiro termo j foi dado: 3.
O segundo termo ser obtido fazendo:
S(2) = S(2 1) + 2 x 2 = S(1) + 4 = 3 + 4 = 7
Os termos seguintes:
S(3) = S(2) + 2 x 3 = 7 + 6 = 13
S(4) = S(3) + 2 x 4 = 13 + 8 = 21
S(5) = S(4) + 2 x 5 = 21 + 10 = 31
103
Lgica para Computao
Como outro exemplo de uma sequncia numrica temos a

srie de Fibonacci, dada por: 1, 1, 2, 3, 5, 8, ...
Para explicit-la de forma recorrente devemos analisar a
relao existente entre cada termo.
F(1) = 1
F(2) = 1
F(3) = 2
F(4) = 3
F(5) = 5
F(6) = 8
...
Como raciocnio de resoluo, podemos tomar a diferena
dos termos, de modo que:
F(6) F(5) = 8 5 = 3 = F(4), portanto F(6) = F(4) + F(5)
F(5) F(4) = 5 3 = 2 = F(3), portanto F(5) = F(3) + F(4)
F(4) F(3) = 3 2 = 1 = F(2), portanto F(4) = F(2) + F(3)
F(3) F(2) = 2 1 = 1 = F(1), portanto F(3) = F(1) + F(2)
Percebe-se que a partir da no mais possvel explicitar os
termos presentes no lado direito da expresso em funo dos
termos anteriores a eles. Isto implica que F(1) e F(2) devem ser
as condies bsicas da sequncia, logo:
Condio Bsica: F(1) = 1; F(2) = 1
Relao de Recorrncia: F(n) = F(n-2) + F(n-1)
Resumindo:
S = 3, 7, 13, 21, 31 ...
104
Lgica para Computao
EXERCCIOS
1) Escreva os seis primeiros termos das seqncias
recorrentes:
a) S(1) = 10
S(n) = S(n 1) + 10, para n 2
b) A(1) = 2
A(n) =
1
para n 2.
A(n - 1)
c) F(1) = 1
F(2) = 1
F(n) = F(n 2) + F(n 1), para n > 2.
2) Escreva as seqncias abaixo de forma recorrente:
a) S = 1, 2, 4, 7, 11, 16, ...
b) T = 1, 3, 9, 27, 81, ...
6.2 Algoritmo definido por recorrncia

6.2.1 Construindo um algoritmo recorrente
Entre os comandos empregados no desenvolvimento de
algoritmos, est o comando condicional (ou comando de
deciso), que tem a estrutura:
105
Lgica para Computao
se <condio> ento
comando(s)1
seno
comando(s)2
fimse
onde: <condio> uma expresso lgica e, portanto, deve

resultar no valor lgico falso ou verdadeiro;
comando(s)1 um, ou uma seqncia de comandos;
comando(s)2 um, ou uma seqncia de comandos.
Quando a execuo de um algoritmo chaga a um comando
de deciso desse tipo, testa o valor lgico de <condio>. Caso
<condio> = V, executa a clusula ento, constituda pelo
comando1 (ou grupo de comandos1) e deixa de executar a
clusula seno. Caso contrrio (<condio> = F), a execuo
desviada para a clusula seno, composta do comando2 (ou
grupo de comandos2).
Exemplo:
Supondo que A = 2 e B = 7, o comando de deciso abaixo ser
executado da seguinte forma:
se A > = B ento
Escreva A maior ou igual a B
seno
Escreva B maior que A
fimse.
Para os valores dados, o teste da condio resulta em falso

e ser executada a clusula seno: a frase B maior que A
ser escrita.
O significado do comando escreva deixa de ser explicado
porque, no atual contexto, suficiente saber o funcionamento
106 do comando se.
Lgica para Computao
Algoritmos definidos por recorrncia tm a estrutura:

Algoritmo S(n)
se <condio> ento
retorne valor
seno
retorne S(n 1)
fimse
fimalgoritmo
onde: <condio bsica> uma expresso lgica e,

portanto, deve resultar no valor lgico falso ou verdadeiro.
Quando o algoritmo chega no comando condicional (se ...
ento ... seno ...), ele verifica a <condio bsica>, caso esta
retorne o valor lgico falso (F), a clusula seno ser executada,
caso esta retorne verdadeiro (V), a clusula ento ser
executada.
A clusula ento constituda por <ao da condio
bsica>, que a ao a ser executada no caso do algoritmo
chegar na condio bsica, ou seja, chegar nos valores
explicitados ou conhecidos.
J a clusula seno refere-se <ao da relao de
recorrncia>, que normalmente a expresso que define a
recorrncia da sequncia.
Exemplo: Algoritmo para a srie de Fibonacci utilizando
recursividade.
Algoritmo F(n)
se (n = 1 ou n = 2) ento
retorne 1
seno
retorne F(n-2) + F(n-1)
fimse
fimalgoritmo
107
Lgica para Computao
onde:
F o nome do algoritmo;
n uma varivel inteira, que representa a o termo que se
quer definir;
Uma referncia ao nome do algoritmo um comando que
faz executar esse algoritmo. Em retorne F(n2) + F(n-1) h dois
comandos para executar F, que o prprio algoritmo. Essa a
caracterstica do algoritmo recorrente: manda executar a si
prprio.
93
Exemplos:
Faa um algoritmo recorrente para as sequncias:
a) S(1) = 1
S(n) = S(n 1) + (n 1)
b) P = 3, 5, 9, 15, 23, ...
Solues:
a) Como a sequncia j est escrita de forma recorrente, a
construo do algoritmo recorrente resume-se a transcrever o
valor de S(1) para a clusula ento do comando de deciso, e a
expresso que determina S(n) para a clusula seno.
algoritmo S(n)
se n = 1 ento
retorne 1
seno
retorne S(n 1) + (n 1)
fimse
fimalgoritmo
b) O primeiro passo escrever a sequncia na forma
recorrente, que :
P(1) = 3
P(n) = P(n 1) + 2(n 1)
108
Lgica para Computao
onde:
S o nome do algoritmo;
n uma varivel, atravs da qual passado o valor que o
algoritmo deve processar;
Uma referncia ao nome do algoritmo um comando que
faz executar esse algoritmo. Em retorne S(n 1) h um
comando para executar S, que o prprio algoritmo. Essa a
caracterstica do algoritmo recorrente: manda executar a si
prprio.
Algoritmos recorrentes tambm so conhecidos como
algoritmos recursivos.
Voltando seqncia recorrente
S(1) = 2
S(n) = 2S(n 1) para n 2.
possvel escrever um algoritmo recorrente para fornecer
o n-simo termo dessa seqncia:
Algoritmo S(n)
se n = 1 ento (corresponde a S(1))
retorne 2
(corresponde ao valor de S(1)
seno
retorne 2S(n 1) (expresso que define S(n))
fimse
fimalgoritmo
Exemplos:
Faa um algoritmo recorrente para as sequncias:
a) S(1) = 1
S(n) = S(n 1) + (n 1)
b) P = 3, 5, 9, 15, 23, ...
Solues:
a) Como a sequncia j est escrita de forma recorrente, a
construo do algoritmo recorrente resume-se a transcrever o
109
Lgica para Computao
algoritmo S(n)
se n = 1 ento
retorne 1
seno
retorne S(n 1) + (n 1)
fimse
fimalgoritmo
b) O primeiro passo escrever a sequncia na forma

recorrente, que :
P(1) = 3
P(n) = P(n 1) + 2(n 1)
Depois, procede-se como no exemplo anterior, gerando o
algoritmo:
algoritmo P(n)
se n = 1 ento
retorne 3
seno
retorne P(n 1) + 2(n 1)
fimse
fimalgoritmo
EXERCCIO 1
Faa um algoritmo recorrente para a sequncia R = 3, 7, 16,
32, 57, ...
6.2.2 Como um algoritmo recorrente executa
Supondo que seja mandado executar o algoritmo do
primeiro exemplo para o valor n = 5, a primeira linha do
algoritmo testar se n = 1, que resulta em falso, pois o valor
inicial de n 5. Sendo o resultado do teste falso, deixa de
executar a clusula ento e a execuo vai para a clusula seno,
retorne 2S(n 1), que significa execute S com valor de entrada n
= 4 e multiplique o resultado por 2.
110
Lgica para Computao
Como no se tem o valor de S(4), a operao multiplicao

fica pendente e S(n 1) faz executar o prprio algoritmo S(n),
sendo n, desta feita, igual a 4. Essa pendncia armazenada:
2 * S(4)
O armazenamento das operaes pendentes feito em uma

estrutura de dados denominada PILHA, que tem esse nome
porque a forma como acontece esse armazenamento das
informaes e o acesso posterior s mesmas, conceitualmente
funciona como uma pilha, onde a ltima informao armazenada
a primeira a ser retirada.
A nova execuo do algoritmo produz o mesmo resultado:
manda executar S com o atual valor de n diminudo de 1,
ficando pendente, mais uma vez, o valor a ser retornado:
2 * S(3)
2 * S(4)
As pendncias se sucedem, at que o algoritmo mandado

executar com n = 1:
2 * S(1)
2 * S(2)
2 * S(3)
2 * S(4)
Ao ser executado com n = 1, feito o teste na primeira linha

do comando de deciso (comando se) e este resulta em
verdadeiro, sendo executada, desta feita, a clusula ento:
retorne 2. Como no h mais pendncia de operao, feito o
desempilhamento das operaes pendentes:
1111
Lgica para Computao
S(1) =
S(2) =
S(3) =
S(4) =
S(5) =
2
2 * S(1)
2 * S(2)
2 * S(3)
2 * S(4)
=2*2 =4
=2*4 =8
= 2 * 8 = 16
= 2 * 16 = 32
Quando a ltima pendncia resolvida, o algoritmo para,

fornecendo como resultado o valor da ltima operao. No
exemplo acima, o valor fornecido pelo algoritmo 32. Para n = 5
o valor retornado S(5).
EXERCCIO 2
Execute o algoritmo abaixo, considerando o valor inicial n =
4 e diga qual o valor final retornado pelo algoritmo:
algoritmo M(n)
se n = 1 ento
retorne 3
seno
retorne M(n 1) + (n 2)
fimse
fimalgoritmo
112

Lgica para Computao
Bibliografia
BASTOS, Cleverson L. Aprendendo lgica. Rio de Janeiro: Vozes,
2002.
BENZECRY, Vera Syme Jacob, RANGEL, Kleber Albanez. Como
desenvolver o raciocnio lgico. Rio de Janeiro: Rio, 2004.
COPI, Irving M. Introduo Lgica. 2a. Ed. So Paulo: Mestre
Jou, 1978.
DAGHLIAN, Jacob. Lgica e lgebra de Boole. So Paulo: Atlas,
1995.
FILHO,Edgard de Alencar. Iniciao lgica Matemtica. So
Paulo: Nobel, 2002.
FINGER, Marcelo, MELO, Ana C. Vieira de, SILVA, Flvio Soares
Correa da. Lgica para computao. So Paulo: Thompson
Pioneira, 2006.
GERSTING, Judith L., Fundamentos matemticos para a Cincia
da Computao, 4 ed., Rio de Janeiro: Livros Tcnicos e
Cientficos Editora, 2001.
113
Lgica para Computao
HEGENBERG, Lenidas. Lgica o clculo de predicados. So

Paulo: EPU, 2001.
KLEENE, Stephen Colo. Mathematical logic. Dover Science.
2002.
KMETEUK FILHO, Osmir, FAVARO, Silvio. Noes de lgica e
matemtica bsica. So Paulo: Cincia Moderna, 2005.
PINTO, Paulo Roberto Margutti. Introduo a lgica simblica.
Belo Horizonte: UFMG, 2006.
SALMON, Wesley C. Lgica. So Paulo: LTC, 1993
SOARES, Edvaldo. Fundamentos de lgica. So Paulo: Atlas,
2003.
SOUZA, Joo N., Lgica para Cincia da Computao, Rio de
Janeiro: Elsevier, 2002.
114

Lgica para Computao
Respostas dos
Exerccios
2.1 Elementos fundamentais da sintaxe da linguagem
da Lgica Proposicional:
1. a) ( X )
b) ( X )
c) ( ) No proposio, pois ela no est definida.
d) ( X )
e) ( ) No proposio pois uma pergunta.
f) ( ) Muitos, poucos indefinem. No proposio
g) ( ) Talvez: indefine. No proposio.
h) ( X )
i) ( ) No se sabe qual o valor de x nem de y, logo no se
pode afirmar se verdadeira ou falsa. No
proposio.
j) ( X )
l) ( ) Possivelmente: lana a dvida. Indefine.
m ( ) uma pergunta. No pode ser proposio.
2.1.1 Formalizao de uma proposio:
A Est frio, B Est chovendo e C Est quente.
1. a) A B
b) A ~B
115
Lgica para Computao
c) A C
d) A ~C
e) A B
f) C B
g) (A B) ~C
h) C (~B ~A )
i) A B
j) B ~C
k) B A
2. a) A casa bonita e a porta pequena.
b) A casa bonita se, e somente se, a porta for pequena.
c) A casa no bonita. (No verdade que a casa bonita).
d) Se a casa bonita e a porta pequena, ento a janela
grande.
e) Se a casa bonita ou a porta pequena e a janela
grande, ento a porta pequena.
f) A casa bonita ou a porta pequena.
g) A casa ser bonita implica em a porta ser pequena.
h) No verdade que a casa bonita e a porta pequena. (A
casa no bonita ou a porta no pequena).
i) Ou a casa bonita implica em a porta ser pequena ou a
casa ser bonita implica a janela ser grande.
j) Se a porta pequena, ento a casa bonita e a janela
grande.
2.2.1.1 Negao de uma proposio
116
1. a) O processador no rpido ou a impressora no

lenta.
b) O processador no rpido e a impressora no lenta.
c) Pepinos no so verdes ou tm sementes.
Lgica para Computao
d) A comida no boa e o servio no bom.

e) A comida boa ou o servio excelente.
2. a) V
b) V
c) V
d) F
e) F
3. d)
1. a) F
b) V
c) V
d) F
e) F
2.2.1.3 Disjuno de duas proposies
1. a) V
b) V
c) V
d) F
e) V
2.2.1.4 Condicional
1. a) antecedente: A chuva continuar
conseqente: o rio vai transbordar
b) antecedente: a chave central desligar
conseqente: faltar energia.
c) antecedente: um gato saudvel
conseqente: uma boa dieta.
117
Lgica para Computao
d) antecedente: definio alterada

conseqente: a definio ficar errada.
2. a) V
b) F
c) V
d) V
2.2.1.4 Condicional
1. a) V
b) F
c) F
d) F
e) F
2.2.1.6 Ou exclusivo
1. a) V
b) F
c) F
d) V
2.2.1.7 Interpretao de uma fbf composta.

1. a) F
b) V
c) V
2. I[G] = F
118
Lgica para Computao
b)
A
V
V
F
F
B
V
F
V
F
AB
V
V
V
F
~A
F
F
V
V
A B ~A
F
F
V
V
c) (A B) ~A B
A
V
V
F
F
1
AB
V
F
V
V
B
V
F
V
F
2
~A
F
F
V
V
~A B
12
V
V
V
V
V
F
V
V
d) (P (~Q R)) ~(Q (P ~R))
P
V
V
V
V
F
F
F
F
Q
V
V
F
F
V
V
F
F
R
V
F
V
F
V
F
V
F
~Q
F
F
V
V
F
F
V
V
~Q R
V
F
V
V
V
F
V
V
1
P
V
F
V
V
V
V
V
V
~R
F
V
F
V
F
V
F
V
P ~R
F
V
F
V
V
F
V
F
Q
V
V
F
V
V
V
V
F
2
~( )
F
F
V
F
F
F
F
V
12
F
F
V
F
F
F
F
V
3.3.1 Tautologia
1) H = (P Q) (P Q)
P
V
V
F
F
Q
V
F
V
F
P Q
V
F
F
F
P Q (P Q) (P Q)
V
V
V
V
V
V
F
V
119
Lgica para Computao
3.2 Tabela verdade

1. a)
A
V
V
V
V
F
F
F
F
B
V
V
F
F
V
V
F
F
C
V
F
V
F
V
F
V
F
AB
V
V
V
V
V
V
F
F
ABC
V
F
V
F
V
F
V
V
2) (P Q) (~P Q)
P
V
V
F
F
Q
V
F
V
F
P Q
V
F
V
V
~P
F
F
V
V
~P Q (P Q) (~P Q)
V
V
F
V
V
V
V
V
3.3.2 Contradio
1) a) ~(P Q) Q
P
V
V
F
F
Q
V
F
V
F
P Q
V
F
V
V
~(P Q) ~(P Q) Q
F
F
V
F
F
F
F
F
b) ~(P (P Q))
P
V
V
F
F
120
Q
V
F
V
F
PQ
V
V
V
F
P (P Q) ~(P (P Q))
V
F
V
F
V
F
V
F
Lgica para Computao
3.3.3 Frmula satisfatvel

1) a) H = (P Q) Q
P
V
V
F
F
Q
V
F
V
F
P Q
V
F
F
V
Q
V
F
V
V
b) G = (P Q) (P Q)
P
V
V
F
F
Q
V
F
V
F
PQ
V
F
V
V
PQ
V
F
F
F
(P Q) (P Q)
V
V
F
F
3.3.4 Equivalncia lgica

a) G = A B
A
V
V
F
F
B
V
F
V
F
e
G
V
F
V
V
H = ~(A B)
H
F
F
F
V
AB
V
V
V
F
Concluso: G no equivale a H
b) G = ~(A B) e
A
V
V
F
F
B
V
F
V
F
AB
V
V
V
F
H = ~A ~B
G
F
F
F
V
~A
F
F
V
V
Concluso: G equivale a H.
~B
F
V
F
V
H
F
F
F
V
121
Lgica para Computao
3.3.5 Implicao lgica

1) As tabelas verdade de K, L e M so:
K
V
F
V
F
L
V
F
F
F
M
V
V
V
F
a) L M. Pelo critrio 3:
L
V
F
F
F
M
V
V
V
F
LM
V
V
V
V
Logo, L M, pois L M uma tautologia.

b) M K
M
V
V
V
F
K
V
F
V
F
MK
V
F
V
V
Logo, M no implica logicamente em K.

c) L K
L
V
F
F
F
122
K
V
F
V
F
LK
V
V
V
V
Logo, L implica logicamente em K.
Lgica para Computao
d) K M
K
V
F
V
F
M
V
V
V
F
KM
V
V
V
V
Concluso: K implica logicamente em M (ou K M).

2) A = (~P Q) e B = (P Q)
P
V
V
F
F
Q
V
F
V
F
A
F
V
V
F
B
V
V
V
F
Verifica-se que I[A] = V na terceira e quarta linhas e nessas

mesmas linhas I[A] = V tambm. Logo, A B.
4.1 Argumento
1) a) Identifica-se as proposies simples:
Jonas anda
J
O trem sai no horrio
T
Jonas perde o trem
P
Jonas fica triste
F
Jonas volta para casa
C
Argumento: ((J T) P) (P (F C)) J C
b) (S (~C ~Q)) (~C Q) ~S
123
Lgica para Computao
4.2.1 Exerccio 1.
S
V
V
V
V
F
F
F
F
C
V
V
F
F
V
V
F
F
Q
V
F
V
F
V
F
V
F
1
2
3
~C ~Q ~C ~Q S 1 ~C Q
F
F
F
F
F
F V
F
F
F
V F
F
F
V
V V
V
V
F
F
F
F
V
F
F V
F
V
F
V F
F
V
V
V V
V
V
F
4
23
F
F
F
F
F
F
V
F
~S
F
F
F
F
V
V
V
V
4 ~S
V
V
V
V
V
V
V
V
A frmula vlida.
4.2.2 Exerccio 1
1
I[P] = V
I[P] = F
I[Q] = V
I[Q] = F
5
V
F = (P (P Q)) (P Q)
N 2:
V ? V ?
? V ?
Nada se pode concluir sobre o valor do n 2.
F = (P (P Q)) (P Q)
N 3:
F F F V
V F ?
Como o antecedente da implicao falso, concluise que o n 3 tem valor lgico V.
124
F = (P (P Q)) (P Q)
N 4:
V V VV V V V V V
Concluso: o n 4 verdadeiro.
Lgica para Computao
F = (P (P Q)) (P Q)
N 5:
V F VF F V F F F
Idem n 3.
Todos os ns da rvore tm valor lgico V, logo a frmula

vlida.
b) G = ~(P Q) ~P
1
I[P] = V
I[P] = F
I[Q] = V
I[Q] = F
5
V
A frmula no vlida, pois o n 5 tem valor F. A

interpretao para a qual I[G] = F : I[P] = V e I[Q] = F.
c) H = ((A B) (A C)) A
1
I[A] = V
I[A] = F
3
2
V
I[B] = F
I[B] = V
4
I[C] = V
I[C] = F V
7
F
125
Lgica para Computao
A frmula no vlida. Para I[A] = F, I[B] = V e I[C] = V tem-se

I[H] = F.
Exerccio 2
1
I[S] = V
I[S] = F
I[C] = V
I[C] = F
5
V
6
7
V
N 2:
N 3:
N 4:
N 5:
N 6:
N 7:
(S (~C ~Q)) (~C Q) ~S

V ?
? FV
F V
?
V VF
V F FV F
F FV F V FV
V ? VF ?
? VF ? ? FV
V F VF F FV F VF V V V FV
V V VF V VF F VF F F V FV
Como todos os ns folha da rvore possuem valor lgico V, a

frmula vlida.
4.2.3 Mtodo da negao ou absurdo
126
1. a) G = A B ~A
F V F VF
Para que o condicional seja falso o antecedente () deve
Lgica para Computao
ser verdadeiro e o conseqente falso. Mas isso s seria possvel se

A tivesse valor V em A B e valor F em ~A, o que seria um absurdo,
pois A no pode ter, ao mesmo tempo, dois valores verdade
distintos. Como no se pode provar que G falsa, ento G
vlida.
b) (P E) E P
F V V V V F F.
Para I[P] = F, a fbf resulta em F. Logo, no vlida.
c) H = ((A B) (A C)) A
FVV V F V
F F.
Para I[A] = F e I[B] = V, tem-se I[H] = F. Concluso: H no
vlida.
4.2.4.1 Regras de deduo
1) Argumento: A (~B ~C) B
Passo de induo
regra
1. A
hip
2. ~B ~C
hip
3. ~(~B) ~C
2, cond
4. B ~C
3, dn
5. ~C B
4, com
6. C B
5, cond
7. B
1, 6, mp
2. a) A (B C) [(A B) (D ~C)] B D
1. A
hip
2. B C
hip
3. (A B) (D ~C) hip
4. B
hip
127
5. A B
6. D ~C
7. ~C D
8.CD
9. C
10. D
Lgica para Computao
1, 4, conj
3, 5, mp
6, com
7, cond
2, 4, mp
8, 9, mp
b) ~A B (B (A C)) C
1. ~A
hip
2. B
hip
3. B (A C)
hip
4. A C
2, 3, mp
5. ~(~A) C
4, dn
6. ~A C
5, cond
7. C
1, 6, mp
4.2.4.2 Exerccio 1: (~A ~B) (A C) (B C)
1. ~A ~B
2. A C
3. B
4. ~(~A)
5. A
6. C
hip
hip
hip (s precisa provar C)
1, 3, mt
4, dn
2, 5, mp
Exerccio 2: (A B) (~C A) C B
128
1. A B
2. ~C A
3. C
4. C A
5. C B
6. B
hip
hip
hip
2, cond
1,4 sh
3, 5, mp
Lgica para Computao
5. Quantificadores
a) Todo S P.
b) Todo S P negada.
c) Algum S P.
d) No enunciado categrico.
e) No enunciado categrico.
f) Dois enunciados: Algum S P e Algum S no P.
g) Todo S P.
h) no enunciado categrico.
5.1 Quantificador Universaol e Existencial

Exerccio 1
a) P(x) = x Jaraqui, no conjunto de todos os peixes.
b) No possvel.
Exerccio 2
a) x,Rx
c) x(Rx Vx)
e) x(Rx Sx)
g) x(Vx Rx)
i) x(Rx ~Sx)
k) x(Rx Sx)
b) x(Rx Vx)
d) x(Rx ~Sx)
f) x,Rx x, ~Rx
h) x(Rx ~Vx)
j) x(Sx Rx)
l) x ~Vx ~x(Vx Rx)
Exerccio 3
Fazendo Ax x par, Bxy x < y e Cy y mpar, a fbf
assume valor falso.
Exerccio 4
1) a) F b) V
2) a) V b) V
c) F
c) V
d) V
d) F
e) V
129
Lgica para Computao
6.1 Seqncia recorrente

a) S = 10, 20, 30, 40, 50, ...
b) A = 2; 0,5; 2; 0,5; 2; ...
c) F = 1, 1, 2, 3, 5, ...
2. a) S(1) = 1
S(n ) = S(n 1) + (n 1), para n 2
b) S(1) = 1
S(n ) = S(n 1) + 2(n 1), para n 2.
6.Algoritmo definido por recorrncia

1) algoritmo R(n)
se n = 1 ento
retorne 3
seno
retorne R(n 1) + n2
fimse
fimalgoritmo
2) 6
130

Lgica para Computao
Anexo
Exerccios
1. Diga qual das sentenas abaixo so proposies, da
Lgica Proposicional. Classifique as que so proposies como
simples ou compostas.
a) Aline bonita.
b) Klinger trabalhador.
c) Quem saiu?
d) Ningum falou.
e) Algum est sorrindo.
f) 2 x 7 = 14.
g) 4 + y = 25.
h) Jorge chegou e Janice saiu.
i) 4 x 9 = 57 e Tef fica no estado de Roraima.
j) Cucui fica no estado do Amazonas e a floresta bonita.
k) Qualquer um pode falar.
l) Algum gritou.
m) Ou o exerccio est correto ou no sei a resposta.
n) Cheguei cedo mas no encontrei Onofre.
o) Se azul for amarelo, ento roxo branco.
p) Quem corre cansa.
q) Euclides viajou?
r) Josefina est alegre e vai festa hoje.
s) Heliodoro no conhece todos.
t) A casa est fechada mas a janela est aberta.
131
Lgica para Computao
2. Diga quais das frmulas abaixo no so fbf :

a) P Q
b) PQR A
c) A B
d) ((A B) C)
e) P1 P2 P3 P4
f) A1 B C D F G H
g) A (B C) ((B C) D) F ( G H) ( P Q R)
h) A B (( B C
i) )) A B C D ((
j) ~(~C (~B C) (~(~A ~B) ~(D E))
3. Seja P Paulo alto, Q Paulo elegante e seja R
Paulo feliz. Escreva cada uma das seguintes proposies de
forma simblica:
a) Paulo alto e elegante.
b) Paulo alto mas no elegante
c) falso que Paulo baixo ou elegante.
d) Paulo no nem alto nem elegante.
e) Paulo alto, ou Paulo baixo e elegante.
f) Se Paulo alto, ento ele felia e elegante.
g) Paulo baixo ou no elegante.
h) Se Pualo alto ento ou ele alto ou se ele elegante
ento ele feliz..
i) Paulo ser alto se, e somente se, for elegante.
j) Se Paulo alto e elegante, ento ele elegante.
k) Paulo no alto e no elegante.
l) Ou Paulo alto logo elegante, ou Paulo no alto.
m) Ou Paulo alto ou, se elegante no alto.
n) Ou Paulo elegante e feliz se, e somente se alto, ou
no alto mas feliz.
o) Se Paulo elegante se, e somente se, for alto, ento ele
132 alto e elegante.
Lgica para Computao
p) Se Paulo elegante se, e somente se, for alto, ento ele

alto. Paulo elegante.
4. Seja P A lua fria, seja Q O sol quente e seja R A

Terra redonda. Passe para a linguagem corrente as
proposies:
a) P Q
b) P Q
c) P Q
d) P ~Q
e) Q P
f) ~P ~Q
g) P ~Q
h) P (P Q)
i) ~Q ~R
j) ~Q ~P k) (Q R) (P Q)
l) (R (P Q)) R
m) P Q R
n) ((Q R) Q) R
o) (P Q R) (P Q)
5. Faa a negao das proposies abaixo:
a) A castanheira alta.
b) A seringueira alta e a castanheira no alta.
c) A floresta bonita ou a castanheira alta.
d) Ou a floresta no bonita ou a seringueira no alta.
e) Nem a seringueira alta nem a floresta bonita.
f) A casa grande, mas o quarto pequeno.
g) A casa grande ou o quarto pequeno.
h) A camisa bonita mas no tem botes.
i) A camisa no bonita e tem botes.
j) A camisa bonita ou no tem botes.
k) Nem a camisa bonita nem tem botes.
l) Se a camisa bonita, ento tem botes.
m) A casa no grande e o quarto no pequeno.
6. Considere as proposies abaixo e diga quais negaes de

cada uma esto corretas.
a) A resposta certa 3 ou 6.
1) A resposta certa no 3 ou no 6.
133
Lgica para Computao
2) A resposta certa no 3 e no 6.
3) A resposta certa no 3 mas 6.
b) Mamo no verde e tem sementes.
1) Mamo verde e no tem sementes.
2) Mamo verde e tem sementes.
3) Mamo verde ou tem sementes.
4) Mamo verde ou no tem sementes.
7. D o valor verdade das seguintes proposies:
a) A Terra um planeta.
b) A Terra no um planeta.
c) No verdade que a terra no um planeta.
d) O Amazonas o maior rio do mundo.
e) 10 + 5 = 20
f) 10 + 5 20.
g) A Terra um planeta e Marte no um planeta.
h) A Terra gira em torno do Sol e Saturno tambm.
i) Tambaqui peixe e boto no peixe.
j) Tambaqui peixe e ona mamfero.
k) Tambaqui peixe ou ona mamfero.
l) Ou peixe-boi no peixe ou ona no sai da toca noite.
m) No verdade que tambaqui peixe e ona mamfero.
n) Se tambaqui peixe, ento ona mamfero.
o) Se tambaqui no peixe, ento ona mamfero.
p) Se tucunar peixe, ento boto no peixe.
q) Tucunar peixe se, e somente se, boto no for peixe.
r) Tucunar peixe se, e xomente se, dourado for peixe.
s) No verdade que se a castanheira rvore ento
seringueira tambm rvore.
t) Se castanheira no rvore, ento boto no peixe.
u) Se castanheira rvore, ento boto no peixe.
v) Se castanheira rvore, ento boto peixe.
134
Lgica para Computao
w) Arara ave se, e somente se, guia for ave.

x) Arara no ave se, e somente se, guia no for ave.
y) Arara ave se, e somente se, guia no for ave.
z) Arara no ave se, e somente se, guia for ave.
Para as prximas sentenas, considere que s seja possvel
escolher uma alternariva:
aa) Ou bebo suco ou bebo refrigerante.
bb) Ou vou ao baile ou vou dormir.
cc) No bebo suco nem bebo refrigerante.
dd) Vou ao baile e vou dormir (ao mesmo tempo).
ee) No verdade que vou ao baile e vou dormir.
8. Fazer a tabela verdade para as frmulas:

a) ~ (P Q)
b) ~(P ~ Q)
c) (P Q) (P Q)
d) (P Q) (~Q ~P)
e) ~(P (~P Q)) Q
f) P (P ~Q)
g) (P Q) ( ~P Q)
h) ~ (P Q) ~(Q P)
i) A ~(~A ~B)
j) (A B) [(A C) (B C)]
k) A ~B ~(A B )
l) ~((A B) (~A ~B))
m) (A (B ~C) ) (~A C ~B)
n) (A B) C A (B C)
o) (~A B) (B C)
p) A (B (A C)
q) C (A (B A))
r) (P (Q (P Q))) (P (P Q)) (P (P ~Q))
135
Lgica para Computao
d) (P (Q R)) ((P Q) R)
e) P1 (P2 (P3 (P4 (P5 (P6 (P7 ))))))
f) P1 ((P2 P3) ((P4 P5) ((P6 P7) P8)))
g) ~((P Q) R S) (P1 Q1)
h) (~P Q) ((~Q P) (P Q))
i) (P ((P (Q P))) (Q P))
j) (P ~Q) ~(P Q)
15. Transforme os argumentos abaixo em frmulas da lgica

proposicional e verifique, usando rvore semntica, se so
vlidos:
a) Suponha que so verdadeiras as afirmaes
i) Joo ama Aline ou Luciana.
ii) Se Joo ama Aline, ento ele tambm ama Luciana.
A partir dessas afirmaes possvel afirmar que
necessariamente, Joo ama Aline?
necessariamente, Joo ama Luciana?
b) Quatro detetives, Ana, Teresa, Cynthia e Melo, esto
investigando as causas de um assassinato e cada um deles
conclui:
Ana: Se h sangue na cena do crime, ento o matador um
profissional.
Teresa: falso que h sangue na cena do crime e o matador
um profissional.
Cynthia: O matador no um profissional e h sangue na
cena do crime.
Melo: H sangue na cena do crime.
Determine se, a partir das concluses de Teresa e Melo,
1 37
Lgica para Computao
9. Diga quais das frmulas do exerccio 8 so tautologias,

contradies ou, apenas, satisfatveis.
10. Seja I uma interpretao, tal que I[P] = T, I[Q] = F e I[R] =
F. O que se pode afirmar a respeito do valor verdade de cada
frmula abaixo?
a) (Q ~P)
b) (falso Q) R c) (P (Q P))
d) verdadeiro (P R)
e) ~P ~R ~Q
f) ~Q (P ~Q)
g) (P (Q R)) ((P Q) R)
11. Seja I uma interpretao tal que I[P Q] = V. O que se
pode deduzir a respeito dos resultados das interpretaes:
a) I[~P Q]
b) I[P ~Q] c) I[Q P] d) P Q
12. Sabendo que I uma interpretao que interpreta cada
frmula abaixo como sendo verdadeira e que I[A] = V, o que se
pode concluir a respeito de I[B] e I[C]?
a) L = ~(A ~B)
b) M = (A B) C
c) N = (A ~B) C
d) O = (A B) ~B
13. Considere as frmulas G, H e L, abaixo, e responda o
que se pede.
G = (A B) ~B
H = ~A ~B L = ~(A B)~
Verifique se:
a) G H
b) G L
c) L G
d) L H
e) H G
f) H L
14. Verifique, usando a rvore semntica, se as seguintes
fbf so vlidas. Caso alguma fbf no seja vlida, identifique uma
interpretao para a qual a frmula no vlida.
a) (~P Q) (P Q)
b) P ((Q R) ((P R) (P R)))
136
c) (P ~Q)) ~P
Lgica para Computao
pode-se concluir que o matador profissional.

Determine se as concluses de Ana e Teresa so
equivalentes.
Determine se h implicao lgica entre as concluses de
Cynthia e Ana.
c) Se a temperatura e os ventos permanecerem constantes,
no chover. A temperatura no permaneceu constante. Logo,
Se chover significa que os ventos no permaneceram constantes.
d) Se Godofredo ama Gripilina, ento possvel concluir
que:
Se Gripilina bonita, inteligente e sensvel, ento
Godofredo feliz.
A partir das afirmaes acima possvel concluir que:
Godofredo no ama Gripilina?
Gripilina no bonita, no inteligente e nem sensvel?
Godofredo feliz?
e) Se Katielly est bonita, ento Tony est feliz e se Tony
est feliz, Danilo est preocupado. Se Danilo est preocupado,
ento Katielly est bonita. Portanto, no verdade que se Danilo
est preocupado, ento Tony est feliz.
16. Usando o mtodo da negao, verifique os argumentos
dos exerccios 14 e 15.
138
17. Justifique cada passo de induo, na prova da frmula:

~A (A B) B
1. ~A
2. A B
3. ~(~A) B
Lgica para Computao
4. ~A B
5. B
18. Usando deduo lgica, prove que os argumentos
abaixo so vlidos:
a) ~P Q (Q (P R)) R
b) (A (B C) ~B ~C ~A
c) (A B) ~A B
d) (A B) (~B ~A)
e) ((P Q) R) (P (Q R))
f) (P (Q R)) ~Q ~R ~A
g) (A B) (A (B C)) (A C)
h) (A B) (~A ~B)
i) ((A B) C) (A (B C))
j) (A B) (B (C D)) A (B C)) (A D)
k) Se as taxas de juros carem, o mercado imobilirio vai
melhorar. Ou a taxa federal de descontos vai cair, ou o mercado
imobilirio no vai melhorar. As taxas de juros vo cair. Portanto,
a taxa federal de descontos vai cair.
l) Meu cliente canhoto mas, se o dirio no tiver sumido,
ento meu cliente no canhoto; portanto, o dirio sumiu.
m)
19. Crie smbolos proposicionais e formalize as sentenas
predicadas abaixo:
a) Todos os dias so bonitos.
b) Alguns dias so bonitos.
c) Nada bonito.
d) Tudo bonito.
e) Todos os dias que so ensolarados so bonitos.
f) Alguns dias no so ensolarados.
g) Nenhum dia ensolarado.
139
Lgica para Computao
h) Todos os dias so bonitos se, e somente se, no est

chovendo.
i) No verdade que alguns dias bonitos so ensolarados.
j) Todos os carros so pretos.
k) Alguns carros so pretos.
l) Somente Fuscas so pretos.
m) No existem Fuscas pretos.
n) Alguns Fuscas so pretos ou so vermelhos.
o) Alguns carros so Fuscas e so pretos.
p) Se est chovendo, ento algumas pessoas esto
molhadas.
q) Ou est chovendo ou nenhuma pessoa est molhada.
r) Se nada preto, ento no existem carros pretos.
s) Qualquer coisa ou um Fusca ou no um Fusca.
t) No verdade que existem alguns Fuscas pretos.
20. Escreva os seis primeiros termos das seqncias

recorrentes:
140
a) A(1) = 5
A(n) = A(n 1) + 10, para n 2.
b) B(1) = 3
B(n) = B(n 1) + 1/n, para n 2.
c) C(1) = 1
C(n) = C(n 1) +3(n 1), para n 2.
d) D(1) = 1
D(2) = 2
D(n) = 2D(n 1) + 3D(n 2), para n > 2.
e) M(1) = 1
M(2) = 1
M(3) = 2
M(n) = M(n 1) + 2M(n 2) + 3M(n 3), para n > 3.
Lgica para Computao
21. Escreva as seqncias abaixo de forma recorrente:

a) S = 5, 10, 15, 20, 25, ...
b) T = 5, 7, 10, 14, 19, ...
c) U = 2, 8, 24, 64, 160, ...
d) V = 1, 4, 16, 64, 256, ...
e) X = 4, 7, 13, 22, 34, ...
22. Escreva um algoritmo recorrente para calcular o nsimo termo de cada uma das seqncias do exerccio 21.
23. Qual o valor retornado pelos algoritmos abaixo:
a) Para n = 6, como valor inicial.
algoritmo S(n)
se n = 1 ento
retorne 3
seno
retorne S(n 1) + 2(n 1)
fimse
fimalgoritmo
b) para qualquer valor inicial de n:

algoritmo A(n)
se n = 1 ento
retorne 1
seno
retorne A(n 1) + 1
fimse
fimalgoritmo
c) Para o valor inicial n = 5

algoritmo R(n)
se n = 1 ento
retorne 1
seno
retorne R(n 1) + 7(n + 1)
fimse
fimalgoritmo
141

Logica de Computacao para Lei PDF

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Logica de Computacao para Lei PDF

Загружено:

Авторское право:

Доступные форматы

Lgica de

Universidade do Estado do Amazonas

Omar Jos Abdel Aziz

Universidade do Estado do Amazonas

Carlos Eduardo de Souza Gonalves

Fares Franc Abinader Rodrigues

Osail Medeiros de Souza

Edinea Mascarenhas Dias

Jos Luiz de Souza Pio

Rogelio Casado Marinho Filho

Escola Superior de Tecnologia

Curso Superior de Tecnologia em Anlise e Desenvolvimento de Sistemas

ngela Timtia Pereira Lima

Ednaldo Coelho Pereira

Universidade do Estado do Amazonas.

Perfil dos Autores

Salvador Ramos Bernardino da Silva (Coordenador)

Cludio de Oliveira Santos

Ns ltimos anos, o avano da tecnologia da informtica mudou os

Professora Doutora Marilene Corra da Silva Freitas

Tecnologia em Anlise e Desenvolvimento de Sistemas

1.1 O que lgica?

Lgica para Computao

Assim, a lgica o ramo da filosofia que cuida das regras do

Lgica para Computao

1.2 Origem da lgica.

1.3 Classificao da lgica:

Lgica para Computao

A lgica dedutiva , freqentemente, dividida em:

Lgica para Computao

Exemplos: Paracompletas e intuicionistas (derrogam o

Tecnologia em Anlise e Desenvolvimento de Sistemas

2.1 Elementos fundamentais da sintaxe

a) Alfabeto constitudo por:

Lgica para Computao

Os smbolos de pontuao so diferentes dos utilizados na

Lgica para Computao

Paris uma cidade brasileira.

Lgica para Computao

Maria tem 23 anos

Tendo como base um pas no qual a pessoa seja

Maria no tem 23 anos.

Maria tem 23 anos ou Maria menor

Maria no tem 23 anos e Maria menor

Maria no tem 23 anos ou Maria menor

Maria tem 23 anos ou Maria no menor

Maria tem 23 anos e Maria no menor

Se Maria tem 23 anos ento Maria menor

Se Maria no tem 23 anos ento Maria menor

Maria no tem 23 anos e Maria menor

Maria tem 18 anos equivalente a Maria no menor C~B

Lgica para Computao

Os gatos tm trs patas.

Lgica para Computao

O item a) define as frmulas mais simples: os smbolos de

Lgica para Computao

E, mas, tambm, alm disso, ponto final

Tabela 1 Indicaes para formalizao de uma proposio (Geristing, 2001, p. 4).

Smbolos auxiliares: ( ) , parnteses que servem para

Representao na lgica proporcional: (P Q) P Q.

Lgica para Computao

Representao da sentena, como uma fbf:

Lgica para Computao