Você está na página 1de 86

Fundamentos da Lgica Lgica Proposicional

Antonio Alfredo Ferreira Loureiro UFMG/DCC


loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica Proposicional

Fundamentos da lgica: Alguns fatos histricos


Aristteles (384 a.C.322 a.C.), lsofo grego. Produziu uma obra rica e multifacetada. Nela encontramos uma exaustiva compilao dos conhecimentos do seu tempo, mas tambm, uma losoa que ainda hoje inuncia a nossa maneira de pensar. Gottfried Wilhelm Leibniz (16461716), lsofo e matemtico alemo, provavelmente mais conhecido por ter inventado o clculo integral e diferencial independentemente de Isaac Newton. George Boole (18151864), matemtico e lsofo ingls. Augustus De Morgan (18061871), matemtico ingls. 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.

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica Proposicional

Fundamentos da lgica: Atualidade


Pesquisa continua sendo aplicada em reas como: inteligncia articial; 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 Logica Logica Proposicional

Forma de um Argumento Seu Contedo


Forma de um argumento: conceito central da lgica dedutiva. Argumento: sequncia de armaes para demonstrar a validade de uma assero. Como saber que a concluso obtida de um argumento vlida? As armaes que compem o argumento so aceitas como vlidas, ou podem ser deduzidas de armaes anteriores. Em lgica, forma de um argumento = 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 Logica Logica 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 Logica Logica 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 denies 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 Logica Logica Proposicional

Proposies
Em toda teoria matemtica, usam-se termos j denidos na concepo de novas denies. Mas como fazer com os termos mais primitivos? Termos primitivos ou iniciais no so denidos. Em lgica, os termos sentena, verdadeiro, e falso so os termos iniciais no denidos. Denio: uma armao 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 Logica Logica 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 quanticadores, como ser visto em lgica de predicados.

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica Proposicional

Proposies compostas
Nos exemplos usados daqui para frente, usaremos as letras minsculas (por exemplo, p, q, r) para representar armaes. Os seguintes smbolos podem ser usados para denir 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, p : 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 Logica Logica 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

p (q r).

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica 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 Logica Logica 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 Logica Logica Proposicional

12

Proposies e os valores-verdade
Para uma sentena ser uma proposio necessrio ter um valor-verdade bem denido, 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

Fundamentos da Logica Logica Proposicional

13

Proposies e os valores-verdade
Disjuno () Possveis signicados: inclusive: p ou q ou ambos (signicado assumido para este operador), e exclusivo: p ou q, mas no ambos. p V V F F q V F V F pq V V V F

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica 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 q V F V F pq V V 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 armao em si, ou seja, seu contedo.
UFMG/ICEx/DCC MD

Fundamentos da Logica Logica 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. Denio: 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 Logica Logica Proposicional

16

Equivalncia lgica
Como vericar 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 armaes que formam a proposio. 3. Verique 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) p q

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica Proposicional

17

Equivalncia lgica Leis de De Morgan


Negao de e : Leis de De Morgan. Sejam as armaes: 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 Logica Logica 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 < 2 x 2 Exemplo 12: p = 1 < x 4 p = (1 < x 4) (x > 1 x 4) x > 1 x 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 Logica Logica 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 armaes 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 Logica Logica Proposicional

20

Tautologias e contradies
Uma tautologia uma proposio que sempre verdadeira independente dos valores-verdade das armaes que compem a proposio. Uma contradio uma proposio que sempre falsa independente dos valores-verdade das armaes que compem a proposio. De acordo com essas denies, a verdade de uma tautologia ou falsidade de uma contradio se devem a estrutura lgica da proposio em si e so independentes dos signicados das armaes que compem a proposio.

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica 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 Logica Logica Proposicional

22

Sumrio da equivalncia lgica


Comutatividade Associatividade Distributividade Identidade Negao Dupla negao Idempotncia De Morgan Limite universal Absoro Negaes
UFMG/ICEx/DCC MD

pq qp (p q) r p (q r) p (q r) (p q) (p r) ptp p p t (p) p ppp (p q) p q ptt p (p q) p t c

