MD 1FundamentosDaLogica

Fundamentos da Lgica
Lgica Proposicional
Antonio Alfredo Ferreira Loureiro

loureiro@dcc.ufmg.br
http://www.dcc.ufmg.br/~loureiro
UFMG/ICEx/DCC MD
Grafos 1
Fundamentos da lgica:
Alguns fatos histricos
Responsvel por escrever os primei-
Aristteles (384 a.C.322 a.C.), fil- ros grandes trabalhos de lgica:
sofo grego. Produziu uma obra rica e Coleo de regras para raciocnio
multifacetada. Nela encontramos uma dedutivo que pode ser usado em
exaustiva compilao dos conhecimen- qualquer rea do conhecimento.
tos do seu tempo, mas tambm, uma
filosofia que ainda hoje influncia a
nossa maneira de pensar.
Prope o uso de smbolos para meca-
Gottfried Wilhelm Leibniz (16461716), nizar o processo de raciocnio dedu-
filsofo e matemtico alemo, provavel- tivo.
mente mais conhecido por ter inventado
o clculo integral e diferencial indepen-
dentemente de Isaac Newton.
George Boole Augustus Propem as bases da lgica simblica

(18151864), De Morgan moderna usando as idias de Leibniz.
matemtico (18061871),
e filsofo matemtico
ingls. ingls.
UFMG/ICEx/DCC MD
Grafos 2
Fundamentos da lgica:
Atualidade
Pesquisa continua sendo aplicada em reas como:

inteligncia artificial;
projeto de circuito lgico;
teoria de autmatos e computabilidade;
teoria de bancos de dados relacionais;
teoria de linguagens;
teoria de sistemas distribudos.
UFMG/ICEx/DCC MD
Grafos 3
Forma de um Argumento
Seu Contedo
Forma de um argumento: conceito central da lgica dedutiva.
Argumento: sequncia de afirmaes para demonstrar a validade de uma

assero.
Como saber que a concluso obtida de um argumento vlida?

As afirmaes que compem o argumento
so aceitas como vlidas, ou
podem ser deduzidas de afirmaes anteriores.
Em lgica, forma de um argumento 6= seu contedo.
Anlise lgica no determina a validade do contedo de um argumento.
Anlise lgica determina se a verdade de uma concluso pode ser obtida

da verdade de argumentos propostos.
Lgica: Cincia do Raciocnio.

UFMG/ICEx/DCC MD
Grafos 4
Seu Contedo
Exemplo 1:
se a sintaxe de um programa est errada ou
se a execuo do programa resulta em diviso por zero
ento o computador ir gerar uma mensagem de erro.
.
. . Computador no gera mensagem de erro

Sintaxe do programa est correta e
Execuo do programa no resulta em diviso por zero.
Exemplo 2:
se x R | x < 2 ou x > 2
ento x2 > 4.
.
. . x2 4

x 2 e x 2.
UFMG/ICEx/DCC MD
Grafos 5
Seu Contedo
Nos exemplos, temos que o contedo dos argumentos diferente.
No entanto, a forma lgica a mesma:

se p ou q
ento r.
.
. . no r

no p e no q.
Argumentos na forma lgica so normalmente representados por letras

minsculas do alfabeto.
Exemplo: p, q, r.
Em geral, as definies da lgica formal esto de acordo com a lgica

natural ou intuitiva das pessoas de bom senso.
O formalismo introduzido para evitar ambiguidade e garantir consistncia.

UFMG/ICEx/DCC MD
Grafos 6
Proposies
Em toda teoria matemtica, usam-se termos j definidos na concepo de

novas definies.
Mas como fazer com os termos mais primitivos?

Termos primitivos ou iniciais no so definidos.
Em lgica, os termos sentena, verdadeiro, e falso so os termos iniciais
no definidos.
Definio: uma afirmao ou proposio uma sentena que verdadeira

(V) ou falsa (F) mas no ambas.
Exemplo 3:
2+2=4
2+2=5
so proposies, onde a primeira V e a segunda F.
UFMG/ICEx/DCC MD
Grafos 7
Proposies
Exemplo 4:
Ele um estudante universitrio.
no uma proposio j que depende da referncia ao pronome ele.
Exemplo 5:
x + y > 0.
tambm no uma proposio j que depende dos valores de x e y.
possvel transformar uma sentena como nos exemplos 4 ou 5 numa

proposio?
Sim, atravs de quantificadores, como ser visto em lgica de predicados.
UFMG/ICEx/DCC MD
Grafos 8
Proposies compostas
Nos exemplos usados daqui para frente, usaremos as letras minsculas (por
exemplo, p, q, r) para representar afirmaes.
Os seguintes smbolos podem ser usados para definir expresses lgicas

mais complexas a partir de expresses mais simples:
ou ou barra sobre a letra ou linha : no
p lido como no p e chamado de negao de p.
Outras formas: p, p, p0
: e
p q lido como p e q e chamado de conjuno de p e q.
: ou
p q lido como p ou q e chamado de disjuno de p e q.
UFMG/ICEx/DCC MD
Grafos 9
Proposies compostas
um operador unrio e e so operadores binrios.
Avaliao na seguinte ordem:

1. (negao);
2. , (conjuno, disjuno).
Observao: Alguns autores consideram que a conjuno tem prioridade sobre a
disjuno, enquanto outros definem a mesma prioridade para os dois operadores. O
melhor usar parntesis para indicar a prioridade, evitando esse problema.
Exemplo 6:
p q = (p) q
p q r ambguo pela discusso acima.
Melhor soluo: (p q) r ou p (q r).
UFMG/ICEx/DCC MD
Grafos 10
Proposies:
Traduo de sentenas em linguagens natural e
algbrica para smbolos
Mas e No/nem . . . nem

p = Est quente.
q = Est ensolarado.
Exemplo 7:
(a) No est quente mas est ensolarado.
Mas = ; p q.
(b) No est quente nem ensolarado.
Nem A nem B = A B ; p q.
UFMG/ICEx/DCC MD
Grafos 11
Proposies:
Traduo de sentenas em linguagens natural e
algbrica para smbolos
e (), ou (), e desigualdades

