aula 03 operações lógicas sobre proposições · a disjunção de duas proposições p e q é...
TRANSCRIPT
![Page 1: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/1.jpg)
Aula 03 – Operações Lógicas
sobre Proposições
Disciplina: Fundamentos de Lógica e Algoritmos
Prof. Bruno Gomes
http://www.profbrunogomes.com.br/
![Page 2: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/2.jpg)
Agenda da Aula
Tabela da Verdade;
Operações Lógicas sobre Proposições;
![Page 3: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/3.jpg)
Revisando
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: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/4.jpg)
Revisando
Conectivos:
P : Carlos é careca e Pedro é estudante
Q : Carlos é careca ou Pedro é estudante
R : Se Carlos é careca, então é infeliz
![Page 5: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/5.jpg)
Revisando
Notação:
(p) O sol é verde
Notação:
(a) A Lua é um satélite da terra
Notação:
V(p) = F
V(a) = V
![Page 6: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/6.jpg)
Tabela da Verdade
Dispositivo que representa todos os possíveisvalores lógicos de uma proposição.
Representação:
Traduzindo: A proposição p pode assumir os valores V ou F.
p
V
F
![Page 7: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/7.jpg)
Tabela da Verdade
Utilização de duas proposições:
p q
V V
V F
F V
F F
p q Operação
V V
V F
F V
F F
![Page 8: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/8.jpg)
Operações Lógicas
Operações realizadas sobre as proposições;
Seguem a regra do cálculo proposicional:
Semelhante à aritmética sobre números.
![Page 9: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/9.jpg)
Operações Lógicas
Negação ( ~ )
Conjunção ( ˄ )
Disjunção ( ˅ )
Disjunção Exclusiva ( ˅ )
Condicional ( → )
Bicondicional ( ↔ )
![Page 10: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/10.jpg)
Negação (~)
A negação de uma proposição p é representadapor
“não p”;
“~p”.
O valor lógico é:
V quando p é falso;
F quando p é verdadeira.
![Page 11: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/11.jpg)
Negação (~)
Tabela Lógica:
p ~p
V F
F V
![Page 12: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/12.jpg)
Negação (~)
Exemplos:
r : Roma é a capital da França
p : 2+3=5
![Page 13: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/13.jpg)
Negação (~)
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 14: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/14.jpg)
Conjunção (˄)
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.
Indica concomitância de fatos
![Page 15: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/15.jpg)
Conjunção (˄)
Tabela Lógica:
p q p ^ q
V V V
V F F
F V F
F F F
![Page 16: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/16.jpg)
Conjunção (˄)
Exemplos:
p : A neve é branca
q : 2<5
r : 7 é um número primo
s : O céu é vermelho
![Page 17: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/17.jpg)
Conjunção (˄)
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 18: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/18.jpg)
Disjunção (˅)
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.
Pelo menos um de dois fatos ocorre
![Page 19: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/19.jpg)
Disjunção (˅)
Tabela Lógica:
p q p ˅ q
V V V
V F V
F V V
F F F
![Page 20: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/20.jpg)
Disjunção (˅)
Exemplos:
p : Paris é a capital da França
q : 9-4=5
r : 7 é um número primo
s : O céu é vermelho
![Page 21: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/21.jpg)
Disjunção (˅)
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 22: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/22.jpg)
Problema
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 23: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/23.jpg)
Disjunção Exclusiva ( ˅ )
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 24: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/24.jpg)
Disjunção Exclusiva ( ˅ )
Tabela da Verdade:
p q p ˅ q
V V F
V F V
F V V
F F F
![Page 25: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/25.jpg)
Disjunção Exclusiva ( ˅ )
Exemplos:
p : Mario é alagoano (V)
q : Mario é gaúcho (F)
r : O carro é preto (V)
s : O carro é importado (V)
![Page 26: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/26.jpg)
Disjunção Exclusiva ( ˅ )
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 27: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/27.jpg)
Condicional ( → )
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 28: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/28.jpg)
Condicional ( → )
“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 29: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/29.jpg)
Condicional ( → )
Tabela da Verdade:
p q p → q
V V V
V F F
F V V
F F V
![Page 30: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/30.jpg)
Condicional ( → )
Exemplos:
r : Choveu (V)
s : Está molhado (V)
![Page 31: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/31.jpg)
Condicional ( → )
Exemplos:
r : Choveu (V)
s : Está molhado (V)
r → s : Se Choveu, então está molhado. (V)
![Page 32: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/32.jpg)
Bicondicional ( ↔ )
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 ambasfalsas;
F nos demais casos.
![Page 33: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/33.jpg)
Bicondicional ( ↔ )
Tabela da Verdade:
p q p ↔ q
V V V
V F F
F V F
F F V
![Page 34: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/34.jpg)
Bicondicional ( ↔ )
Exemplos:
p : Será aprovado (V)
q : Estudar (V)
p : Será aprovado (V)
q : Estudar (F)
![Page 35: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/35.jpg)
Bicondicional ( ↔ )
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 36: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/36.jpg)
Dúvidas?
![Page 37: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/37.jpg)
Exercício
Sejam as proposições:
p : Está Frio
q : Está chovendo
Traduzir para a linguagem corrente:
~p
~q
p ˄ q
p ˅ q
p ˅ q
p → q
p ↔ q
![Page 38: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/38.jpg)
Exercício
Utilizando as mesmas proposições:
p : Está Frio
q : Está chovendo
Traduzir para a linguagem corrente:
~p ˄ ~q
p → ~q
p ˅ ~q
~~p
p ˄ ~~q
![Page 39: Aula 03 Operações Lógicas sobre Proposições · 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](https://reader033.vdocuments.pub/reader033/viewer/2022060711/60777eafc3f8cb16cd21c724/html5/thumbnails/39.jpg)
Exercício
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