Escolar Documentos
Profissional Documentos
Cultura Documentos
Lgica Proposicional
Antonio Alfredo Ferreira Loureiro
loureiro@dcc.ufmg.br
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
Fundamentos da lgica:
Alguns fatos histricos
Aristteles (384 a.C.322 a.C.), filsofo grego. Produziu uma obra rica e
multifacetada. Nela encontramos uma
exaustiva compilao dos conhecimentos do seu tempo, mas tambm, uma
filosofia que ainda hoje influncia a
nossa maneira de pensar.
Gottfried Wilhelm Leibniz (16461716),
filsofo e matemtico alemo, provavelmente mais conhecido por ter inventado
o clculo integral e diferencial independentemente de Isaac Newton.
Augustus
De Morgan
(18061871),
matemtico
ingls.
George Boole
(18151864),
matemtico
e filsofo
ingls.
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
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
Fundamentos da Lo
gica Lo
gica Proposicional
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
Fundamentos da Lo
gica Lo
gica Proposicional
Forma de um Argumento
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
x 2 e x 2.
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
Forma de um Argumento
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
Fundamentos da Lo
gica Lo
gica Proposicional
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
Fundamentos da Lo
gica Lo
gica Proposicional
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
Fundamentos da Lo
gica Lo
gica Proposicional
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
Fundamentos da Lo
gica Lo
gica Proposicional
Proposies compostas
um operador unrio e e so operadores binrios.
Avaliao na seguinte ordem:
1. (negao);
2. , (disjuno, conjuno).
Exemplo 6:
p q = (p) q
p q r ambguo.
Correto: (p q) r ou
UFMG/ICEx/DCC
MD
p (q r).
Fundamentos da Lo
gica Lo
gica Proposicional
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
Fundamentos da Lo
gica Lo
gica Proposicional
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
Fundamentos da Lo
gica Lo
gica Proposicional
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
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
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
V
V
F
F
UFMG/ICEx/DCC
MD
q
V
F
V
F
pq
V
V
V
F
Fundamentos da Lo
gica Lo
gica Proposicional
14
pq
V
V
V
F
q
V
F
V
F
pq
V
F
F
F
(p q)
F
V
V
V
E
F
V
V
F
MD
Fundamentos da Lo
gica Lo
gica Proposicional
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
Fundamentos da Lo
gica Lo
gica Proposicional
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
Fundamentos da Lo
gica Lo
gica Proposicional
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
Fundamentos da Lo
gica Lo
gica Proposicional
18
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
19
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
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
Fundamentos da Lo
gica Lo
gica Proposicional
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
Fundamentos da Lo
gica Lo
gica Proposicional
22
pq qp
pq qp
Associatividade
(p q) r
p (q r)
(p q) r
p (q r)
Distributividade
p (q r)
(p q) (p r)
p (q 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
Fundamentos da Lo
gica Lo
gica Proposicional
23
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
24
MD
Fundamentos da Lo
gica Lo
gica Proposicional
25
Proposio condicional
um conectivo lgico binrio para o qual podem ser definidos valoresverdade.
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
V
V
F
F
UFMG/ICEx/DCC
MD
q
V
F
V
F
pq
V
F
V
V
Fundamentos da Lo
gica Lo
gica Proposicional
26
Proposio condicional
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
Fundamentos da Lo
gica Lo
gica Proposicional
27
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
28
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
29
Proposio condicional
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.
UFMG/ICEx/DCC
p q
p q p
MD
Fundamentos da Lo
gica Lo
gica Proposicional
30
Proposio condicional
Exemplo 18:
Mostre que p q r (p r) (q r)
p
pq
pr
qr
pq r
(p r) (q r)
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
V
V
V
V
V
F
F
V
F
V
F
V
V
V
V
V
F
V
V
V
F
V
V
V
F
V
F
V
F
V
V
V
F
V
F
V
F
V
V
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
31
Proposio condicional
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
Fundamentos da Lo
gica Lo
gica Proposicional
32
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
33
pq qp
No.
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
34
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
Fundamentos da Lo
gica Lo
gica Proposicional
35
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)
UFMG/ICEx/DCC
inversa de (p q)
MD
Fundamentos da Lo
gica Lo
gica Proposicional
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
Fundamentos da Lo
gica Lo
gica Proposicional
37
Proposio condicional:
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
Fundamentos da Lo
gica Lo
gica Proposicional
38
Proposio condicional:
Somente se
Exemplo 23:
(n+1)(n+2)
]
somente
se
a
soma
de
1
a
n+1
[
]
A soma de 1 a n [ n(n+1)
2
2
(n+1)(n+2)
Se a soma de 1 a n [ n(n+1)
]
ento
a
soma
de
1
a
n
+
1
[
]
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
Fundamentos da Lo
gica Lo
gica Proposicional
39
Proposio condicional:
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
V
V
F
F
UFMG/ICEx/DCC
MD
q
V
F
V
F
pq
V
F
F
V
Fundamentos da Lo
gica Lo
gica Proposicional
40
Proposio condicional:
Bicondicional (se somente se)
O conectivo tem a mesma prioridade do conectivo .
Exemplo 25:
Mostre que p q (p q) (q p)
UFMG/ICEx/DCC
pq
qp
pq
(p q) (q p)
V
V
F
F
V
F
V
F
V
F
V
V
V
V
F
V
V
F
F
V
V
F
F
V
MD
Fundamentos da Lo
gica Lo
gica Proposicional
41
Proposio condicional:
Bicondicional (se somente se)
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
Fundamentos da Lo
gica Lo
gica Proposicional
42
Proposio condicional:
Bicondicional (se somente se)
p q (p q) (q p).
p
pq
(p q)
(q p)
(p q) (q p)
V
V
F
F
V
F
V
F
V
F
F
V
V
F
V
V
V
V
F
V
V
F
F
V
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
43
Proposio condicional:
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
Fundamentos da Lo
gica Lo
gica Proposicional
44
Proposio condicional:
Condio necessria & Condio suficiente
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
Fundamentos da Lo
gica Lo
gica Proposicional
45
Proposio condicional:
Condio necessria & Condio suficiente
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
Fundamentos da Lo
gica Lo
gica Proposicional
46
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
47
MD
Fundamentos da Lo
gica Lo
gica Proposicional
48
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
49
Tabela da verdade:
p (q r);
1.
2.
3.
4.
5.
6.
7.
8.
r;
.
. . p q.
qr
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
V
V
F
V
V
V
F
Premissas
p (q r) r
V
V
V
V
V
V
V
F
F
V
F
V
F
V
F
V
Concluso
pq
V
V
V
Todas as linhas exceto as linhas crticas so irrelevantes para verificar a validade de um argumento.
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
50
q r
pr
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
F
V
F
V
F
V
F
V
V
V
F
V
V
V
F
V
V
F
V
F
F
F
F
F
Premissas
p q r q p r
V
V
F
V
V
V
V
V
V
F
V
V
F
F
V
V
Concluso
pr
V
V
V
MD
Fundamentos da Lo
gica Lo
gica Proposicional
51
Tabela da verdade:
p q;
q r;
r p;
.
. . p q r.
1.
2.
3.
4.
5.
6.
7.
8.
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
Premissas
pq qr rp
V
V
F
F
V
V
V
V
V
F
V
V
V
F
V
V
V
V
V
V
F
V
F
V
Concluso
pqr
V
Existem duas linhas crticas, uma delas com concluso falsa. Logo, o argumento invlido.
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
52
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
53
Forma do argumento:
p q;
p;
1.
2.
3.
4.
.
. . q.
UFMG/ICEx/DCC
MD
V
V
F
F
V
F
V
F
Premissas
pq p
V
F
V
V
Fundamentos da Lo
gica Lo
gica Proposicional
V
V
F
F
Concluso
q
V
54
(1)
(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
Fundamentos da Lo
gica Lo
gica Proposicional
55
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
56
(b)
1.
2.
3.
4.
Forma do argumento:
p;
.
. . p q.
q;
. . p q.
.
Premissa
p
V
V
F
F
V
F
V
F
V
V
F
F
Concluso
pq
V
V
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
57
(b)
1.
2.
3.
4.
Forma do argumento:
p q;
.
. . p.
p q;
. . q.
.
Premissa
pq
V
V
F
F
V
F
V
F
V
F
F
F
Concluso
p
V
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
58
(b)
p q;
p;
.
. . q.
Forma do argumento:
p q;
q;
.
. . p.
1.
2.
3.
4.
V
V
F
F
V
F
V
F
Premissas
p q q
V
V
V
F
F
V
F
V
Concluso
p
V
MD
Fundamentos da Lo
gica Lo
gica Proposicional
59
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
60
1.
2.
3.
4.
5.
6.
7.
8.
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
Premissas
pq qr
V
V
F
F
V
V
V
V
V
F
V
V
V
F
V
V
Concluso
pr
V
V
V
V
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
61
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
62
1.
2.
3.
4.
5.
6.
7.
8.
vlida.
UFMG/ICEx/DCC
MD
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
Premissas
pq pr q r
V
V
V
V
V
V
F
F
Fundamentos da Lo
gica Lo
gica Proposicional
V
F
V
F
V
V
V
V
V
F
V
V
V
F
V
V
Concluso
r
V
V
V
63
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
64
Exemplo 40:
Voc est saindo para a escola de manh e
percebe que no est usando os culos. Ao
tentar descobrir onde esto os culos voc comea a pensar sobre os seguintes fatos que
so verdadeiros:
(a) Se os meus culos esto na mesa da cozinha ento eu os vi no caf da manh;
(b) Eu estava lendo o jornal na sala de estar
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
do caf;
(d) Eu no vi meus culos no caf da manh;
(e) Se eu estava lendo um livro na cama ento meus culos esto no criado-mudo;
(f) Se eu estava lendo o jornal na cozinha
ento meus culos esto na mesa da cozinha;
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
(b) r s
(e) u v
(c) r t
(f) s p
65
(b) r s
(e) u v
(c) r t
(f) s p
1.
2.
p q;
q
.
. . p
(a)
s p;
p
.
. . s
(f)
3.
(d)
Modus Tollens
4.
Concluso de 1.
Modus Tollens
r s;
s
.
.. r
(b)
r t;
r
.
.. t
(c)
Concluso de 2.
Silogismo disjuntivo
Concluso de 3.
Modus Ponens
.
. . t verdadeiro e os culos esto na mesa do caf.
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
66
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
67
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
68
MD
Fundamentos da Lo
gica Lo
gica Proposicional
69
q
p
pq
.
. . p q
(a)
(b)
Silogismo disjuntivo
Concluso acima
(b)
(c)
p=Feq=V
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
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
Fundamentos da Lo
gica Lo
gica Proposicional
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.
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
72
Erro oposto
Forma do argumento :
p q;
q;
1.
2.
3.
4.
. . p.
V
V
F
F
V
F
V
F
Premissas
pq q
V
F
V
V
V
F
V
F
Concluso
p
V
F
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
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
Fundamentos da Lo
gica Lo
gica Proposicional
74
Erro inverso
Forma do argumento :
p q;
p;
1.
2.
3.
4.
. . q.
V
V
F
F
V
F
V
F
Premissas
p q p
V
F
V
V
F
F
V
V
Concluso
q
F
V
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
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
Fundamentos da Lo
gica Lo
gica Proposicional
76
Tabela da verdade:
p
UFMG/ICEx/DCC
Premissa
Concluso
p c
p
V
1.
2.
MD
Fundamentos da Lo
gica Lo
gica Proposicional
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
Fundamentos da Lo
gica Lo
gica Proposicional
78
S ILOGISMO DISJUNTIVO
p q;
p q;
q;
p;
.
.
. . p.
. . q.
M ODUS TOLLENS
p q;
q;
.
. . p.
S ILOGISMO HIPOTTICO
p q;
q r;
.
. . p r.
A DIO DISJUNTIVA
p;
.
. . p q.
D ILEMA
p q;
p r;
q r;
.
. . r.
q;
. . p q.
.
S IMPLIFICAO CONJUNTIVA
p q;
p q;
.
.
. . p.
. . q.
A DIO CONJUNTIVA
p;
q;
.
. . p q.
UFMG/ICEx/DCC
MD
C ONTRADIO
p c;
.
. . p.
Fundamentos da Lo
gica Lo
gica Proposicional
79
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
Fundamentos da Lo
gica Lo
gica Proposicional
80
MD
Fundamentos da Lo
gica Lo
gica Proposicional
81
Chaves
P
Q
Fechada
Fechada
Aberta
Aberta
Fechada
Aberta
Fechada
Aberta
UFMG/ICEx/DCC
Lmpada
Estado
Acesa
Apagada
Apagada
Apagada
MD
Chaves
P
Q
Fechada
Fechada
Aberta
Aberta
Fundamentos da Lo
gica Lo
gica Proposicional
Fechada
Aberta
Fechada
Aberta
Lmpada
Estado
Acesa
Acesa
Acesa
Apagada
82
Fechada
Aberta
Fechada
Aberta
Lmpada
Estado
Acesa
Apagada
Apagada
Apagada
Chaves
P
Q
Fechada
Fechada
Aberta
Aberta
Fechada
Aberta
Fechada
Aberta
Lmpada
Estado
Acesa
Acesa
Acesa
Apagada
(conjuno);
(disjuno).
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
83
UFMG/ICEx/DCC
MD
Transistor.
Dispositivo semicondutor de estado slido
que passou a ser usado largamente na segunda gerao de
computadores a partir do incio da dcada de 1960.
Circuito integrado.
Tambm chamado de microchip
ou chip uma miniaturizao de dispositivos semicondutores e componentes passivos manufaturados na superfcie de um substrato extremamente fino de um material semicondutor. Abaixo, uma imagem do processador Intel Core
Duo otimizado para aplicaes
multi-threaded e multi-tarefa.
Fundamentos da Lo
gica Lo
gica Proposicional
84
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
85
UFMG/ICEx/DCC
MD
Fundamentos da Lo
gica Lo
gica Proposicional
86