Sejam trs nmeros reais representados por a, b, e x.
xax<ax=a
axbxaxb
2 x 1 x 2 x 1, que F.
Sejam os predicados:
p: x > 0; q: x < 3; r: x = 3.
(a) x 3 q r
(b) 0 < x < 3 p q
(c) 0 < x 3 p (q r)
UFMG/ICEx/DCC MD
Grafos 12
Proposies e os valores-verdade
Para uma sentena ser uma proposio necessrio ter um valor-verdade

bem definido, i.e., V ou F.
Negao () e sua tabela da verdade:

p p
V F
F V
Conjuno () e sua tabela da verdade:

p q pq
V V V
V F F
F V F
F F F
UFMG/ICEx/DCC MD
Grafos 13
Proposies e os valores-verdade
Disjuno ()
Possveis significados:
inclusive: p ou q ou ambos (significado assumido para este operador), e
exclusivo: p ou q, mas no ambos.
p q pq
V V V
V F V
F V V
F F F
UFMG/ICEx/DCC MD
Grafos 14
Proposies mais complexas
Exemplo 8:
Construa a tabela da verdade para a expresso:
E = (p q) (p q)
p q pq pq (p q) E
V V V V F F
V F V F V V
F V V F V V
F F F F V F
E = p q = p xor q (ou exclusivo)
O ponto fundamental em assinalar valores-verdade para proposies

compostas que permite o uso da lgica para decidir a verdade de uma
proposio usando somente o conhecimento das partes.
A lgica no ajuda a determinar a verdade ou falsidade de uma afirmao

em si, ou seja, seu contedo.
UFMG/ICEx/DCC MD
Grafos 15
Equivalncia lgica
As proposies p q e q p possuem os mesmos valores-verdade.

p q pq qp
V V V V
V F F F
F V F F
F F F F
Por essa razo, p q e q p so equivalentes logicamente.
Definio: duas proposies P e Q so equivalentes logicamente se e

somente se os valores-verdade obtidos forem idnticos para cada
combinao possvel das variveis que formam as proposies.
UFMG/ICEx/DCC MD
Grafos 16
Equivalncia lgica
Como verificar se duas proposies P e Q so equivalentes logicamente?

1. Construa a tabela da verdade para P .
2. Construa a tabela da verdade para Q usando os mesmos valores de
variveis para as afirmaes que formam a proposio.
3. Verifique se as tabelas da verdade de P e Q so idnticas para cada
combinao de valores-verdade. Se forem, P e Q so equivalentes
logicamente, caso contrrio no.
Exemplo 9:
(p) p
(p q) 6 p q
UFMG/ICEx/DCC MD
Grafos 17
Equivalncia lgica
Leis de De Morgan
Negao de e : Leis de De Morgan.
Sejam as afirmaes:
p = Joo alto.
q = Jos ruivo.
A proposio p q verdadeira sse os componentes forem verdadeiros.
Quando a proposio falsa?

Quando um dos componentes ou ambos forem falsos, i.e.,
(p q) p q
Mostre as seguintes equivalncias:

(p q) p q
(p q) p q
Essas duas equivalncias so conhecidas como leis de De Morgan que foi
o primeiro a express-las em termos matemticos.
UFMG/ICEx/DCC MD
Grafos 18
Leis de De Morgan: Exemplos
Exemplo 10:
p = Joo tem 2 m de altura e ele pesa pelo menos 90 kg.
p = Joo no tem 2 m de altura ou ele pesa menos de 90 kg.
Exemplo 11:
p= x<2
p = x 6< 2 x 2
Exemplo 12:
p = 1 < x 4
p = (1 < x 4) (x > 1 x 4)
x 6> 1 x 6 4 x 1 x > 4.
Exemplo 13:
p = Joo alto e Joo magro.
p = Joo no alto ou Joo no magro.
UFMG/ICEx/DCC MD
Grafos 19
Leis de De Morgan: Exemplos
Exemplo 14:
t = Joo alto e magro.
t = Joo no alto e magro.
Em lgica formal os vocbulos e e ou so permitidos somente entre
afirmaes completas e no entre partes de uma sentena.
Apesar das leis da lgica serem extremamente teis, elas devem ser usadas
como uma ajuda ao raciocnio e no como um substituto mecnico a
inteligncia.
Equivalncia lgica muito til na construo de argumentos.
UFMG/ICEx/DCC MD
Grafos 20
Tautologias e contradies
Uma tautologia uma proposio que sempre verdadeira independente

dos valores-verdade das afirmaes que compem a proposio.
Uma contradio uma proposio que sempre falsa independente dos

valores-verdade das afirmaes que compem a proposio.
De acordo com essas definies, a verdade de uma tautologia ou falsidade

de uma contradio se devem a estrutura lgica da proposio em si e so
independentes dos significados das afirmaes que compem a proposio.
UFMG/ICEx/DCC MD
Grafos 21
Tautologias e contradies
Mostre que a proposio p p uma tautologia e que a proposio p p

uma contradio.
Se t uma tautologia e c uma contradio mostre que p t p e p c c
UFMG/ICEx/DCC MD
Grafos 22
Sumrio da equivalncia lgica
Comutatividade pq qp pq qp
Associatividade (p q) r (p q) r
p (q r) p (q r)
Distributividade p (q r) p (q r)
(p q) (p r) (p q) (p r)
Identidade ptp pcp
Negao p p t p p c
Dupla negao (p) p
Idempotncia ppp ppp
De Morgan (p q) (p q)
p q p q
Limite universal ptt pcc
Absoro p (p q) p p (p q) p
Negaes t c c t
UFMG/ICEx/DCC MD
Grafos 23
Equivalncia lgica: Exemplo
Exemplo 15:
Mostre que
(p q) (p q) p
atravs dos axiomas acima.
UFMG/ICEx/DCC MD
Grafos 24
Proposio condicional ou Implicao
Sejam p e q proposies.
Se p ento q (ou p implica q) representado simbolicamente por
p q.
p chamado de hiptese e q de concluso.
Essa sentena chamada de condicional.
Sobre o uso tpico de uma proposio condicional ou implicao:

