3 operacoes logicas sobre proposicoes
-
Upload
daniel-lobao -
Category
Education
-
view
152 -
download
3
description
Transcript of 3 operacoes logicas sobre proposicoes
![Page 1: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/1.jpg)
Operações Lógicas sobre Proposições
Prof. Marcelo de Barros
![Page 2: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/2.jpg)
Tabela da Verdade;
Operações Lógicas sobre Proposições;
![Page 3: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/3.jpg)
As proposições podem ser: ◦ Simples:
p : Walter é engenheiro
q : Pedro é estudante
◦ Composta:
R : Walter é engenheiro e Pedro é estudante
Representação: R ( p, q )
![Page 4: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/4.jpg)
Conectivos:◦ P : Carlos é careca e Pedro é estudante
◦ Q : Carlos é careca ou Pedro é estudante
◦ R : Se Carlos é careca, então é infeliz
![Page 5: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/5.jpg)
Notação: ◦ (p) O sol é verde
◦ V(p) = F
◦ (a) A Lua é um satélite da terra
◦ V(a) = V
![Page 6: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/6.jpg)
Dispositivo que representa todos os possíveis valores lógicos de uma proposição.
Representação:
Traduzindo: A proposição p pode assumir os valores V ou F.
![Page 7: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/7.jpg)
Utilização de duas proposições:
![Page 8: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/8.jpg)
Utilização de duas proposições:
◦ Carlos é careca : p
◦ Pedro é estudante : q
![Page 9: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/9.jpg)
Utilização de duas proposições:
![Page 10: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/10.jpg)
Operações realizadas sobre as proposições;
Seguem a regra do cálculo proposicional:
◦ Semelhante à aritmética sobre números.
![Page 11: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/11.jpg)
Negação ( ~ )
Conjunção ( ˄ )
Disjunção ( ˅ )
Disjunção Exclusiva ( ˅ )
Condicional ( → )
Bicondicional ( ↔ )
![Page 12: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/12.jpg)
Negação ( ~ ) “não”
Conjunção ( ˄ ) “e”
Disjunção ( ˅ ) “ou”
Disjunção Exclusiva ( ˅ ) “ou exclusivo”
Condicional ( → ) “se... então...”
Bicondicional ( ↔ ) “... se e somente se ...”
![Page 13: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/13.jpg)
A negação de uma proposição p é representada por ◦ “não p”;
◦ “~p”.
O valor lógico é: ◦ V quando p é falso;
◦ F quando p é verdadeira.
![Page 14: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/14.jpg)
Tabela Lógica:
![Page 15: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/15.jpg)
Tabela Lógica:
Exemplos: ◦ r : Roma é a capital da França
◦ ~r : Roma não é a capital da França
◦ p : 2+3=5
◦ ~p : 2+3≠5
![Page 16: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/16.jpg)
Tabela Lógica:
Exemplos:
◦ r : Roma é a capital da França F
◦ ~r : Roma não é a capital da França V
◦ p : 2+3=5 V
◦ ~p : 2+3≠5 F
![Page 17: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/17.jpg)
A conjunção de duas proposições p e q é representado por ◦ “p e q”;
◦ “p ˄ q”.
Valor Lógico: ◦ V quando p e q são ambas verdadeiras;
◦ F quando nos demais casos.
![Page 18: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/18.jpg)
Tabela Lógica:
![Page 19: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/19.jpg)
Tabela Lógica:
Valor Lógico: ◦ V quando p e q são ambas verdadeiras;
◦ F quando nos demais casos.
![Page 20: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/20.jpg)
Exemplos: ◦ p : A neve é branca
◦ q : 2<5
◦ r : 7 é um número primo
◦ s : O céu é vermelho
![Page 21: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/21.jpg)
Exemplos: ◦ p : A neve é branca V
◦ q : 2<5 V
◦ r : 7 é um número primo V
◦ s : O céu é vermelho F
![Page 22: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/22.jpg)
Exemplos: ◦ p : A neve é branca V
◦ q : 2<5 V
◦ p ˄ q : A neve é branca e 2<5
◦ r : 7 é um número primo V
◦ s : O céu é vermelho F
◦ r ˄ s : 7 é um número primo e o céu é vermelho
![Page 23: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/23.jpg)
Exemplos: ◦ p : A neve é branca V
◦ q : 2<5 V
◦ p ˄ q : A neve é branca e 2<5 V
◦ r : 7 é um número primo V
◦ s : O céu é vermelho F
◦ r ˄ s : 7 é um número primo e o céu é vermelho F
![Page 24: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/24.jpg)
A disjunção de duas proposições p e q é representado por: ◦ “p ou q”;
◦ “p ˅ q”.
Valor Lógico: ◦ V quando ao menos uma das proposições p e q é
verdadeira;
◦ F quando ambas são falsas.
![Page 25: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/25.jpg)
Tabela Lógica:
![Page 26: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/26.jpg)
Tabela Lógica:
Valor Lógico: ◦ V quando ao menos uma das proposições p e q é
verdadeira;
◦ F quando ambas são falsas.
![Page 27: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/27.jpg)
Exemplos: ◦ p : Paris é a capital da França
◦ q : 9-4=5
◦ r : 7 é um número primo
◦ s : O céu é vermelho
![Page 28: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/28.jpg)
Exemplos: ◦ p : Paris é a capital da França V
◦ q : 9-4=5 V
◦ p ˅ q : Paris é a capital da França ou 9-4=5
◦ r : 7 é um número primo V
◦ s : O céu é vermelho F
◦ r ˅ s : 7 é um número primo ou o céu é vermelho
![Page 29: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/29.jpg)
Exemplos: ◦ p : Paris é a capital da França V
◦ q : 9-4=5 V
◦ p ˅ q : Paris é a capital da França ou 9-4=5 V
◦ r : 7 é um número primo V
◦ s : O céu é vermelho F
◦ r ˅ s : 7 é um número primo ou o céu é vermelho V
![Page 30: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/30.jpg)
Verifique as seguintes proposições:
◦ P : Carlos é médico ou professor
◦ Q : Mario é alagoano ou gaúcho
As duas proposições tem o mesmo significado?
Solução: Disjunção Exclusiva ( ˅ )
![Page 31: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/31.jpg)
A disjunção Exclusiva de duas proposições p e q é representado por ◦ “ou p ou q”;
◦ “p q”;
◦ “p ou q, mas não ambos”.
Valor Lógico: ◦ V somente quando p é verdadeira ou q é verdadeira, mas
não quando ambas são verdadeiras;
◦ F quando ambas são verdadeiras ou ambas são falsas.
![Page 32: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/32.jpg)
Tabela da Verdade:
Valor Lógico: ◦ V somente quando p é verdadeira ou q é verdadeira, mas
não quando ambas são verdadeiras;
◦ F quando ambas são verdadeiras ou ambas são falsas.
![Page 33: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/33.jpg)
Exemplos: ◦ p : Mario é alagoano
◦ q : Mario é gaúcho
◦ r : O carro é preto
◦ s : O carro é importado
![Page 34: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/34.jpg)
Exemplos: ◦ p : Mario é alagoano V
◦ q : Mario é gaúcho F
◦ p ˅ q : Ou Mario é alagoano ou Mario é gaúcho.
◦ r : O carro é preto V
◦ s : O carro é importado V
◦ r ˅ s : Ou o carro é preto ou o carro é importado.
![Page 35: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/35.jpg)
Exemplos: ◦ p : Mario é alagoano V
◦ q : Mario é gaúcho F
◦ p ˅ q : Ou Mario é alagoano ou Mario é gaúcho. V
◦ r : O carro é preto V
◦ s : O carro é importado V
◦ r ˅ s : Ou o carro é preto ou o carro é importado. F
![Page 36: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/36.jpg)
A Condicional de duas proposições p e q é representado por ◦ “se p então q”;
◦ “p → q”;
Valor Lógico: ◦ F quando p é verdadeira e q é falsa;
◦ V nos demais casos.
![Page 37: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/37.jpg)
“p → q” ou “se p então q”: ◦ p é condição suficiente para q
◦ q é condição necessária para p
◦ p é o antecedente e q o consequente.
→ Símbolo de Implicação
![Page 38: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/38.jpg)
Tabela da Verdade:
Valor Lógico: ◦ F quando p é verdadeira e q é falsa;
◦ V nos demais casos.
![Page 39: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/39.jpg)
Exemplos: ◦ p : Flamengo empatou o jogo
◦ q : Flamengo venceu o jogo
◦ r : Choveu
◦ s : Está molhado
![Page 40: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/40.jpg)
Exemplos: ◦ p : Flamengo empatou o jogo V
◦ q : Flamengo venceu o jogo F
◦ p → q : Se Flamengo empatou o jogo, então Flamengo venceu o jogo
◦ r : Choveu V
◦ s : Está molhado V
◦ r → s : Se Choveu, então está molhado.
![Page 41: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/41.jpg)
Exemplos: ◦ p : Flamengo empatou o jogo V
◦ q : Flamengo venceu o jogo F
◦ p → q : Se Flamengo empatou o jogo, então Flamengo venceu o jogo F
◦ r : Choveu V
◦ s : Está molhado V
◦ r → s : Se Choveu, então está molhado. V
![Page 42: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/42.jpg)
A Bicondicional de duas proposições p e q é representado por ◦ “p se e somente se q”;
◦ “p ↔ q”;
Valor Lógico: ◦ V quando p e q são ambas verdadeiras ou ambas
falsas;
◦ F nos demais casos.
![Page 43: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/43.jpg)
Tabela da Verdade:
Valor Lógico: ◦ V quando p e q são ambas verdadeiras ou ambas
falsas;
◦ F nos demais casos.
![Page 44: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/44.jpg)
Exemplos: ◦ p : Será aprovado
◦ q : Estudar
◦ p ↔ q : Será aprovado, se e somente se, estudar
◦ p : Será aprovado
◦ q : Estudar
◦ p ↔ q : Será aprovado, se e somente se, estudar
![Page 45: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/45.jpg)
Exemplos: ◦ p : Será aprovado V
◦ q : Estudar V
◦ p ↔ q : Será aprovado, se e somente se, estudar
◦ p : Será aprovado V
◦ q : Estudar F
◦ p ↔ q : Será aprovado, se e somente se, estudar
![Page 46: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/46.jpg)
Exemplos: ◦ p : Será aprovado V
◦ q : Estudar V
◦ p ↔ q : Será aprovado, se e somente se, estudar V
◦ p : Será aprovado V
◦ q : Estudar F
◦ p ↔ q : Será aprovado, se e somente se, estudar F
![Page 47: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/47.jpg)
Sejam as proposições: ◦ p : Está Frio V
◦ q : Está chovendo V
Traduzir para a linguagem corrente: ∘ ~p ∘ p q
∘ ~q ∘ p → q
∘ p ˄ q ∘ p ↔ q
∘ p ˅ q
![Page 48: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/48.jpg)
Utilizando as mesmas proposições: ◦ p : Está Frio V
◦ q : Está chovendo F
Traduzir para a linguagem corrente: ∘ ~p ˄ ~q ∘ p ˄ ~q → p
∘ p → ~q ∘ ~~p
∘ p ˅ ~q ∘ p ˄ ~~q
![Page 49: 3 operacoes logicas sobre proposicoes](https://reader030.fdocument.pub/reader030/viewer/2022013107/547df243b37959492b8b53a6/html5/thumbnails/49.jpg)
Utilizando as proposições a seguir: ◦ p : Maria é alta
◦ q : Maria é elegante
Traduzir para a linguagem simbólica: ◦ Maria é alta e elegante
◦ Maria é alta ou elegante, mas não ambos
◦ Maria é alta ou é baixa e elegante