pq qp (p q) r p (q r) p (q r) (p q) (p r) pcp p p c ppp (p q) p q pcc p (p q) p c t


23

Fundamentos da Logica Logica Proposicional

Equivalncia lgica: Exemplo


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

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica 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 Logica Logica Proposicional

25

Proposio condicional
um conectivo lgico binrio para o qual podem ser denidos 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 denio). p V V F F q V F V F pq V F V V

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica 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 armao p no for satisfeita? No justo dizer que a promessa falsa.

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica 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 Logica Logica Proposicional

28

Proposio condicional e linguagem natural


Seja a seguinte implicao: Se hoje sexta-feira ento 2 + 3 = 5. Implicao que sempre verdadeira pela denio (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, 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 Logica Logica 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. p V V F F q V F V F q F V F V p q V V F V p F F V V p q p F F V V

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica Proposicional

30

Proposio condicional
Exemplo 18: Mostre que p q r (p r) (q r)
p V V V V F F F F q V V F F V V F F r V F V F V F V F pq V V V V V V F F pr V F V F V V V V qr V F V V V F V V pq r V F V F V F V V (p r) (q r) 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 Logica Logica 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 ocina)=[p] ento (eu no posso ir aula)=[q]. a: (Meu carro est na ocina)=[p] e (eu posso ir aula)=[q].

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica 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 Logica Logica Proposicional

33

Proposio condicional: Converse


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.
?

converse opinion or statement is one that is the opposite to the one that has just been stated. Collins Cobuild English Language Dictionary
UFMG/ICEx/DCC MD

Fundamentos da Logica Logica 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 Logica Logica Proposicional

35

Proposio condicional e proposies derivadas: Sumrio


(p q) (q p) (p q) (q p) (p q) (p q) (q p) (p q)
oposta de (p q) inversa de (p q)

Proposio contrapositiva Proposio oposta Proposio inversa contrapositiva

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica Proposicional

36

Proposio condicional: Somente se


A sentena p somente se q signica 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 p se q. p somente se q p q. p se q q p.

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica 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 Logica Logica Proposicional

38

Proposio condicional: Somente se


Exemplo 23: A soma de 1 a n [ n(n+1) ] somente se a soma de 1 a n+1 [ (n+1)(n+2) ] 2 2 Se a soma de 1 a n [ n(n+1) ] ento a soma de 1 a n + 1 [ (n+1)(n+2) ] 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 Logica Logica 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 q V F V F pq V F F V

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica 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)
p V V F F q V F V F pq V F V V qp V V F V pq V F F V (p q) (q p) V F F V

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica 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 Logica Logica Proposicional

42

Proposio condicional: Bicondicional (se somente se)


p q (p q) (q p).
p V V F F q V F V F pq V F F V (p q) V F V V (q p) V V F V (p q) (q p) V F F V

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica Proposicional

43

Proposio condicional: Condio necessria & Condio suciente


Sejam r e s armaes. r uma condio suciente para s: se r ento s. . . . A ocorrncia de r suciente 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 suciente para s signica r se somente se s.
UFMG/ICEx/DCC MD

Fundamentos da Logica Logica Proposicional

44

Proposio condicional: Condio necessria & Condio suciente


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 suciente para garantir a verdade de q, ou seja, Joo ser elegvel para votar condio suciente 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 Logica Logica Proposicional

45

Proposio condicional: Condio necessria & Condio suciente


Exemplo 28: Converta uma condio suciente para a forma seento O nascimento de Joo em solo brasileiro uma condio suciente 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 Logica Logica 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 signica que a concluso pode ser obtida necessariamente das armaes que precedem. Argumento (denio): Um argumento uma sequncia de armaes. Todas as armaes, exceto a ltima, so chamadas de premissas ou suposies ou hipteses. A ltima armao chamada de concluso. . O smbolo . ., que lido como de onde se conclui normalmente colocado antes da concluso.

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica 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 Logica Logica 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. Identique as premissas e concluso do argumento. 2. Construa a tabela da verdade identicando as colunas das premissas e da concluso. 3. Identique as linhas onde todas as premissas so verdadeiras (linhas crticas). 4. Para cada linha crtica verique 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 Logica Logica Proposicional