Este tipo de sentena usado tanto em linguagem natural quanto em
raciocnio matemtico para dizer que a verdade da proposio q
(concluso) est condicionada verdade da proposio p (hiptese).
No entanto, uma proposio condicional (do ponto de vista matemtico)
independente de uma relao causa-efeito entre hiptese e concluso.
Exemplo 16:
Se (48 divisvel por 6)=[p] ento (48 divisvel por 3)=[q].
UFMG/ICEx/DCC MD
Grafos 25
Proposio condicional
um conectivo lgico binrio para o qual podem ser definidos

valores-verdade.
Determinando a tabela da verdade para (seento).

A nica combinao em que a sentena condicional falsa quando a
hiptese V e a concluso F (por definio).
p q pq
V V V
V F F
F V V
F F V
UFMG/ICEx/DCC MD
Grafos 26
Seja a seguinte sentena que descreve uma promessa:

Se (voc se apresentar para trabalhar na segunda-feira pela
manh)=[p] ento (voc ter o emprego)=[q].
Em que situao o empregador no falou a verdade, ou seja, a promessa

(sentena) falsa?
p = V q = F.
E se a afirmao p no for satisfeita?

No justo dizer que a promessa falsa.
UFMG/ICEx/DCC MD
Grafos 27
Proposio condicional e linguagem natural
Seja a seguinte implicao:

Se hoje estiver ensolarado ento ns iremos praia.
Implicao tpica de uma conversao j que h uma relao entre a
hiptese e a concluso.
Implicao no considerada vlida quando o dia estiver ensolarado e ns

no formos praia.
UFMG/ICEx/DCC MD
Grafos 28
Proposio condicional e linguagem natural
Seja a seguinte implicao:

Se hoje sexta-feira ento 2 + 3 = 5.
Implicao que sempre verdadeira pela definio (tabela da verdade) da
proposio condicional.
Por outro lado, a implicao:

Se hoje sexta-feira ento 2 + 3 = 6.
verdadeira todos os dias da semana, exceto sexta-feira, apesar de
2 + 3 6= 6, ou seja, a concluso ser sempre falsa.
Ns no usaramos essas implicaes em linguagem natural j que no

existe uma relao entre hiptese e concluso.
O conceito matemtico de implicao est baseado na tabela-verdade, ou
seja, nos valores que a hiptese e a concluso podem assumir.
UFMG/ICEx/DCC MD
Grafos 29
Prioridade para o conectivo lgico :

ltimo a ser avaliado em expresses que contm
, , .
Exemplo 17:
Construa a tabela da verdade para a sentena p q p.
p q q p q p p q p
V V F V F F
V F V V F F
F V F F V V
F F V V V V
UFMG/ICEx/DCC MD
Grafos 30
Exemplo 18:
Mostre que p q r (p r) (q r)
p q r pq pr qr pq r (p r) (q r)
V V V V V V V V
V V F V F F F F
V F V V V V V V
V F F V F V F F
F V V V V V V V
F V F V V F F F
F F V F V V V V
F F F F V V V V
Para todas as combinaes de valores-verdade de p, q e r, a expresso da

esquerda tem o mesmo valor-verdade da direita.
UFMG/ICEx/DCC MD
Grafos 31
possvel representar p q em termos dos conectivos , , ?

Sim.
p q p q
Negao:
(p q) (p q)
(p) q
p q
Exemplo 19:
a: Se o (meu carro est na oficina)=[p] ento (eu no posso ir aula)=[q].
a: (Meu carro est na oficina)=[p] e (eu posso ir aula)=[q].
UFMG/ICEx/DCC MD
Grafos 32
Proposio condicional: Contrapositiva
A proposio contrapositiva de (p q) (q p).

p q q p
Exemplo 20:
p q: Se hoje Pscoa ento amanh segunda-feira.
q p: Se amanh no segunda-feira ento hoje no Pscoa.
UFMG/ICEx/DCC MD
Grafos 33
Proposio condicional: Converse
Nota: A converse opinion or statement is one that is the opposite to the one
that has just been stated. Collins Cobuild English Language Dictionary.
O termo converse traduzido em

Matemtica Discreta e suas Aplicaes, Kenneth H. Rosen, 6a edio,
por oposta,
Fundamentos Matemticos para a Cincia da Computao, Judith L.
Gersting, 5a edio, por recproca.
Matemtica Discreta, Seymour Lipschutz & Marc Lipson, 2a edio, por
conversa.
Nesta disciplina, iremos usar a primeira traduo.
A proposio oposta de (p q) (q p).

?
pq qp
No.
UFMG/ICEx/DCC MD
Grafos 34
Proposio condicional: Inversa
A proposio inversa de (p q) (p q).

?
p q p q
No.
Exemplo 21:
Original: Se hoje Pscoa ento amanh segunda-feira.
Oposta: Se amanh segunda-feira ento hoje Pscoa.
Inversa: Se hoje no Pscoa ento amanh no segunda-feira.
UFMG/ICEx/DCC MD
Grafos 35
Proposio condicional e proposies derivadas:
Sumrio
(p q) (q p) Proposio contrapositiva
(p q) 6 (q p) Proposio oposta
(p q) 6 (p q) Proposio inversa
(q p) (p q) contrapositiva
oposta de (p q) inversa de (p q)
UFMG/ICEx/DCC MD
Grafos 36
Proposio condicional:
Somente se
A sentena p somente se q significa que (acrescentado verbos):

p [pode ocorrer] somente se q [ocorre].
.
. . Se q no ocorre ento p no pode ocorrer, i.e.,
Se q ento p Se p ento q ou p q.
Proposies condicionais:
p somente se q 6 p se q.
p somente se q p q.
p se q q p.
UFMG/ICEx/DCC MD
Grafos 37
Somente se
Exemplo 22:
(48 divisvel por 6)=[p] somente se (48 divisvel por 3)=[q]
Se (48 divisvel por 6)=[p] ento (48 divisvel por 3)=[q].
Neste caso, a proposio condicional p q sempre verdadeira j que p e

