Introd Logic Boole

1
P t 1
Curso de Sistemas Digitais
Prof. Marco Aurlio Seluque Fregonezi
12/12/2012 1
Parte 1
LGEBRA BOOLEANA
INTRODUO INTRODUO 1
A lgica booleana aplicada na comunicao entre
as pessoas, qualquer que seja o idioma.
Toda frase compreensvel e que comunique alguma
informao pode ser representada por meio de
uma expresso algbrica booleana.
A compreenso da lgica booleana aplicada
Comunicao
2
A compreenso da lgica booleana aplicada
formulao de ideias e pensamentos facilita a
capacidade de comunicao.
O uso de transformaes lgicas corretas permite
que se coloque as palavras de modo a se obter a
reao desejada emquemrecebe a informao.
INTRODUO INTRODUO 1
A habilidade no uso da lgica booleana aplicada comunicao
interpessoal , particularmente, til, necessria e largamente
empregada emcertas profisses, como, por exemplo:
Professores
Pedagogos
Psiclogos
Comunicao
Psiclogos
Polticos
Advogados
Vendedores
Oradores
Porta-vozes
J ornalistas
Escritores
Homens de negcios 3
INTRODUO INTRODUO 1
A introduo lgica booleana feita
feita na criana assim que ela inicia seu
aprendizado na capacidade de
comunicar-se.
As frases usadas como exemplo so
t il t ti i t d
Comunicao
4
meramente ilustrativas, no consistemde
divulgao de mensagem (explcita nem
subliminar) nem da opinio do autor
sobre os diversos assuntos abordados.
Exemplos so usados para que se
evidencie a aplicao da lgica booleana
na comunicao do dia-a-dia.
INTRODUO INTRODUO 1
Varivel lgica: Letra ou palavra para a
qual se associa uma sentena.
Sentena ou proposio: Frase que
expe umdeterminado acontecimento.
E l
Entidades da lgica
Exemplos:.
A: Fazer sol
B: Chover
C: Ir trabalhar
5
INTRODUO INTRODUO 1
Varivel verdadeira:Sua afirmao satisfeita.
Varivel falsa: Sua afirmao no satisfeita.
Valor verdadeiro: 1
Valor falso: 0
Entidades da lgica
No existe umterceiro valor.
Uma varivel somente pode ser verdadeira ou falsa.
6
2
NEGAO NEGAO 2
Uma dupla negao no temefeito.
Smbolo da negao: Barra ou hfen.
Exemplos: /A, -A
Transforma o verdadeiro emfalso e vice-versa.
Princpio de ao
p g
//A=A
--A=A
7
NEGAO NEGAO 2
Afirmao: A=ir trabalhar
Negao: /A=no ir trabalhar
Afirmao: A=dia
Negao: /A=noite
Exemplos
Negao: /A=noite
Afirmao: A=bom
Negao: /A=ruim
Afirmao: A=aprovado
Negao: /A=reprovado
8
NEGAO NEGAO 2
B =/A
SeA verdadeiro, ento B falso.
SeA falso, ento B verdadeiro.
Variveis opostas
SeA=1, ento B=0.
SeA=0, ento B=1.
9
NEGAO NEGAO 2
/A=B
Se voc no trabalhar, passar fome.
B =/A
Voc passar fome se no trabalhar.
A=Trabalhar
B =Passar fome
A=/B
Se voc trabalhar, no passar fome.
/B =A
Voc no passar fome se trabalhar.
10
NEGAO NEGAO 2
Se voc for indiferente a mim, no me casarei comvoc.
A=Voc ser indiferete a mim
B =Casar-me comvoc
A=/B
11
MULTIPLICAO MULTIPLICAO 3
Operao que une duas ou mais
sentenas.
Para os matemticos, os conectivos
(lgicos e aritmticos) unem, apenas,
duas variveis ou constantes (entradas)
Conectivo
Principais conectivos lgicos:
E AND
OU OR
12
duas variveis ou constantes (entradas).
Para os engenheiros, o conceito de
conectivo expandido para mais de
duas entradas.
3
C =A * B
AND de duas variveis
Multiplicao lgica *
Conjuno
Interseco
13
E lgico
AND
A sentena verdadeira se, e somente
se, as duas variveis foremverdadeiras.
No contrrio, a sentena falsa.
AND de duas variveis
Se uma das variveis de entrada for
falsa, a varivel de sada falsa.
14
B A A*B
0 0 0
0 1 0
Tabela Verdade
0 1 0
1 0 0
1 1 1
15
C =Ir ao cinema
A=Ter dinheiro
Eu vou ao cinema se, e
somente se, eu tiver dinheiro e
tiver umbomfilme emcartaz.
Exemplo 1
C =A* B
B =Ter bomfilme emcartaz
16
Exemplo 2
C =A* B
C =Implantar o projeto
A=Ter tempo
B =Ter dinheiro
A implantao deste projeto
requer tempo e dinheiro.
17
C =Ser aprovado
A=Ter mdia superior a 6,0
O aluno aprovado se
tiver mdia superior a 6,0 e
freqncia superior a 75%.
Exemplo 3
C =A* B
B =Ter freqncia superior a 75%
18
4
se, as trs variveis foremverdadeiras.
No contrrio, a sentensa falsa.
D=A * B * C
AND de trs variveis
falsa, a varivel de sada falsa.
19
C B A A*B*C
0 0 0 0
0 0 1 0
0 1 0 0
Tabela Verdade
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 1 20
D=Ir passear
Eu vou passear se tiver companhia,
se tiver umlocal legal para ir e se o
tempo estiver bom, seno no.
Exemplo 1
D Ir passear
A=Ter boa companhia
B =Houver umlocal legal
C =O tempo estiver bom
D=A * B * C
21
D=Ela Namorar o rapaz
Garota: Eu vou namorar um
rapaz que seja, ao mesmo
tempo, bonito, inteligente e rico.
Exemplo 1
p
A=Ele ser bonito
B =Ele ser inteligente
C =Ele ser rico
D=A * B * C
22
Para ser contratado, o
professor precisa ser
aprovado na prova escrita, na
prova didtica, na prova de
ttulos e no exame mdico.
ANDde quatro variveis
E =Contratao
A=Prova escrita
B =Prova didtica
C =Prova de ttulos
D=Exame mdico
E =A * B * C * D
23
ADIO ADIO 4
C =A+B
OR de duas variveis
Adio lgica +
Disjuno V
Unio
24
Unio
OU lgico
OR
OU inclusivo
Inclusive OR - IOR
5
ADIO ADIO 4
A sentena falsa se, e somente se,
as duas variveis foremfalsas.
No contrrio, a sentena verdadeira.
OR de duas variveis
Se uma das variveis de
entrada for verdadeira, a
varivel de sada verdadeira.
25
ADIO ADIO 4
B A A+B
0 0 0
Tabela Verdade
0 1 1
1 0 1
1 1 1
26
ADIO ADIO 4
C =Sair de casa
Eu vou sair de casa se tiver que
trabalhar ouse quiser passear.
Exemplo 1
C =A+B
A=Ir trabalhar
B =Ir passear
27
ADIO ADIO 4
A competitividade da empresa
depende da qualidade de seu produto
ouda deficincia da concorrncia.
Exemplo 2
C =A+B
C =Empresa competitiva
A=Produto de qualidade
B =Concorrncia deficiente
28
ADIO ADIO 4
as trs variveis foremfalsas.
No contrrio, a sentena verdadeira.
D=A+B +C
OR de trs variveis
verdadeira, a varivel de sada verdadeira.
29
ADIO ADIO 4
C B A A+B+C
0 0 0 0
0 0 1 1
0 1 0 1
Tabela Verdade
0 1 0 1
0 1 1 1
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 1 30
6
ADIO ADIO 4
D=Querer o emprego
A=Ser tranqilo
Eu quero um emprego que seja
tranqilo, ou que pague bastante,
ouque seja algo de que eu goste.
Exemplo 1
q
B =Oferecer bompagamento
C =Ser prazeroso
D=A +B +C
31
ADIO ADIO 4
D=Ajudar voc
A=Ter tempo
Eu vou te ajudar se eu tiver
tempo, ou se voc pagar, ou
se eu tiver interesse nisso.
Exemplo 2
A=Ter tempo
B =Ser pago
C =Ter interesse
D=A +B +C
32
OU EXCLUSIVO OU EXCLUSIVO 5
XOR de duas entradas
C =A B
OU exclusivo
33
Exclusive OR - XOR
As sentenas requeremexclusividade.
Umououtro, mas no ambos.
A sentena verdadeira se uma e apenas uma das
variveis for verdadeira.
A sentena verdadeira se as duas variveis forem
XOR de duas entradas
A sentena verdadeira se as duas variveis forem
diferentes.
Asentena falsa se as duas variveis foremiguais.
34
B A AB
0 0 0
0 1 1
Tabela Verdade
1 0 1
1 1 0
35
C =Querer o trabalho
A=EmPiracicaba
Eus quero trabalhar emPiracicaba ou emCapivari.
Exemplo 1
A EmPiracicaba
B =EmCapivari
C =A B
36
7
C =Comer o bolo
A B l d h l
Vou comer o bolo de chocolate ou o de
nozes, mas no agento comer os dois.
Exemplo 2
A=Bolo de chocolate
B =Bolo de nozes
C =A B
37
Exemplo 3
C =Sair
A=Mariazinha
B =Aninha
Hoje vou sair com a
Mariazinha ou comaAninha.
C =A B
38
C =Comer o sorvete
A E f
Garota: Vou comer o sorvete de chocolate
se estiver comfome ou se estiver deprimida.
Se euestiver deprimida, euperco o apetite.
Exemplo 4
A=Estar comfome
B =Estar deprimida
C =A B
39
C =Escrever
A=Ter uma caneta
B =Ter umlpis
Para escrever, preciso de uma caneta ouumlpis.
Exemplo 5
C =A+B
Para escrever, uso uma caneta ou umlpis.
C =Escrever
A=Usar uma caneta
B =Usar umlpis
C =A B
40
Exemplo 5 continuao
possvel, para uma pessoa, precisar de
uma caneta e de um lpis ao mesmo
tempo, caracterizando, assim, um OU
41
p , , ,
inclusivo.
No possvel, para uma pessoa, usar
uma caneta e umlpis ao mesmo tempo,
caracterizando, assim, umOUexclusivo.
A determinao se o OU inclusivo ou
exclusivo depende da interpretao do
texto. Nemsempre isso fcil.
NAND NAND 6
as duas variveis foremverdadeiras.
No contrrio a sentena verdadeira
C =/(A* B)
NAND de duas entradas
No contrrio, a sentena verdadeira
falsa, a varivel de sada verdadeira.
42
8
NAND NAND 6
B A /(A*B)
0 0 1
0 1 1
Tabela Verdade
0 1 1
1 0 1
1 1 0
43
NAND NAND 6
C =Ser aprovado
A=Perder a matria
O aluno no aprovado se o aluno perder a
matria e se for displicente nos estudos emcasa.
Exemplo 1
/C =A * B
C =/(A* B)
A=Perder a matria
B =Ser displicente nos estudos emcasa
44
NAND NAND 6
C =O homemsentir-se realizado
A=Ser sustentado pela esposa
O homem no se sente realizado se for
sustentado pela esposa e se ela mandar nele.
Exemplo 2
/C =A * B
C =/(A* B)
B =Aesposa mandar no marido
45
NOR NOR 7
C =/(A +B)
se, as duas variveis foremfalsas.
No contrrio, a sentena falsa.
NOR de duas entradas
verdadeira, a varivel de sada falsa.
46
NOR NOR 7
B A /(A+B)
0 0 1
0 1 0
Tabela Verdade
0 1 0
1 0 0
1 1 0
47
NOR NOR 7
C =O caf estar bom
A=O caf estar frio
O caf no fica bomse estiver frio ouamargo.
Exemplo 1
B =O caf estar amargo
48
/C =A +B
C =/(A+B)
9
NOR NOR 7
C =Ela am-lo
A=Ele desrespeit-la
A garota no amar mais o namorado se
ele desrespeit-la ou se ele desprez-la.
Exemplo 2
/C =A +B
C =/(A+B)
B =Ele desprez-la
49
NOR NOR 7
C =Ir ao cinema
A=Fazer baguna
Me para o filho: Voc no vai ao cinema
se continuar fazendo baguna ou se
continuar batendo na sua irmzinha.
Exemplo 3
/C =A +B
C =/(A+B)
A=Fazer baguna
B =Bater na irmzinha
50
NOR NOR 7
C =Entrar na escola
A=Estar embriagado
O aluno no entra na escola se estiver
embriagado ou portando arma.
Exemplo 4
/C =A +B
C =/(A+B)
B =Portar arma
51
8 TEOREMAS TEOREMAS
Excluded Middle
Princpio do meio excludo: No h um
terceiro valor para a lgica booleana.
Uma dupla negao no temefeito.
Dois valoers
52
Uma quantidade par de negaes no
temefeito.
Uma quantidade mpar de negaes pode
ser representado por uma nica negao.
8 TEOREMAS TEOREMAS
A* B =/(/A+/B)
B A A*B
Teorema de De Morgan modo 1
0 0 0
0 1 0
1 0 0
1 1 1
A ou B ou ambos so
falsos, a sentena falsa.
A e B so verdadeiros, a
sentena verdadeira.
53
8 TEOREMAS TEOREMAS
C =Implantar o projeto
A=Ter tempo
A implantao deste projeto
requer tempo e dinheiro.
Exemplo
C =A* B
p
B =Ter dinheiro
Este projeto no pode ser implantado se no houver
tempo ouse no houver dinheiro, ou ambos.
/C =(/A+/B)
54
10
8 TEOREMAS TEOREMAS
A+B =/(/A* /B)
B A A+B
A e B so falsos a
Teorema de De Morgan modo 2
0 0 0
0 1 1
1 0 1
1 1 1
A ou B ou ambos so
verdadeiros, a sentena
verdadeira.
A e B so falsos, a
sentena falsa.
55
8 TEOREMAS TEOREMAS
C =Sair de casa
A=Ir trabalhar
B I
Eu vou sair de casa se tiver que
trabalhar ouse quiser passear.
Exemplo
C =A+B
B =Ir passear
Eu no vou sair de casa se no tiver
que trabalhar e se eu no for passear.
/C =(/A* /B)
56
8 TEOREMAS TEOREMAS
A +A =A
0 +0 =0
Elemento idntico da adio lgica
0 +0 =0
1 +1 =1
57
8 TEOREMAS TEOREMAS
B =O aluno formar-se
A=O aluno estuda
Para se formar, ouo aluno estuda, ou ele estuda.
Exemplo 1
Para se formar, o aluno deve estudar.
B =A+A
B =A
58
8 TEOREMAS TEOREMAS
B: Asentena
A=O escravo obedecer
O escravo, ou obedece, ou obedece.
Exemplo 2
O escravo obedece.
B =A+A
B =A
59
8 TEOREMAS TEOREMAS
A*A =A
0 * 0 =0
Elemento idntico da multiplicao lgica
0 0 =0
1 * 1 =1
60
11
8 TEOREMAS TEOREMAS
B: Asentena
A=Acriana chorar
Acriana chorava e chorava...
Exemplo 1
Acriana chorava...
B =A*A
B =A
61
8 TEOREMAS TEOREMAS
B =Eu precisar escolher duas pessoas neste mundo
A=Euescolher voc
Meu amor, se eu precisasse escolher duas
pessoas neste mundo, eu escolheria voc e voc.
Exemplo 2
Eusomente escolheria voc.
B =A*A
B =A
62
8 TEOREMAS TEOREMAS
A +/A =1
0 +1 =1
Elemento inverso da adio lgica
0 +1 =1
1 +0 =1
63
8 TEOREMAS TEOREMAS
B =O ladro ser procurado
A=O ladro estar vivo
/A=O ladro estar morto
O ladro est sendo procurado vivo ou morto.
Exemplo 1
O ladro ser procurado.
B =1
B =A+/A
64
8 TEOREMAS TEOREMAS
B =Voc fazer o servio
A=Voc querer
/A=Voc no querer
Patro: Voc vai fazer o servio, quer voc queira, quer no.
Exemplo 2
Voc vai fazer o servio.
q
65
B =1
B =A+/A
8 TEOREMAS TEOREMAS
B =Asentena
A=Voc tem
/A=Voc no tem
Fiat Stilo, ouvoc tem, ouvoc no tem.
Exemplo 3
Asentena verdadeira.
/A Voc no tem
66
B =1
B =A+/A
12
8 TEOREMAS TEOREMAS
A* /A =0
0 * 1 =0
Elemento inverso da multiplicao lgica
0 1 =0
1 * 0 =0
67
8 TEOREMAS TEOREMAS
B =Haver paz na selva
A S ti f
Para que haja paz na selva, preciso
satisfazer a caas e a caadores.
Exemplo 1
Nunca haver paz na selva.
A=Satisfazer a caas
/A=Satisfazer a caadores
68
B =A* /A
B =0
8 TEOREMAS TEOREMAS
B =Agradar
A=ADeus
/
Quero agradar a Deus e ao diabo.
Exemplo 2
No d para agradar a ambos.
/A=Ao diabo
69
B =A* /A
B =0
8 TEOREMAS TEOREMAS
B =Abusca do homem
A=Mulher bonita
Teoria do machismo: No h
mulher bonita e inteligente.
Exemplo 3
O homemmachista nunca encontrar sua mulher.
/A=Mulher inteligente
70
B =A* /A
B =0
8 TEOREMAS TEOREMAS
B =Asentena
A=Eute amo
Eu te amo, mas, ao mesmo
tempo, eu te odeio.
Exemplo 4
/A=Eu te odeio
B =A* /A
B =0
Asentena falsa.
71
8 TEOREMAS TEOREMAS
A +0 =A
0 +0 =0
Elemento indiferente da adio lgica
0 +0 =0
1 +0 =1
72
13
8 TEOREMAS TEOREMAS
B =O projeto fracassar
A=O mercado financeiro entrar emcrise
0=ATerra ser invadida por aliengenas
Para que este projeto fracasse, s mesmo se o mercado financei-
ro entrar emcrise ou se a Terra for invadida por aliengenas.
Exemplo 1
O projeto vai fracassar
somente se o mercado
financeiro entrar emcrise.
p g
B =A
B =A+0
73
8 TEOREMAS TEOREMAS
B =Eu pedir demisso
A=Euconseguir outro emprego melhor
0=Euganhar na loteria
Eu vou pedir demisso somente se conseguir
outro emprego melhor ouse ganhar na loteria.
Exemplo 2
Eu vou pedir demisso
somente se conseguir
outro emprego melhor.
g
B =A
B =A+0
74
8 TEOREMAS TEOREMAS
A * 1 =A
0 * 1 =0
Elemento indiferente da multiplicao lgica
0 1 =0
1 * 1 =1
75
8 TEOREMAS TEOREMAS
B =O projeto funcionar
A=O mercado financeiro se recompuser
Para que este projeto funcione,
basta que o mercado financeiro se
recomponha e que o tempo passe.
Exemplo 1
Basta que o mercado financeiro se recomponha.
p
1=O tempo passar
B =A
B =A* 1
76
8 TEOREMAS TEOREMAS
B =Passar na prova
A=Estudar
Para voc passar na prova,
basta estudar e ter umcrebro.
Exemplo 2
Basta estudar.
1=Ter umcrebro
B =A
B =A* 1
77
8 TEOREMAS TEOREMAS
A+1 =1
0 +1 =1
Elemento nulo da adio lgica
0 +1 =1
1 +1 =1
78
14
8 TEOREMAS TEOREMAS
B =O momento desejado chegar
A=Distrair-se comoutra coisa
Para o momento desejado chegar, basta deixar o
tempo passar, ou, ento, distrair-se comoutra coisa.
Exemplo
O momento desejado vai chegar.
1=Deixar o tempo passar
B =1
B =A+1
79
8 TEOREMAS TEOREMAS
A* 0 =0
0 * 0 =0
Elemento nulo da multiplicao lgica
0 0 =0
1 * 0 =0
80
8 TEOREMAS TEOREMAS
B =Permanecer jovem
A=Cuidar da sade
0 R t d d t
Para permanecer jovem, basta cuidar da
sade e retardar o avano do tempo.
Exemplo
Voc no permanecer jovem.
0=Retardar o avano do tempo
B =0
B =A* 0
81
8 TEOREMAS TEOREMAS
(A* B) +(A * C) =A * (B +C)
Distributiva da multiplicao sobre a adio
(A B) +(A C) =A (B +C)
82
8 TEOREMAS TEOREMAS
D=Almoo
A=Arroz
B =Feijo
Para o almoo, quero arroz comfeijo ouarroz comlentilha.
Exemplo 1
B =Feijo
C =Lentilha
Para o almoo, quero arroz comfeijo oucomlentilha.
83
D=(A * B) +(A * C)
D=A* (B +C)
8 TEOREMAS TEOREMAS
D=Dana
A=J oo
A dana pode ser representada pelo J oo
comaAna oupelo J oo coma Maria.
Exemplo 2
B =Ana
C =Maria
D=(A * B) +(A * C)
D=A* (B +C)
A dana pode ser interpretada pelo
J oo comaAna oucoma Maria.
84
15
8 TEOREMAS TEOREMAS
(A+B) * (A +C) =A +(B * C)
Distributiva da adio sobre a multiplicao
(A+B) (A +C) =A +(B C)
85
9 CASOS GERAIS CASOS GERAIS
E =Aescolha
A=Carne
Para o almoo, voc escolhe carne ou massa, e,
para sobremesa, voc escolhe gelatina ou pudim.
Exemplo 1
A Carne
B =Massa
C =Gelatina
D=Pudim
E =(A +B) * (C +D)
86
J oo procura uma namorada.
Se ela for bonita, no precisa ser inteligente nemrica.
Se for rica e inteligente, no precisa ser bonita.
Entradas oupremissas:
A: Ser bonita
Exemplo 2
D: Ser aceita por J oo (sada)
A: Ser bonita
B: Ser inteligente
C: Ser rica
87
C B A D
0 0 0 0 0
1 1 0 0 0
A: Ser bonita
B: Ser inteligente
Tabela Verdade
2 0 1 0 0
3 1 1 0 1
4 0 0 1 1
5 1 0 1 1
6 0 1 1 1
7 1 1 1 1
C: Ser rica
D: Ser aceita
88
C B A D
0 0 0 0 0
1 1 0 0 0
2 0 1 0 0
Situaes
2 0 1 0 0
3 1 1 0 1
4 0 0 1 1
5 1 0 1 1
6 0 1 1 1
7 1 1 1 1
A
B * C
B * C
A
89
D =A +(B * C)
A
B
Circuito lgico
B
C
90
16
A=/A
0=1
Reduo ao absurdo
S t
Reductio ad absurdum
Serve para encontrar:
Absurdo
Mentira
Contradio
Incoerncia
Inconsistncia
Conflito
91
Usado emsituaes como:
Pais diante dos filhos
Patro diante do empregado
Reductio ad absurdum
Patro diante do empregado
Delegado diante do suspeito
Etc
92
Queijo suo: Este queijo temo maior nmero de buracos.
1. Quanto mais queijo, mais buracos.
2. Se levarmos em considerao que os buracos ocupam o
lugar onde deveria ter queijo, quanto mais buracos, menos
queijo.
3 Se quanto mais queijo mais buracos e quanto mais buracos
Exemplo 3
3. Se quanto mais queijo mais buracos e quanto mais buracos
menos queijo, logo quanto mais queijo, menos queijo.
1. A=B
2. B =/A
3. A=/A
A=Mais queijo
/A=Menos queijo
B =Mais buracos
O sistema contraditrio.
93
Exemplo 3
As trs frases, isoladas, esto corretas.
Afrase dois se refere a vrios buracos no mesmo queijo.
Afrase trs se refere a vrios queijos
94
A frase trs se refere a vrios queijos.
As frases dois e trs no podem ser usadas no mesmo
raciocnio pois se aplicam a situaes diferentes.
Indiana J ones, numa expedio na selva africana, foi
capturado por ndios hostis. Horas depois, amarrado,
recebe a notcia de que seria morto, e que teria direito a
dizer uma ltima frase Se a frase fosse verdadeira ele
Exemplo 4
dizer uma ltima frase. Se a frase fosse verdadeira, ele
morreria de forma rpida e indolor. Se a frase fosse falsa,
ele morreria de forma lenta e dolorosa. Aps muito pensar,
Indiana J ones decidiu qual seria sua frase. Aps diz-la, os
ndios no souberamo que fazer e decidiramlibert-lo.
O que Indiana J ones disse?
95
Resposta: Indiana J ones disse:
Euvoumorrer de forma lenta e dolorosa.
A=Dizer verdade
B M d f id i d l
Exemplo 4
B =Morrer de forma rpida e indolor
/A=Dizer mentira
/B =Morrer de forma lenta e dolorosa
A=B
/A=/B
96
17
Indiana J ones disse: Eu vou morrer de forma lenta
e dolorosa, e morre de forma lenta e dolorosa.
Exemplo 4 Hiptese 1
A=Dizer verdade
/B =Morrer de forma lenta e dolorosa
A=/B
/A=/B
EntoA=/A
97
Indiana J ones disse: Eu vou morrer de forma lenta
e dolorosa, e morre de forma rpida e indolor.
Exemplo 4 Hiptese 2
/A=Dizer mentira
B =Morrer de forma rpida e indolor
/A=B
A=B
Ento /A=A
98
O sistema no temsoluo vlida.
Indiana J ones usou a reduo ao
absurdo para deixar os ndios sem
Exemplo 4
absurdo para deixar os ndios sem
alternativa, seno por libert-lo.
99
Problema 2:
1 caminho leva cidade.
1 pessoa diz a verdade, 1 diz mentira.
Eles sabemquem quem, e qual o caminho certo.
Como descobrir qual caminho leva cidade?
Exemplo 5
E D
100
E D
Exemplo 5 Opo 1
Perguntar para uma das pessoas,
apontando para umdos caminhos:
Aquele caminho leva cidade?
101
A opo 1 leva a uma resposta cuja veracidade
indeterminada, ou seja, no temvalor.
Exemplo 5 Opo 1
Aquele caminho leva cidade?
102
18
E D
Exemplo 5 Opo 2
103
Opo 2: Perguntar para uma das pessoas, apontando para um
dos caminhos, sobre qual seria a resposta da outra pessoa sobre
se aquele caminho leva cidade.
V*F =F
A opo 2 sempre fornece uma resposta falsa, o
que, invertendo, vira uma resposta verdadeira.
Exemplo 5 Opo 2
V F =F
1*0=0
Se eu perguntar para aquela pessoa se aquele
caminho leva cidade, o que ele vai responder?
104
E D
Exemplo 5 Opo 3
Perguntar para uma das pessoas, apontando para
um dos caminhos, sobre qual seria sua resposta.
105
A =A
A opo 3 sempre fornece uma resposta verdadeira.
Exemplo 5 Opo 3
//A =A
Se eu perguntar para voc se aquele caminho
leva cidade, qual ser a sua resposta?
106
Opo
Caminho
apontado
Caminho vai
pra cidade
Pessoa
indagada
0 E No Mentiroso
1 E No Verdadeiro
Exemplo 5 Hipteses para testar em cada opo
2 E Sim Mentiroso
3 E Sim Verdadeiro
4 D No Mentiroso
5 D No Verdadeiro
6 D Sim Mentiroso
7 D Sim Verdadeiro 107

Introd Logic Boole

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Introd Logic Boole

Transféré par

Droits d'auteur :

Formats disponibles

1

Vous aimerez peut-être aussi