Escolar Documentos
Profissional Documentos
Cultura Documentos
UFMG/ICEx/DCC
MD
UFMG/ICEx/DCC
MD
UFMG/ICEx/DCC
MD
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
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
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
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
10
UFMG/ICEx/DCC
MD
11
UFMG/ICEx/DCC
MD
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
UFMG/ICEx/DCC
MD
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
14
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
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
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
17
18
UFMG/ICEx/DCC
MD
19
UFMG/ICEx/DCC
MD
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
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
22
UFMG/ICEx/DCC
MD
24
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
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
27
UFMG/ICEx/DCC
MD
28
UFMG/ICEx/DCC
MD
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
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
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
32
UFMG/ICEx/DCC
MD
33
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
34
UFMG/ICEx/DCC
MD
35
UFMG/ICEx/DCC
MD
36
UFMG/ICEx/DCC
MD
37
UFMG/ICEx/DCC
MD
38
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
39
UFMG/ICEx/DCC
MD
40
UFMG/ICEx/DCC
MD
41
UFMG/ICEx/DCC
MD
42
UFMG/ICEx/DCC
MD
43
44
UFMG/ICEx/DCC
MD
45
UFMG/ICEx/DCC
MD
46
UFMG/ICEx/DCC
MD
47
48
UFMG/ICEx/DCC
MD
49
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
Todas as linhas exceto as linhas crticas so irrelevantes para vericar a validade de um argumento.
UFMG/ICEx/DCC MD
50
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
51
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
52
UFMG/ICEx/DCC
MD
53
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
54
(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
55
UFMG/ICEx/DCC
MD
56
(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
57
(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
58
(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
59
UFMG/ICEx/DCC
MD
60
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
61
UFMG/ICEx/DCC
MD
62
UFMG/ICEx/DCC
MD
63
UFMG/ICEx/DCC
MD
64
UFMG/ICEx/DCC
MD
65
1.
p q; q . . . p s p; p . . . s
3.
r s; s . .. r r t; r . .. t
2.
4.
66
UFMG/ICEx/DCC
MD
67
UFMG/ICEx/DCC
MD
68
69
q p pq . . . p q
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
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
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;
UFMG/ICEx/DCC
MD
72
Erro oposto
Forma do argumento : p q; . . p. . q;
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
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; . . . q . p; As taxas de juro no esto subindo;
UFMG/ICEx/DCC
MD
74
Erro inverso
Forma do argumento : p q; . . q . . p;
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
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
76
UFMG/ICEx/DCC
MD
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
78
q; . . p q. .
79
Claude Shannon (19162001), matemtico americano, considerado o cientista que estabeleceu os fundamentos da teoria da informao moderna, com a publicao em 1948 do trabalho intitulado Mathematical Theory of Communication. Nesse trabalho ele observa que the fundamental problem of communication is that of reproducing at one point either exactly or approximately a message selected at another point . Os fundamentos propostos nesse trabalho so usados integralmente hoje em dia em reas como redes de computadores e recuperao da informao. Antes disso, Shannon observa a analogia entre operaes de dispositivos de chaveamento (por exemplo, chaves ou interruptores) e operaes de conectivos lgicos. Ele usa essa analogia com muito sucesso para resolver problemas de projetos de circuitos lgicos e apresenta os resultados na sua dissertao de mestrado (A Symbolic Analysis of Relay and Switching Circuits) do MIT em 1938.
UFMG/ICEx/DCC
MD
80
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
81
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
82
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
83
UFMG/ICEx/DCC
MD
84
UFMG/ICEx/DCC
MD
85
UFMG/ICEx/DCC
MD
86