Você está na página 1de 86

Fundamentos da Lgica

Lgica Proposicional
Antonio Alfredo Ferreira Loureiro
loureiro@dcc.ufmg.br
http://www.dcc.ufmg.br/~loureiro

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

Responsvel por escrever os primeiros grandes trabalhos de lgica:


Coleo de regras para raciocnio
dedutivo que pode ser usado em
qualquer rea do conhecimento.

Prope o uso de smbolos para mecanizar o processo de raciocnio dedutivo.

Propem as bases da lgica simblica


moderna usando as idias de Leibniz.

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

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

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

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

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

Proposies mais complexas


Exemplo 8:
Construa a tabela da verdade para a expresso:
E = (p q) (p q)
p
V
V
F
F

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

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

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

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

Fundamentos da Lo
gica Lo
gica Proposicional

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

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

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) (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

Equivalncia lgica: Exemplo


Exemplo 15:
Mostre que
(p q) (p q) p
atravs dos axiomas acima.

UFMG/ICEx/DCC

MD

Fundamentos da Lo
gica Lo
gica Proposicional

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

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

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

Fundamentos da Lo
gica Lo
gica Proposicional

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

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

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

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

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

Fundamentos da Lo
gica Lo
gica Proposicional

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

Fundamentos da Lo
gica Lo
gica Proposicional

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

Fundamentos da Lo
gica Lo
gica Proposicional

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)

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

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

Fundamentos da Lo
gica Lo
gica Proposicional

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

Fundamentos da Lo
gica Lo
gica Proposicional

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

Fundamentos da Lo
gica Lo
gica Proposicional

49

Argumentos vlidos e invlidos:


Como analisar a validade
Exemplo 31:

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

Para todas linhas crticas a concluso verdadeira. Logo, o argumento vlido.

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

Argumentos vlidos e invlidos:


Como analisar a validade
Exemplo 32 argumento invlido:
p q r;
q p r;
.
. . p r;
1.
2.
3.
4.
5.
6.
7.
8.

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

Para todas linhas crticas, exceto a 4, a concluso verdadeira. Logo, o


argumento invlido.
UFMG/ICEx/DCC

MD

Fundamentos da Lo
gica Lo
gica Proposicional

51

Argumentos vlidos e invlidos:


Como analisar a validade
Exemplo 33:

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

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

Fundamentos da Lo
gica Lo
gica Proposicional

53

Argumentos vlidos: Modus Ponens


Exemplo 34:

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

Argumentos vlidos: Modus Tollens


Seja o seguinte argumento:
p q;
q;
.
. . p.
e um exemplo dessa forma:
Se Zeus humano ento Zeus mortal.
Zeus no mortal.

(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

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

Fundamentos da Lo
gica Lo
gica Proposicional

56

Outras formas de argumentos vlidos:


Adio disjuntiva
As formas de argumentos
(a)
p;
.
. . p q.
so vlidas.

(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

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

Fundamentos da Lo
gica Lo
gica Proposicional

57

Outras formas de argumentos vlidos:


Simplificao conjuntiva
As formas de argumentos
(a)
p q;
.
. . p.
so vlidas.

(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

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

Fundamentos da Lo
gica Lo
gica Proposicional

58

Outras formas de argumentos vlidos:


Silogismo disjuntivo
Silogismo = deduo formal tal que, postas duas premissas, delas se tira uma
concluso, nelas logicamente implicada.
As formas de argumentos
(a)
p q;
q;
.
. . p.
so vlidas.

(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

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

Fundamentos da Lo
gica Lo
gica Proposicional

59

Outras formas de argumentos vlidos:


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

Fundamentos da Lo
gica Lo
gica Proposicional

60

Outras formas de argumentos vlidos:


Silogismo hipottico
Forma do argumento:
p q;
q r;
.
. . p r.
vlida.

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

Muitos argumentos em matemtica so definidos por cadeias de sentenas


seento, onde o primeiro implica no ltimo.

UFMG/ICEx/DCC

MD

Fundamentos da Lo
gica Lo
gica Proposicional

61

Outras formas de argumentos vlidos:


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

Fundamentos da Lo
gica Lo
gica Proposicional

62

Outras formas de argumentos vlidos:


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:
p q;
p r;
q r;
.
. . r.

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

Outras formas de argumentos vlidos:


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

Fundamentos da Lo
gica Lo
gica Proposicional

64

Deduo mais complexa


Sejam os seguintes argumentos:

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

p = Os meus culos esto na mesa da cozinha.


q = Eu vi meus culos no caf da manh.
r = Eu estava lendo o jornal na sala de estar.
s = Eu estava lendo o jornal na cozinha.
t = Meus culos esto na mesa do caf.
u = Eu estava lendo um livro na cama.
v = Meus culos esto no criado-mudo.
Traduo dos fatos para as proposies:
(a) p q
(d) q

Fundamentos da Lo
gica Lo
gica Proposicional

(b) r s
(e) u v

(c) r t
(f) s p

65

Deduo mais complexa


Traduo dos fatos para as proposies:
(a) p q
(d) q

(b) r s
(e) u v

(c) r t
(f) s p

As seguintes dedues podem ser feitas:

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

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

Fundamentos da Lo
gica Lo
gica Proposicional

67

Uso de proposies em especificaes


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

Fundamentos da Lo
gica Lo
gica Proposicional

68

Uso de proposies em especificaes


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

Fundamentos da Lo
gica Lo
gica Proposicional

69

Uso de proposies em especificaes


Dedues:
p q;
p
.
.. q

q
p
pq
.
. . p q

(a)
(b)
Silogismo disjuntivo

Concluso acima
(b)
(c)
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

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.

A forma geral do argumento acima :


p q;
q;
.
. . p.

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

Este argumento lembra a forma geral do argumento Modus ponens.


Forma deste argumento invlida.

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

Este argumento lembra a forma geral do argumento Modus tollens.


Forma deste argumento invlida.

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

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:
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

Regras de inferncia: Sumrio


M ODUS P ONENS
p q;
p;
.
. . q.

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

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

Fundamentos da Lo
gica Lo
gica Proposicional

80

Aplicao: Circuito lgico


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

Fundamentos da Lo
gica Lo
gica Proposicional

81

Aplicao: Circuito lgico


Sejam os circuitos abaixo e os possveis comportamentos:
P
P

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

Aplicao: Circuito lgico


Chaves
P
Q
Fechada
Fechada
Aberta
Aberta

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

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
P Q

(conjuno);
(disjuno).

UFMG/ICEx/DCC

MD

Fundamentos da Lo
gica Lo
gica Proposicional

83

Aplicao: Circuito lgico


A partir da dcada de 1940, rels eletro-mecnicos (chaves) foram substitudos por dispositivos
eletrnicos como vlvulas, transistores e circuitos integrados.
Vlvula. O computador moderno (primeira gerao) surgiu a partir da vlvula, que permitiu executar uma operao
muito mais rpida que os sistemas de rel eletro-mecnicos.
Abaixo est um sistema de
vlvulas da IBM de 1946 que
podia multiplicar dois nmeros
1
de 10 algarismos em 40
s.

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

Aplicao: Circuito lgico


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

Fundamentos da Lo
gica Lo
gica Proposicional

85

Aplicao: Circuito lgico


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

Fundamentos da Lo
gica Lo
gica Proposicional

86