q sempre assumem o valor verdadeiro.
Suponha que x seja um nmero inteiro e a seguinte proposio:

(x divisvel por 6)=[p] somente se (x divisvel por 3)=[q]
Se (x divisvel por 6)=[p] ento (x divisvel por 3)=[q].
Claramente existem valores para x que fazem com que a proposio seja
verdadeira e outros que seja falsa.
UFMG/ICEx/DCC MD
Grafos 38
Somente se
Exemplo 23:
A soma de 1 a n [ n(n+1)
2 ] somente se a soma de 1 a n + 1
[ (n+1)(n+2)
2 ]
Se a soma de 1 a n [ n(n+1)
2 ] ento a soma de 1 a n + 1 [ (n+1)(n+2)
2 ]
Exemplo 24:
Posso comprar o livro de MD somente se tenho dinheiro
Se posso comprar o livro de MD ento tenho dinheiro.
UFMG/ICEx/DCC MD
Grafos 39
Bicondicional (se somente se)
A sentena bicondicional entre p e q expressa como

p se e somente se q
e representada por
pq
e tem a seguinte tabela da verdade:
p q pq
V V V
V F F
F V F
F F V
UFMG/ICEx/DCC MD
Grafos 40
O conectivo tem a mesma prioridade do conectivo .
Exemplo 25:
Mostre que p q (p q) (q p)
p q pq qp pq (p q) (q p)
V V V V V V
V F F V F F
F V V F F F
F F V V V V
UFMG/ICEx/DCC MD
Grafos 41
Exemplo 26:
Este programa est correto se somente se ele produz a resposta
correta para todos os possveis valores de dados de entrada.
Reescrevendo como uma conjuno de duas sentenas seento:

Se este programa est correto ento ele produz a resposta correta
para todos os possveis valores de dados de entrada
e
se o programa produz a resposta correta para todos os possveis
valores de dados de entrada ento ele est correto.
UFMG/ICEx/DCC MD
Grafos 42
p q (p q) (q p).
p q pq (p q) (q p) (p q) (q p)
V V V V V V
V F F F V F
F V F V F F
F F V V V V
UFMG/ICEx/DCC MD
Grafos 43
Condio necessria & Condio suficiente
Sejam r e s afirmaes.
r uma condio suficiente para s:

se r ento s.
.
. . A ocorrncia de r suficiente para garantir a ocorrncia de s.
r uma condio necessria para s:

se no r ento no s
se s ento r.
.
. . Se r no ocorrer ento s tambm no pode ocorrer, i.e., a ocorrncia de r
necessria para se ter a ocorrncia de s.
A frase
r uma condio necessria e suficiente para s significa r se
somente se s.
UFMG/ICEx/DCC MD
Grafos 44
Exemplo 27:
Considere a sentena condicional p q:
Se Joo elegvel para votar ento ele tem pelo menos 16 anos.
p: Joo elegvel para votar.
q: Joo tem pelo menos 16 anos.
A verdade de p suficiente para garantir a verdade de q, ou seja,
Joo ser elegvel para votar condio suficiente para que ele tenha
pelo menos 16 anos.
A condio q necessria para a condio p ser verdadeira, ou seja,
Joo ter pelo menos 16 anos condio necessria para que ele seja
elegvel para votar.
UFMG/ICEx/DCC MD
Grafos 45
Exemplo 28:
Converta uma condio suficiente para a forma seento
O nascimento de Joo em solo brasileiro uma condio suficiente para
ele ser cidado brasileiro.
Se Joo nasceu em solo brasileiro ento ele um cidado brasileiro.
Exemplo 29:
Converta uma condio necessria para a forma seento
Joo ter 35 anos uma condio necessria para ser presidente do Brasil.
Se Joo no tem 35 anos ento ele no pode ser presidente do Brasil.
Se Joo pode ser o presidente do Brasil ento ele j tem pelo menos 35
anos.
UFMG/ICEx/DCC MD
Grafos 46
Argumentos vlidos e invlidos
Alguns fatos sobre argumentos do ponto de vista da matemtica e da lgica:
Um argumento no uma disputa.

Um argumento uma sequncia de comandos que termina numa
concluso.
Um argumento ser vlido significa que a concluso pode ser obtida
necessariamente das afirmaes que precedem.
Argumento (definio):
Um argumento uma sequncia de afirmaes.
Todas as afirmaes, exceto a ltima, so chamadas de premissas ou
suposies ou hipteses.
A ltima afirmao chamada de concluso.
.
O smbolo . ., que lido como de onde se conclui normalmente
colocado antes da concluso.
UFMG/ICEx/DCC MD
Grafos 47
Argumentos vlidos e invlidos
Exemplo 30:
Se Scrates um ser humano ento Scrates mortal;
Scrates um ser humano;
.
. . Scrates mortal.
Forma simblica:
Se p ento q;
p;
.
. . q.
conveniente pensar em p e q como variveis que podem ser
substitudas por argumentos.
A forma de um argumento vlida sse

para todas as combinaes de argumentos que levam a premissas
verdadeiras ento a concluso tambm verdadeira.
A verdade da concluso obtida analisando os valores-verdade da forma
lgica em si.
UFMG/ICEx/DCC MD
Grafos 48
Argumentos vlidos e invlidos:
Como analisar a validade
A validade da forma de um argumento pode ser feita seguindo os seguintes

passos:
1. Identifique as premissas e concluso do argumento.

2. Construa a tabela da verdade identificando as colunas das premissas e da
concluso.
3. Identifique as linhas onde todas as premissas so verdadeiras (linhas
crticas).
4. Para cada linha crtica verifique se a concluso do argumento verdadeira.
(a) Se for para todas as linhas crticas ento a forma do argumento
vlida.
(b) Se existir pelo menos uma linha crtica com concluso falsa ento a
forma do argumento invlida.
UFMG/ICEx/DCC MD
Grafos 49
Exemplo 31: Tabela da verdade:
Premissas Concluso
p (q r); p q r qr p (q r) r pq
r; 1. V V V V V F
. 2. V V F V V V V
. . p q. 3. V F V V V F
4. V F F F V V V
5. F V V V V F
6. F V F V V V V
7. F F V V V F
8. F F F F F V
Para todas linhas crticas a concluso verdadeira. Logo, o argu-

