Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a...
Transcript of Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a...
![Page 1: Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a ordem de precedência dos conectivos; O que estiver entre parênteses, executam primeiro,](https://reader035.fdocumentos.tips/reader035/viewer/2022081614/5fccef706f26df5ef44e8bdc/html5/thumbnails/1.jpg)
Aula 07 – Construção de Tabelas
da Verdade
Disciplina: Fundamentos de Lógica e Algoritmos
Prof. Bruno Gomes
http://www3.ifrn.edu.br/~brunogomes
![Page 2: Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a ordem de precedência dos conectivos; O que estiver entre parênteses, executam primeiro,](https://reader035.fdocumentos.tips/reader035/viewer/2022081614/5fccef706f26df5ef44e8bdc/html5/thumbnails/2.jpg)
Agenda da Aula
Utilização de Parênteses em Operações Lógicassobre Proposições;
Construção de Tabelas da Verdade;
![Page 3: Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a ordem de precedência dos conectivos; O que estiver entre parênteses, executam primeiro,](https://reader035.fdocumentos.tips/reader035/viewer/2022081614/5fccef706f26df5ef44e8bdc/html5/thumbnails/3.jpg)
Revisando
Representação da Tabela da Verdade:
p q
V V
V F
F V
F F
p q Operação
V V
V F
F V
F F
p
V
F
![Page 4: Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a ordem de precedência dos conectivos; O que estiver entre parênteses, executam primeiro,](https://reader035.fdocumentos.tips/reader035/viewer/2022081614/5fccef706f26df5ef44e8bdc/html5/thumbnails/4.jpg)
Revisando
Operações Lógicas:
Negação ( ~ )
Conjunção ( ˄ )
Disjunção ( ˅ )
Disjunção Exclusiva ( ˅ )
Condicional ( → )
Bicondicional ( ↔ )
![Page 5: Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a ordem de precedência dos conectivos; O que estiver entre parênteses, executam primeiro,](https://reader035.fdocumentos.tips/reader035/viewer/2022081614/5fccef706f26df5ef44e8bdc/html5/thumbnails/5.jpg)
Valor Lógico das Operações
A definição do valor Lógico final de umaproposição depende do conectivo que estiverutilizando.
Exemplo:
p : Maria é alta (V)
q : Maria é elegante (V)
Qual o valor lógico da proposição: p ˄ q ?
Resposta: V
![Page 6: Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a ordem de precedência dos conectivos; O que estiver entre parênteses, executam primeiro,](https://reader035.fdocumentos.tips/reader035/viewer/2022081614/5fccef706f26df5ef44e8bdc/html5/thumbnails/6.jpg)
Precedência de Conectivos
Quando a frase tiver vários conectivos, verificar aprecedência:
Negação ( ~ )
Conjunção ( ˄ ) e Disjunção ( ˅ )
Condicional ( → )
Bicondicional ( ↔ )
![Page 7: Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a ordem de precedência dos conectivos; O que estiver entre parênteses, executam primeiro,](https://reader035.fdocumentos.tips/reader035/viewer/2022081614/5fccef706f26df5ef44e8bdc/html5/thumbnails/7.jpg)
Exemplo
p : Jorge é rico (V)
q : Carlos é feliz (V)
Qual o valor lógico para:
p ˄ ~q → p (V)
![Page 8: Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a ordem de precedência dos conectivos; O que estiver entre parênteses, executam primeiro,](https://reader035.fdocumentos.tips/reader035/viewer/2022081614/5fccef706f26df5ef44e8bdc/html5/thumbnails/8.jpg)
UTILIZAÇÃO DE PARÊNTESES EM OPERAÇÕES LÓGICAS
![Page 9: Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a ordem de precedência dos conectivos; O que estiver entre parênteses, executam primeiro,](https://reader035.fdocumentos.tips/reader035/viewer/2022081614/5fccef706f26df5ef44e8bdc/html5/thumbnails/9.jpg)
Utilização de Parênteses
Os parênteses mudam a ordem de precedência dosconectivos;
O que estiver entre parênteses, executam primeiro,independente da ordem de precedência.
Exemplos: p ˅ p ˄ q p ˅ (p ˄ q)
p → ~q ˄ p (p → ~q) ˄ p
![Page 10: Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a ordem de precedência dos conectivos; O que estiver entre parênteses, executam primeiro,](https://reader035.fdocumentos.tips/reader035/viewer/2022081614/5fccef706f26df5ef44e8bdc/html5/thumbnails/10.jpg)
CONSTRUÇÃO DE TABELAS DA VERDADE
![Page 11: Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a ordem de precedência dos conectivos; O que estiver entre parênteses, executam primeiro,](https://reader035.fdocumentos.tips/reader035/viewer/2022081614/5fccef706f26df5ef44e8bdc/html5/thumbnails/11.jpg)
Introdução
As proposições simples são combinadas atravésdos conectivos:
não
e
ou
ou ... ou ...
se ..., então ....
... se somente se ....
![Page 12: Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a ordem de precedência dos conectivos; O que estiver entre parênteses, executam primeiro,](https://reader035.fdocumentos.tips/reader035/viewer/2022081614/5fccef706f26df5ef44e8bdc/html5/thumbnails/12.jpg)
Introdução
Exemplos de construção de Tabelas da Verdade:
p ~p
V F
F V
p q p ^ q
V V V
V F F
F V F
F F F
![Page 13: Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a ordem de precedência dos conectivos; O que estiver entre parênteses, executam primeiro,](https://reader035.fdocumentos.tips/reader035/viewer/2022081614/5fccef706f26df5ef44e8bdc/html5/thumbnails/13.jpg)
Nº de Linhas
Depende do número de proposições simples quea integram.
Teorema:
“A tabela-verdade de uma proposição composta com nproposições simples componentes contém 2n linhas”
![Page 14: Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a ordem de precedência dos conectivos; O que estiver entre parênteses, executam primeiro,](https://reader035.fdocumentos.tips/reader035/viewer/2022081614/5fccef706f26df5ef44e8bdc/html5/thumbnails/14.jpg)
Nº de Linhas
Exemplo:
p q
V V
V F
F V
F F
p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
2 proposições22
3 Proposições23
![Page 15: Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a ordem de precedência dos conectivos; O que estiver entre parênteses, executam primeiro,](https://reader035.fdocumentos.tips/reader035/viewer/2022081614/5fccef706f26df5ef44e8bdc/html5/thumbnails/15.jpg)
Construção
Tabela da Verdade de uma proposiçãocomposta:
Contar o número de proposições simples que aintegram;
Verificar quantas linhas terá a tabela.
![Page 16: Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a ordem de precedência dos conectivos; O que estiver entre parênteses, executam primeiro,](https://reader035.fdocumentos.tips/reader035/viewer/2022081614/5fccef706f26df5ef44e8bdc/html5/thumbnails/16.jpg)
Exemplo – 1ª Forma
P(p,q) = ~(p ˄ ~q)
Montando a Tabela da Verdade:
p q ~q p ˄ ~q ~(p ˄ ~q)
V V
V F
F V
F F
![Page 17: Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a ordem de precedência dos conectivos; O que estiver entre parênteses, executam primeiro,](https://reader035.fdocumentos.tips/reader035/viewer/2022081614/5fccef706f26df5ef44e8bdc/html5/thumbnails/17.jpg)
Exemplo – 1ª Forma
P(p,q) = ~(p ˄ ~q)
Preenchendo a Tabela:
p q ~q p ˄ ~q ~(p ˄ ~q)
V V F
V F V
F V F
F F V
![Page 18: Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a ordem de precedência dos conectivos; O que estiver entre parênteses, executam primeiro,](https://reader035.fdocumentos.tips/reader035/viewer/2022081614/5fccef706f26df5ef44e8bdc/html5/thumbnails/18.jpg)
Exemplo – 1ª Forma
P(p,q) = ~(p ˄ ~q)
Preenchendo a Tabela:
p q ~q p ˄ ~q ~(p ˄ ~q)
V V F F
V F V V
F V F F
F F V F
![Page 19: Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a ordem de precedência dos conectivos; O que estiver entre parênteses, executam primeiro,](https://reader035.fdocumentos.tips/reader035/viewer/2022081614/5fccef706f26df5ef44e8bdc/html5/thumbnails/19.jpg)
Exemplo – 1ª Forma
P(p,q) = ~(p ˄ ~q)
Preenchendo a Tabela:
p q ~q p ˄ ~q ~(p ˄ ~q)
V V F F V
V F V V F
F V F F V
F F V F V
![Page 20: Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a ordem de precedência dos conectivos; O que estiver entre parênteses, executam primeiro,](https://reader035.fdocumentos.tips/reader035/viewer/2022081614/5fccef706f26df5ef44e8bdc/html5/thumbnails/20.jpg)
Exemplo – 2ª Forma
P(p,q) = ~(p ˄ ~q)
Montando a Tabela:
p q ~ (p ˄ ~ q)
V V
V F
F V
F F
![Page 21: Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a ordem de precedência dos conectivos; O que estiver entre parênteses, executam primeiro,](https://reader035.fdocumentos.tips/reader035/viewer/2022081614/5fccef706f26df5ef44e8bdc/html5/thumbnails/21.jpg)
Exemplo – 2ª Forma
P(p,q) = ~(p ˄ ~q)
Preenchendo a Tabela:
p q ~ (p ˄ ~ q)
V V V V
V F V F
F V F V
F F F F
1 1
![Page 22: Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a ordem de precedência dos conectivos; O que estiver entre parênteses, executam primeiro,](https://reader035.fdocumentos.tips/reader035/viewer/2022081614/5fccef706f26df5ef44e8bdc/html5/thumbnails/22.jpg)
Exemplo – 2ª Forma
P(p,q) = ~(p ˄ ~q)
Preenchendo a Tabela:
p q ~ (p ˄ ~ q)
V V V F V
V F V V F
F V F F V
F F F V F
1 2 1
![Page 23: Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a ordem de precedência dos conectivos; O que estiver entre parênteses, executam primeiro,](https://reader035.fdocumentos.tips/reader035/viewer/2022081614/5fccef706f26df5ef44e8bdc/html5/thumbnails/23.jpg)
Exemplo – 2ª Forma
P(p,q) = ~(p ˄ ~q)
Preenchendo a Tabela:
p q ~ (p ˄ ~ q)
V V V F F V
V F V V V F
F V F F F V
F F F F V F
1 3 2 1
![Page 24: Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a ordem de precedência dos conectivos; O que estiver entre parênteses, executam primeiro,](https://reader035.fdocumentos.tips/reader035/viewer/2022081614/5fccef706f26df5ef44e8bdc/html5/thumbnails/24.jpg)
Exemplo – 2ª Forma
P(p,q) = ~(p ˄ ~q)
Preenchendo a Tabela:
p q ~ (p ˄ ~ q)
V V V V F F V
V F F V V V F
F V V F F F V
F F V F F V F
4 1 3 2 1
![Page 25: Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a ordem de precedência dos conectivos; O que estiver entre parênteses, executam primeiro,](https://reader035.fdocumentos.tips/reader035/viewer/2022081614/5fccef706f26df5ef44e8bdc/html5/thumbnails/25.jpg)
Representação
P(p,q) = ~(p ˄ ~q)
Tabela:
Simbolicamente:
P(VV)=V, P(VF)=F, P(FV)=V, P(FF)=V; ou
P(VV, VF, FV, FF)=VFVV
p q ~ (p ˄ ~ q)
V V V V F F V
V F F V V V F
F V V F F F V
F F V F F V F
4 1 3 2 1
![Page 26: Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a ordem de precedência dos conectivos; O que estiver entre parênteses, executam primeiro,](https://reader035.fdocumentos.tips/reader035/viewer/2022081614/5fccef706f26df5ef44e8bdc/html5/thumbnails/26.jpg)
Representação
Função P(p, q) associa a cada um dos elementos doconjunto U – {VV, VF, FV, FF} um único elemento {V, F}.
P(VV, VF, FV, FF)=VFVV
Diagrama Sagital:
VV .
VF .
FV .
FF .
. V
. F
![Page 27: Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a ordem de precedência dos conectivos; O que estiver entre parênteses, executam primeiro,](https://reader035.fdocumentos.tips/reader035/viewer/2022081614/5fccef706f26df5ef44e8bdc/html5/thumbnails/27.jpg)
Dúvidas?
![Page 28: Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a ordem de precedência dos conectivos; O que estiver entre parênteses, executam primeiro,](https://reader035.fdocumentos.tips/reader035/viewer/2022081614/5fccef706f26df5ef44e8bdc/html5/thumbnails/28.jpg)
Exercício
Construir a tabela da verdade para:
P(p,q) = ~(~p → ~q)
Resolver utilizando os dois métodos deconstrução da Tabela, e criar o Diagrama Sagital.
![Page 29: Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a ordem de precedência dos conectivos; O que estiver entre parênteses, executam primeiro,](https://reader035.fdocumentos.tips/reader035/viewer/2022081614/5fccef706f26df5ef44e8bdc/html5/thumbnails/29.jpg)
Exercício
Construir a tabela da verdade para:
P(p,q) = ~(p ˄ q) ˅ ~(q ↔ p)
Resolver utilizando os dois métodos deconstrução da Tabela, e criar o Diagrama Sagital.
![Page 30: Aula 07 Construção de Tabelas da Verdade...Utilização de Parênteses Os parênteses mudam a ordem de precedência dos conectivos; O que estiver entre parênteses, executam primeiro,](https://reader035.fdocumentos.tips/reader035/viewer/2022081614/5fccef706f26df5ef44e8bdc/html5/thumbnails/30.jpg)
Exercício
Construir a tabela da verdade para:
P(p, q, r) = p ˅ ~r → q ˄ ~r
Resolver utilizando os dois métodos deconstrução da Tabela, e criar o Diagrama Sagital.