aula 07 construção de tabelas da verdade...utilização de parênteses os parênteses mudam a...

30
Aula 07 Construção de Tabelas da Verdade Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes http://www3.ifrn.edu.br/~brunogomes

Upload: others

Post on 22-Aug-2020

3 views

Category:

Documents


0 download

TRANSCRIPT

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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.