Escolar Documentos
Profissional Documentos
Cultura Documentos
Logica de Computacao para Lei
Logica de Computacao para Lei
computao
para
leigos
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
Projeto grfico
Aurelino da Silva Bentes
Reviso
ngela Timtia Pereira Lima
U58l
Manoel S. S. Azevedo
Professor da Escola Superior de Tecnologia (EST/UEA)
Mestre em Engenharia Eltrica-UFCG
Palavra da Reitora
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
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.
11
Tecnologia em Anlise e
Desenvolvimento de Sistemas
12
Tecnologia em Anlise e
Desenvolvimento de Sistemas
12
13
Tecnologia em Anlise e
Desenvolvimento de Sistemas
14
13
Tecnologia em Anlise e
Desenvolvimento de Sistemas
14
15
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.
16
Tecnologia em Anlise e
Desenvolvimento de Sistemas
17
Tecnologia em Anlise e
Desenvolvimento de Sistemas
18
Tecnologia em Anlise e
Desenvolvimento de Sistemas
Composio de Proposies
Podemos construir proposies a partir de outras
existentes. Usando a Composio de Proposies. Partindo das
proposies:
Proposio
Representao
Maria menor
representao
~A
Maria no menor.
Maria tem 23 anos e Maria menor
~
A/\B
A\/B
~A/\B
~A\/B
A\/~B
A/\~B
A B
~AB
~A/\B
19
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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) (
)
)
)
)
)
)
)
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
Tecnologia em Anlise e
Desenvolvimento de Sistemas
Expresso em Portugus
Conectivo
lgico
Expresso
Lgica
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
Representao
P
Q
22
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
23
Tecnologia em Anlise e
Desenvolvimento de Sistemas
24
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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)
25
Tecnologia em Anlise e
Desenvolvimento de Sistemas
Duas proposies
P
V
V
F
F
Q
V
F
V
F
26
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
Negao correta
Paulo baixo e
gordo
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
~P
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
e
e
e
e
2 + 2 = 4.
2 + 2 = 5.
2 + 2 = 4.
2 + 2 = 5.
Q
V
F
V
F
PQ
V
F
F
F
31
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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.
35
Tecnologia em Anlise e
Desenvolvimento de Sistemas
Q
V
F
V
F
PQ
F
V
V
F
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?
Tecnologia em Anlise e
Desenvolvimento de Sistemas
Q
F
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
P
V
Q)
F
(R
P)
V
E
V
37
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
EXERCCIOS
1)Quais so os nomes e quais so as proposies?
40
Tecnologia em Anlise e
Desenvolvimento de Sistemas
41
Tecnologia em Anlise e
Desenvolvimento de Sistemas
B
V
V
F
F
V
V
F
F
C
V
F
V
F
V
F
V
F
42
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
B
V
F
V
F
AB
V
F
F
F
AB
V
V
V
F
B
V
F
V
F
AB
V
F
F
F
AB
V
V
V
F
AB A B
V
V
V
V
43
Tecnologia em Anlise e
Desenvolvimento de Sistemas
2
B
V
F
V
F
Etapa
3
A
5
B
7
A
9
B
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
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
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
46
F
F
V
F
F
F
V
V
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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)
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
Q
V
F
V
F
PQ
V
F
F
F
~( P Q)
F
V
V
V
P ~( P Q)
V
V
V
V
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
B
V
F
V
F
AB B A
V
V
F
V
V
F
V
V
(A B) (B A)
V
F
F
V
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
52
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
L
V
F
F
F
~K
F
V
F
V
~K L
V
V
F
V
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
L
V
F
F
F
~L
F
V
V
V
~L K
V
V
V
V
L
V
F
F
F
~K
F
V
F
V
L ~K
F
F
F
F
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
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
57
Tecnologia em Anlise e
Desenvolvimento de Sistemas
58
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
A
B
C
59
Tecnologia em Anlise e
Desenvolvimento de Sistemas
Representao
P
Q
R
60
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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.
61
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
62
Tecnologia em Anlise e
Desenvolvimento de Sistemas
~P
~Q
P Q
~(P
Q)
P^(~Q)
Q^(~P
)
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
3
5
6
8
10
7
9
11
Tecnologia em Anlise e
Desenvolvimento de Sistemas
1
I[P] = V
2
I[P] = F
3
65
Tecnologia em Anlise e
Desenvolvimento de Sistemas
66
I[P] = F
3
V
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
67
Tecnologia em Anlise e
Desenvolvimento de Sistemas
1
I[P] = V
I[P] = F
I[Q] = V
I[Q] = F
5
V
I[P] = F
3
68
Tecnologia em Anlise e
Desenvolvimento de Sistemas
1
I[P] = V
I[P] = F
3
V
69
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
71
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
Tecnologia em Anlise e
Desenvolvimento de Sistemas
HIP
HIP
1,2 MP
1,2 MP
75
Tecnologia em Anlise e
Desenvolvimento de Sistemas
76
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
Regras de inferncia:
De
P, P Q
P Q, ~Q
P, Q
PQ
P
Podemos deduzir
Q
~P
PQ
P, Q
PQ
Nome da regra
Modus ponens mp
Modus tollens mt
Conjuno conj
Simplificao - simp
Adio ad
77
Tecnologia em Anlise e
Desenvolvimento de Sistemas
Q
V
F
V
F
PQ
V
F
V
V
78
Tecnologia em Anlise e
Desenvolvimento de Sistemas
79
Tecnologia em Anlise e
Desenvolvimento de Sistemas
hip
hip
hip
1, 3 mp (que significa: da hiptese 1 e da 3,
atravs da regra modus ponens, concluo que
C tambm verdadeira).
80
1. A C
2. C D
3. A
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
1. A (B C)
2. A
3. B C
4. B, C
hip
hip
1, 2 mp
3, simp
82
P
V
V
F
F
Q
V
F
V
F
PQ
V
V
V
F
Tecnologia em Anlise e
Desenvolvimento de Sistemas
hip
hip
hip
3, ad, obtendo, dessa forma, o valor
verdade do antecedente da hiptese do
passo 1.
hip
hip
hip
3, ad
1, 4, mp
2, 5, mp
83
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
84
hip
hip
mt
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
85
Tecnologia em Anlise e
Desenvolvimento de Sistemas
hip
hip
EXERCCIOS
Provar o argumento:
(~A ~B) (A C) (B C)
86
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
hip
hip
1, cond
87
Tecnologia em Anlise e
Desenvolvimento de Sistemas
hip
hip
1, cond
2, 3 sh
EXERCCIO 2
Provar o argumento: (A B) (~C A) C B
88
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
Tecnologia em Anlise e
Desenvolvimento de Sistemas
91
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
Passem os a um
quantificadores.
estud o m ais
Tecnologia em Anlise e
Desenvolvimento de Sistemas
detal hado
d os
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
EXERCCIOS
Selecionar trs Quantificadores Interrogativos
1)Quantos
2)Trs
3)Alguns
4)Quais
5)Todos
6)Ambos
7)Que
94
Tecnologia em Anlise e
Desenvolvimento de Sistemas
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
97
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
EXERCCIO 3
Encontre uma interpretao para a qual a mesma fbf
tenha valor lgico falso. (Mude o significado de A, B ou C).
99
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
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.
101
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
Resumindo:
S = 3, 7, 13, 21, 31 ...
104
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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, ...
105
Tecnologia em Anlise e
Desenvolvimento de Sistemas
se <condio> ento
comando(s)1
seno
comando(s)2
fimse
Tecnologia em Anlise e
Desenvolvimento de Sistemas
107
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
algoritmo S(n)
se n = 1 ento
retorne 1
seno
retorne S(n 1) + (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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
2 * S(4)
2 * S(3)
2 * S(4)
1111
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
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
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
114
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
117
Tecnologia em Anlise e
Desenvolvimento de Sistemas
2.2.1.6 Ou exclusivo
1. a) V
b) F
c) F
d) V
118
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
K
V
F
V
F
MK
V
F
V
V
122
K
V
F
V
F
LK
V
V
V
V
Tecnologia em Anlise e
Desenvolvimento de Sistemas
d) K M
K
V
F
V
F
M
V
V
V
F
KM
V
V
V
V
Q
V
F
V
F
A
F
V
V
F
B
V
V
V
F
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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.
F = (P (P Q)) (P Q)
N 5:
V F VF F V F F F
Tecnologia em Anlise e
Desenvolvimento de Sistemas
Idem n 3.
b) G = ~(P Q) ~P
1
I[P] = V
I[P] = F
I[Q] = V
I[Q] = F
5
V
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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:
126
1. a) G = A B ~A
F V F VF
Para que o condicional seja falso o antecedente () deve
Tecnologia em Anlise e
Desenvolvimento de Sistemas
127
Tecnologia em Anlise e
Desenvolvimento de Sistemas
5. A B
6. D ~C
7. ~C D
8.CD
9. C
10. D
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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.
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
2) 6
130
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
Tecnologia em Anlise e
Desenvolvimento de Sistemas
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
135
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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)
1 37
Tecnologia em Anlise e
Desenvolvimento de Sistemas
Tecnologia em Anlise e
Desenvolvimento de Sistemas
138
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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
Tecnologia em Anlise e
Desenvolvimento de Sistemas
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.
Tecnologia em Anlise e
Desenvolvimento de Sistemas
141