mento vlido.
Todas as linhas exceto as linhas crticas so irrelevantes para verificar a

validade de um argumento.
UFMG/ICEx/DCC MD
Grafos 50
Exemplo 32 argumento invlido:

p q r;
q p r;
.
. . p r; Premissas Concluso
p q r r q r pr p q r q p r pr
1. V V V F V V V V V
2. V V F V V F V F
3. V F V F F V F V
4. V F F V V F V V F
5. F V V F V F V F
6. F V F V V F V F
7. F F V F F F V V V
8. F F F V V F V V V
Para todas linhas crticas, exceto a 4, a concluso verdadeira. Logo, o

argumento invlido.
UFMG/ICEx/DCC MD
Grafos 51
Exemplo 33: Tabela da verdade:
p q; Premissas Concluso
q r; p q r pq qr rp pqr
r p; 1. V V V V V V V
. 2. V V F V F V
. . p q r.
3. V F V F V V
4. V F F F V V
5. F V V V V F
6. F V F V F V
7. F F V V V F
8. F F F V V V F
Existem duas linhas crticas, uma delas com concluso falsa. Logo, o
argumento invlido.
UFMG/ICEx/DCC MD
Grafos 52
Argumentos vlidos: Modus Ponens
Seja o seguinte argumento:

p q;
p;
.
. . q.
e um exemplo dessa forma:
Se o ltimo dgito de um no 0 ento este no divisvel por 10.
O ltimo dgito deste no 0.
.
. . Este no divisvel por 10.
Um argumento vlido que tem essa forma chamado de modus ponens

em Latim e que significa mtodo de afirmar.
UFMG/ICEx/DCC MD
Grafos 53
Argumentos vlidos: Modus Ponens
Exemplo 34:
Forma do argumento:
Premissas Concluso
p q;
p q pq p q
p; 1. V V V V V
. 2. V F F V
. . q.
3. F V V F
4. F F V F
UFMG/ICEx/DCC MD
Grafos 54
Argumentos vlidos: Modus Tollens
Seja o seguinte argumento:
p q;
q;
.
. . p.
e um exemplo dessa forma:
Se Zeus humano ento Zeus mortal. (1)
Zeus no mortal. (2)
.
. . Zeus no humano.
Suponha que as afirmaes (1) e (2) sejam verdadeiras.
Zeus deve ser necessariamente no-humano?
Sim!
Porque se Zeus fosse humano ento de acordo com (1) ele seria mortal.
Mas por (2) ele no mortal.
Dessa forma, Zeus no pode ser humano.
Um argumento vlido que tem essa forma chamado de modus tollens em
Latim e que significa mtodo de negar.
UFMG/ICEx/DCC MD
Grafos 55
Argumentos vlidos: Exemplos
Exemplo 35:
Se existem mais pssaros que ninhos
ento dois pssaros tero que chocar no mesmo ninho;
Existem mais pssaros que ninhos;
.
. . Dois pssaros chocam no mesmo ninho.
; De acordo com modus ponens.
Exemplo 36:
Se este no divisvel por 6
ento o no divisvel por 2;
Este no no divisvel por 2;
.
. . Este no no divisvel por 6.
; De acordo com modus tollens.
UFMG/ICEx/DCC MD
Grafos 56
Outras formas de argumentos vlidos:
Adio disjuntiva
As formas de argumentos
(a) p; (b) q;
. .
. . p q. . . p q.
so vlidas.
Premissa Concluso
p q p pq
1. V V V V
Forma do argumento:
p; 2. V F V V
.
. . p q. 3. F V F
4. F F F
Essas duas formas servem para fazer generalizaes, i.e.,

se p verdadeiro caso (a) ento mais genericamente p q verdadeiro
para qualquer afirmao q.
UFMG/ICEx/DCC MD
Grafos 57
Simplificao conjuntiva
(a) p q; (b) p q;
. .
. . p. . . q.
so vlidas.
Premissa Concluso
p q pq p
1. V V V V
Forma do argumento:
p q; 2. V F F
.
. . p. 3. F V F
4. F F F
Essas duas formas servem para fazer particularizaes, i.e.,

se p e q so verdadeiros ento em particular p verdadeiropara o caso (a).
UFMG/ICEx/DCC MD
Grafos 58
Silogismo disjuntivo
Silogismo = deduo formal tal que, postas duas premissas, delas se tira
uma concluso, nelas logicamente implicada.
(a) p q; (b) p q;
q; p;
. .
. . p. . . q.
so vlidas.
Forma do argumento:
Premissas Concluso
p q;
p q p q q p
q;
. 1. V V V F
. . p. 2. V F V V V
3. F V V F
4. F F F V
Essas formas de argumento expressam a situao onde existem somente
duas possibilidades e uma pode ser excluda o que leva ao fato que a outra
deve prevalecer.
UFMG/ICEx/DCC MD
Grafos 59
Silogismo disjuntivo
Exemplo 37:
Seja x um nmero inteiro e os seguintes argumentos:
p: x 3 = 0
q: x + 2 = 0
p q: Um dos argumentos pode ser eliminado.
q: x 6= 2. Sabe-se que x no negativo e por essa razo o

argumento a ser eliminado.
.
. . p, de acordo com o silogismo disjuntivo.
UFMG/ICEx/DCC MD
Grafos 60
Silogismo hipottico
Forma do argumento:
p q; Premissas Concluso
q r; p q r pq qr pr
. 1. V V V V V V
. . p r.
2. V V F V F
vlida. 3. V F V F V
4. V F F F V
5. F V V V V V
6. F V F V F
7. F F V V V V
8. F F F V V V
Muitos argumentos em matemtica so definidos por cadeias de sentenas