49

Argumentos vlidos e invlidos: Como analisar a validade


Exemplo 31: p (q r); r; . . p q. .
1. 2. 3. 4. 5. 6. 7. 8.

Tabela da verdade:
p V V V V F F F F q V V F F V V F F r V F V F V F V F qr 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 vericar a validade de um argumento.
UFMG/ICEx/DCC MD

Fundamentos da Logica Logica Proposicional

50

Argumentos vlidos e invlidos: Como analisar a validade


Exemplo 32 argumento invlido: p q r; q p r; . . . p r;
p 1. 2. 3. 4. 5. 6. 7. 8. V V V V F F F F q V V F F V V F F r V F V F V F V F r F V F V F V F V q r V V F V V V F V pr 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 Logica Logica Proposicional

51

Argumentos vlidos e invlidos: Como analisar a validade


Exemplo 33: p q; q r; r p; . . . p q r. Tabela da verdade:
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

p 1. 2. 3. 4. 5. 6. 7. 8. V V V V F F F F

q V V F F V V F F

r V F V F V F V F

Existem duas linhas crticas, uma delas com concluso falsa. Logo, o argumento invlido.

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica 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 signica mtodo de armar.

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica Proposicional

53

Argumentos vlidos: Modus Ponens


Exemplo 34:

Forma do argumento:

p q; p; . . . q.
1. 2. 3. 4.

p V V F F

q V F V F

Premissas pq p V F V V V V F F