seento, onde o primeiro implica no ltimo.
UFMG/ICEx/DCC MD
Grafos 61
Silogismo hipottico
Exemplo 38:
Se 18.486 divisvel por 18
ento 18.486 divisvel por 9;
Se 18.486 divisvel por 9

ento a soma dos dgitos de 18.486 divisvel por 9;
.
. . Se 18.486 divisvel por 18
ento a soma dos dgitos de 18.486 divisvel por 9.
UFMG/ICEx/DCC MD
Grafos 62
Dilema: Prova por diviso em casos
Dilema = raciocnio cuja premissa alternativa, de tal forma que qualquer

dos seus termos conduz mesma consequncia.
Forma do argumento:
Premissas Concluso
p q; p q r pq pr q r r
p r;
1. V V V V V V V
q r;
. 2. V V F V F F
. . r.
3. V F V V V V V
4. V F F V F V
vlida.
5. F V V V V V V
6. F V F V V F
7. F F V F V V
8. F F F F V V
UFMG/ICEx/DCC MD
Grafos 63
Dilema: Prova por diviso em casos
Exemplo 39:
x positivo ou x negativo;
Se x positivo ento x2 > 0;
Se x negativo ento x2 > 0;

.
. . x2 > 0.
Neste caso j foi mostrado que existe uma dicotomia dos nmeros reais:
positivos, negativos ou zero. Por silogismo disjuntivo sabe-se x positivo ou
x negativo e chega-se concluso acima.
UFMG/ICEx/DCC MD
Grafos 64
Deduo mais complexa
Exemplo 40: Sejam os seguintes argumentos:
Voc est saindo para a escola de manh e p = Os meus culos esto na mesa da cozi-
percebe que no est usando os culos. Ao nha.
tentar descobrir onde esto os culos voc co- q = Eu vi meus culos no caf da manh.
mea a pensar sobre os seguintes fatos que
so verdadeiros: r = Eu estava lendo o jornal na sala de estar.
s = Eu estava lendo o jornal na cozinha.
(a) Se os meus culos esto na mesa da co- t = Meus culos esto na mesa do caf.
zinha ento eu os vi no caf da manh; u = Eu estava lendo um livro na cama.
(b) Eu estava lendo o jornal na sala de estar
v = Meus culos esto no criado-mudo.
ou eu estava lendo o jornal na cozinha;
(c) Se eu estava lendo o jornal na sala de
estar ento meus culos esto na mesa Traduo dos fatos para as proposies:
do caf;
(d) Eu no vi meus culos no caf da manh; (a) p q (b) r s (c) r t
(e) Se eu estava lendo um livro na cama en- (d) q (e) u v (f) s p
to meus culos esto no criado-mudo;
(f) Se eu estava lendo o jornal na cozinha
ento meus culos esto na mesa da co-
zinha;
UFMG/ICEx/DCC MD
Grafos 65
Deduo mais complexa
Traduo dos fatos para as proposies:
(a) p q (b) r s (c) r t

(d) q (e) u v (f) s p
As seguintes dedues podem ser feitas:
1. p q; (a) 3. r s; (b)
q (d) s Concluso de 2.
. .
. . p Modus Tollens .. r Silogismo disjuntivo
2. s p; (f) 4. r t; (c)
p Concluso de 1. r Concluso de 3.
. .
. . s Modus Tollens .. t Modus Ponens
.
. . t verdadeiro e os culos esto na mesa do caf.
UFMG/ICEx/DCC MD
Grafos 66
Uso de proposies em especificaes
Traduzir sentenas numa linguagem natural, como o portugus, em

expresses lgicas uma parte importante da especificao de sistemas
computacionais (hardware e software).
Profissionais que fazem a especificao de tais sistemas computacionais

devem traduzir requisitos expressos numa linguagem natural em uma
especificao precisa e no ambgua.
Essa especificao pode ser usada como base para o desenvolvimento do

sistema.
UFMG/ICEx/DCC MD
Grafos 67
Exemplo 41:
Requisito:
(a) Uma resposta automtica no pode ser enviada se o sistema de
arquivos est cheio.
Proposies:
a = Uma resposta automtica no pode ser enviada.
b = O sistema de arquivos est cheio.
Traduo do requisito para a proposio:

(a) b a
UFMG/ICEx/DCC MD
Grafos 68
Exemplo 42:
Requisitos:
(a) A mensagem de diagnstico armazenada no buffer ou a mensagem de
diagnstico retransmitida.
(b) A mensagem de diagnstico no armazenada no buffer.
(c) Se a mensagem de diagnstico armazenada no buffer ento a
mensagem de diagnstico retransmitida.
Proposies:
p = A mensagem de diagnstico armazenada no buffer.
q = A mensagem de diagnstico retransmitida.
Traduo dos requisitos para as proposies:

(a) p q
(b) p
(c) p q
UFMG/ICEx/DCC MD
Grafos 69
Dedues:
p q; (a)
p (b)
.
.. q Silogismo disjuntivo
q Concluso acima
p (b)
pq (c)
.
. . p q p=Feq=V
Os requisitos so consistentes para p = F e q = V
O que acontece com a especificao se o requisito A mensagem de

diagnstico no retransmitida acrescentada?
UFMG/ICEx/DCC MD
Grafos 70
Falcias
Falcia = erro no raciocnio que resulta num argumento invlido.
Falcias comuns:
Usar uma premissa vaga ou ambgua;
Assumir como verdadeiro o que deve ser provado;
Concluir uma premissa sem uma argumentao adequada;
Erro oposto;
Erro inverso.
Como mostrar que um argumento invlido?

Construir a tabela da verdade e achar uma linha crtica com a concluso
falsa.
Achar um argumento com premissas verdadeiras e concluso falsa.
Para um argumento ser vlido, qualquer argumento da mesma forma que

tem premissas verdadeiras deve ter uma concluso verdadeira.
UFMG/ICEx/DCC MD
Grafos 71
Erro oposto
Exemplo 43:
Se Zeca um gnio
ento Zeca senta na primeira carteira na sala de aula;
Zeca senta na primeira carteira na sala de aula;
.
. . Zeca um gnio.
A forma geral do argumento acima :

p q;
q;
.
. . p.
UFMG/ICEx/DCC MD
Grafos 72
Erro oposto
Forma do argumento :
Premissas Concluso
p q;
p q pq q p
q;
. 1. V V V V V
. . p. 2. V F F F
3. F V V V F
4. F F V F
Este argumento lembra a forma geral do argumento Modus ponens.

Forma deste argumento invlida.
UFMG/ICEx/DCC MD
Grafos 73
Erro inverso
Exemplo 44:
Se as taxas de juro subirem
ento os preos das aes iro cair;
As taxas de juro no esto subindo;
.
. . Os preos das aes no iro cair.
A forma geral do argumento acima :

p q;
p;
.
. . q.
UFMG/ICEx/DCC MD
Grafos 74
Erro inverso
Forma do argumento :
Premissas Concluso
p q;
p q p q p q
p;
. 1. V V V F
. . q. 2. V F F F
3. F V V V F
4. F F V V V
Este argumento lembra a forma geral do argumento Modus tollens.

Forma deste argumento invlida.
UFMG/ICEx/DCC MD
Grafos 75
Validade Verdade
Validade uma propriedade da forma de um argumento.
Se um argumento vlido
ento tambm todo argumento que tem a mesma forma.
Exemplo 45 Argumento vlido com uma concluso falsa:

Se John Lennon era uma estrela do rock
ento ele tinha cabelo ruivo;
John Lennon era uma estrela do rock;
.
. . John Lennon tinha cabelo ruivo.
Argumento vlido de acordo com modus ponens. No entanto, a primeira
premissa falsa assim como a concluso.
Exemplo 46 Argumento invlido com uma concluso verdadeira:

Se Nova York uma cidade grande
ento Nova York tem edifcios altos;
Nova York tem edifcios altos;
.
. . Nova York uma cidade grande.
Argumento invlido (erro oposto) mas com a concluso verdadeira.
UFMG/ICEx/DCC MD
Grafos 76
Contradies e argumentos vlidos
Regra da contradio:
Se pode ser mostrado que a suposio da afirmao p = F leva
logicamente a uma contradio, ento pode-se concluir que p = V.
p c, onde c uma contradio

.
. . p.
Tabela da verdade:
Premissa Concluso
p p c p c p
1. V F F V V
2. F V F F
UFMG/ICEx/DCC MD
Grafos 77
Honestos Desonestos
Exemplo 47 Uma ilha possui um de dois tipos de pessoas:
A diz: B honesto.
B diz: A e eu somos de tipos opostos.
Suponha que A honesto.

.
. . O que A diz verdade;
.
. . B tambm honesto;
.
. . O que B diz verdade;
.
. . A e B so de tipos honestos;
.
. . Chegou-se a uma contradio:
A e B so honestos e A e B so desonestos.
.
. . A suposio falsa;
.
. . A no honesto;
.
. . A desonesto;
.
. . O que A diz falso;
.
. . B no honesto;
.
. . B tambm desonesto.
UFMG/ICEx/DCC MD
Grafos 78
Regras de inferncia: Sumrio
M ODUS P ONENS S ILOGISMO DISJUNTIVO
p q; p q; p q;
.
p; q; p;
. .
. . q. . . p. . . q.
M ODUS TOLLENS S ILOGISMO HIPOTTICO

p q; p q;
q; q r;
. .
. . p. . . p r.
A DIO DISJUNTIVA D ILEMA

p; q; p q;
. .
. . p q. . . p q. p r;
q r;
.
S IMPLIFICAO CONJUNTIVA . . r.
p q; p q;
. . C ONTRADIO
. . p. . . q.
p c;
.
A DIO CONJUNTIVA . . p.
p;
q;
.
. . p q.
UFMG/ICEx/DCC MD
Grafos 79
Aplicao: Circuito lgico
Claude Shannon (19162001), matemtico americano, considerado o cientista que

estabeleceu os fundamentos da teoria da informao moderna, com a publicao em 1948 do
trabalho intitulado Mathematical Theory of Communication. Nesse trabalho ele observa que
the fundamental problem of communication is that of reproducing at one point either exactly or
approximately a message selected at another point. Os fundamentos propostos nesse
trabalho so usados integralmente hoje em dia em reas como redes de computadores e
recuperao da informao.
Antes disso, Shannon observa a analogia entre operaes de dispositivos de chaveamento

(por exemplo, chaves ou interruptores) e operaes de conectivos lgicos. Ele usa essa
analogia com muito sucesso para resolver problemas de projetos de circuitos lgicos e
apresenta os resultados na sua dissertao de mestrado (A Symbolic Analysis of Relay and
Switching Circuits) do MIT em 1938.
UFMG/ICEx/DCC MD
Grafos 80
Uma chave pode estar em uma de duas possveis posies:
Aberta Fechada
Chave fechada: corrente pode passar.
Chave aberta: h interrupo de corrente.
Exemplo de uma chave num circuito:

+
Lmpada acende sse corrente passa por ela.

Isto acontece, sse a chave est fechada.
Observe que nesse modelo est sendo assumido que a bateria tem sempre
energia e a chave e a lmpada nunca falham.
Consideraes como essas so importantes sempre que um modelo
proposto.
UFMG/ICEx/DCC MD
Grafos 81
Sejam os circuitos abaixo e os possveis comportamentos:

P
P Q
+ + Q
Chaves Lmpada Chaves Lmpada

P Q Estado P Q Estado
Fechada Fechada Acesa Fechada Fechada Acesa
Fechada Aberta Apagada Fechada Aberta Acesa
Aberta Fechada Apagada Aberta Fechada Acesa
Aberta Aberta Apagada Aberta Aberta Apagada
UFMG/ICEx/DCC MD
Grafos 82
Chaves Lmpada Chaves Lmpada
P Q Estado P Q Estado
Fechada Fechada Acesa Fechada Fechada Acesa
Fechada Aberta Apagada Fechada Aberta Acesa
Aberta Fechada Apagada Aberta Fechada Acesa
Aberta Aberta Apagada Aberta Aberta Apagada
Observe que se as expresses fechada e acesa forem substitudas pelo