Concluso q V

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica Proposicional

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 armaes (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 signica mtodo de negar.
UFMG/ICEx/DCC MD

Fundamentos da Logica Logica 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 Logica Logica Proposicional

56

Outras formas de argumentos vlidos: Adio disjuntiva


As formas de argumentos (a) p; . . . p q. so vlidas.
p Forma do argumento: p; . . . p q. 1. 2. 3. 4. V V F F

(b)

q; . . p q. .
Premissa p V V F F Concluso pq V V

q V F V F

Essas duas formas servem para fazer generalizaes, i.e., se p verdadeiro caso (a) ento mais genericamente p q verdadeiro para qualquer armao q.

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica Proposicional

57

Outras formas de argumentos vlidos: Simplicao conjuntiva


As formas de argumentos (a) p q; . . . p. so vlidas.
p Forma do argumento: p q; . . . p. 1. 2. 3. 4. V V F F

(b)

p q; . . q. .
Premissa pq V F F F Concluso p V

q V F V 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

Fundamentos da Logica Logica 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.
Forma do argumento:

(b)

p q; p; . . . q.

p q; q; . . . p.

p 1. 2. 3. 4. V V F F

q 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 Logica Logica 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 = 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 Logica Logica 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. p V V V V F F F F q V V F F V V F F r V F V F V F V F

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 denidos por cadeias de sentenas seento, onde o primeiro implica no ltimo.

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica 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 Logica Logica 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. vlida. p 1. 2. 3. 4. 5. 6. 7. 8. V V V V F F F F q V V F F V V F F r V F V F V F V F Premissas pq pr q r V V V V V V F F V F V F V V V V V F V V V F V V Concluso r V V V

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica Proposicional

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 Logica Logica Proposicional

64

Deduo mais complexa


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; Sejam os seguintes argumentos: 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 (b) r s (e) u v (c) r t (f) s p

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica Proposicional

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.

p q; q . . . p s p; p . . . s

(a) (d) Modus Tollens (f) Concluso de 1. Modus Tollens

3.

r s; s . .. r r t; r . .. t

(b) Concluso de 2. Silogismo disjuntivo (c) Concluso de 3. Modus Ponens

2.

4.

. . . t verdadeiro e os culos esto na mesa do caf.


UFMG/ICEx/DCC MD

Fundamentos da Logica Logica Proposicional

66

Uso de proposies em especicaes


Traduzir sentenas numa linguagem natural, como o portugus, em expresses lgicas uma parte importante da especicao de sistemas computacionais (hardware e software). Prossionais que fazem a especicao de tais sistemas computacionais devem traduzir requisitos expressos numa linguagem natural em uma especicao precisa e no ambgua. Essa especicao pode ser usada como base para o desenvolvimento do sistema.

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica Proposicional

67

Uso de proposies em especicaes


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 Logica Logica Proposicional

68

Uso de proposies em especicaes


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 Logica Logica Proposicional

69

Uso de proposies em especicaes


Dedues: p q; p . .. q
(a) (b) Silogismo disjuntivo

q p pq . . . p q

Concluso acima (b) (c) p=Feq=V

Os requisitos so consistentes para p = F e q = V O que acontece com a especicao se o requisito A mensagem de diagnstico no retransmitida acrescentada?

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica 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 Logica Logica Proposicional

71

Erro oposto
Exemplo 43: Se Zeca um gnio ento Zeca senta na primeira carteira na sala de aula; . . . Zeca um gnio. Zeca senta na primeira carteira na sala de aula;

A forma geral do argumento acima : p q; q; . . . p.

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica Proposicional

72

Erro oposto
Forma do argumento : p q; q; . . p. .
1. 2. 3. 4. Premissas pq q V F V V V F V F Concluso p V F

p V V F F

q V F V F

Este argumento lembra a forma geral do argumento Modus ponens. Forma deste argumento invlida.

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica Proposicional

73

Erro inverso
Exemplo 44: Se as taxas de juro subirem ento os preos das aes iro cair; . . . Os preos das aes no iro cair. A forma geral do argumento acima : p q; p; . . . q. As taxas de juro no esto subindo;

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica Proposicional

74

Erro inverso
Forma do argumento : p q; p; . . q. .
1. 2. 3. 4. Premissas p q p V F V V F F V V Concluso q

p V V F F

q V F V F

F V

Este argumento lembra a forma geral do argumento Modus tollens. Forma deste argumento invlida.

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica 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 Logica Logica Proposicional

76

Contradies e argumentos vlidos


Regra da contradio: Se pode ser mostrado que a suposio da armao 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 p 1. 2. V F p F V c F F p c V F Concluso p V

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica 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 Logica Logica Proposicional

78

Regras de inferncia: Sumrio


M ODUS P ONENS p q; p; . . . q. M ODUS TOLLENS p q; q; . . . p. A DIO DISJUNTIVA p; . . . p q. S ILOGISMO DISJUNTIVO p q; p q; q; p; . . . . p. . . q. S ILOGISMO HIPOTTICO p q; q r; . . . p r. D ILEMA p q; p r; q r; . . . r. C ONTRADIO p c; . . . p.

q; . . p q. .

S IMPLIFICAO CONJUNTIVA p q; p q; . . . . p. . . q. A DIO CONJUNTIVA p; q; . . . p q.


UFMG/ICEx/DCC MD

Fundamentos da Logica Logica 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 Logica Logica 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 Logica Logica Proposicional

81

Aplicao: Circuito lgico


Sejam os circuitos abaixo e os possveis comportamentos:
P P
+

Q
+

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

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica Proposicional

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 Logica Logica 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 de 10 1 algarismos em 40 s. 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 no de um material semicondutor. Abaixo, uma imagem do processador Intel Core Duo otimizado para aplicaes multi-threaded e multitarefa.

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica 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 Logica Logica Proposicional

85

Aplicao: Circuito lgico


A partir do surgimento dos computadores digitais, uma questo fundamental passa a ser a representao (codicao) da informao usando bits. Por exemplo, como bits so representados/codicados quando esto em: Memria de ferrite? Memria eletrnica? Disco magntico? Disco ptico? Cabo coaxial? Cabo metlico? Cabo de bra ptica? Canal de comunicao sem o?

UFMG/ICEx/DCC

MD

Fundamentos da Logica Logica Proposicional

86