valor-verdade V e aberta e apagada forem substitudas pelo valor-verdade
F, ento as tabelas da esquerda e da direita correspondem, respectivamente,
s expresses lgicas:
P Q (conjuno);
P Q (disjuno).
UFMG/ICEx/DCC MD
Grafos 83
A partir da dcada de 1940, rels eletro-mecnicos (chaves) foram substitudos por
dispositivos eletrnicos como vlvulas, transistores e circuitos integrados.
Vlvula. O computador mo- Transistor. Dispositivo se- Circuito integrado. Tam-

derno (primeira gerao) sur- micondutor de estado slido bm chamado de microchip
giu a partir da vlvula, que per- que passou a ser usado larga- ou chip uma miniaturiza-
mitiu executar uma operao mente na segunda gerao de o de dispositivos semicon-
muito mais rpida que os siste- computadores a partir do in- dutores e componentes passi-
mas de rel eletro-mecnicos. cio da dcada de 1960. vos manufaturados na superf-
Abaixo est um sistema de cie de um substrato extrema-
vlvulas da IBM de 1946 que mente fino de um material se-
podia multiplicar dois nmeros micondutor. Abaixo, uma ima-
1
de 10 algarismos em 40 s. gem do processador Intel Core
Duo otimizado para aplicaes
multi-threaded e multi-tarefa.
UFMG/ICEx/DCC MD
Grafos 84
Os estados (fechado e aberto) foram substitudos por outras representaes

apropriadas para os novos dispositivos.
Por exemplo, diferentes valores de tenso.
Ponto importante: modelagem anterior continua vlida!
No projeto de circuitos digitais, os valores lgicos verdadeiro e falso so

normalmente substitudos pelos smbolos 1 e 0.
Estes smbolos so chamados de bits (binary digits).
UFMG/ICEx/DCC MD
Grafos 85
A partir do surgimento dos computadores digitais, uma questo fundamental

passa a ser a representao (codificao) da informao usando bits.
Por exemplo, como bits so representados/codificados quando esto em:

Memria de ferrite?
Memria eletrnica?
Disco magntico?
Disco ptico?
Cabo coaxial?
Cabo metlico?
Cabo de fibra ptica?
Canal de comunicao sem fio?
UFMG/ICEx/DCC MD
Grafos 86

MD 1FundamentosDaLogica

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

MD 1FundamentosDaLogica

Cargado por

Copyright:

Formatos disponibles

Fundamentos da Lgica

Antonio Alfredo Ferreira Loureiro

George Boole Augustus Propem as bases da lgica simblica

Pesquisa continua sendo aplicada em reas como:

Forma de um argumento: conceito central da lgica dedutiva.

Argumento: sequncia de afirmaes para demonstrar a validade de uma

Como saber que a concluso obtida de um argumento vlida?

Em lgica, forma de um argumento 6= seu contedo.

Anlise lgica no determina a validade do contedo de um argumento.

Anlise lgica determina se a verdade de uma concluso pode ser obtida

Lgica: Cincia do Raciocnio.

Nos exemplos, temos que o contedo dos argumentos diferente.

No entanto, a forma lgica a mesma:

Argumentos na forma lgica so normalmente representados por letras

Em geral, as definies da lgica formal esto de acordo com a lgica

O formalismo introduzido para evitar ambiguidade e garantir consistncia.

Em toda teoria matemtica, usam-se termos j definidos na concepo de

Mas como fazer com os termos mais primitivos?

Definio: uma afirmao ou proposio uma sentena que verdadeira

possvel transformar uma sentena como nos exemplos 4 ou 5 numa

Os seguintes smbolos podem ser usados para definir expresses lgicas

um operador unrio e e so operadores binrios.

Avaliao na seguinte ordem:

Mas e No/nem . . . nem

e (), ou (), e desigualdades

Para uma sentena ser uma proposio necessrio ter um valor-verdade

Negao () e sua tabela da verdade:

Conjuno () e sua tabela da verdade:

O ponto fundamental em assinalar valores-verdade para proposies

A lgica no ajuda a determinar a verdade ou falsidade de uma afirmao

As proposies p q e q p possuem os mesmos valores-verdade.

Definio: duas proposies P e Q so equivalentes logicamente se e

Como verificar se duas proposies P e Q so equivalentes logicamente?

Quando a proposio falsa?

Mostre as seguintes equivalncias:

Equivalncia lgica muito til na construo de argumentos.

Uma tautologia uma proposio que sempre verdadeira independente

Uma contradio uma proposio que sempre falsa independente dos

De acordo com essas definies, a verdade de uma tautologia ou falsidade

Mostre que a proposio p p uma tautologia e que a proposio p p

Se t uma tautologia e c uma contradio mostre que p t p e p c c

Essa sentena chamada de condicional.

Sobre o uso tpico de uma proposio condicional ou implicao:

um conectivo lgico binrio para o qual podem ser definidos

Determinando a tabela da verdade para (seento).

Seja a seguinte sentena que descreve uma promessa:

Em que situao o empregador no falou a verdade, ou seja, a promessa

E se a afirmao p no for satisfeita?

Seja a seguinte implicao:

Implicao no considerada vlida quando o dia estiver ensolarado e ns

Seja a seguinte implicao:

Por outro lado, a implicao:

Ns no usaramos essas implicaes em linguagem natural j que no

Prioridade para o conectivo lgico :

Para todas as combinaes de valores-verdade de p, q e r, a expresso da

possvel representar p q em termos dos conectivos , , ?

A proposio contrapositiva de (p q) (q p).

O termo converse traduzido em

A proposio oposta de (p q) (q p).

A proposio inversa de (p q) (p q).

A sentena p somente se q significa que (acrescentado verbos):

Neste caso, a proposio condicional p q sempre verdadeira j que p e

Suponha que x seja um nmero inteiro e a seguinte proposio: