Algoritmos

Construção de
Tabelas Verdade

Adorilson Bezerra
adorilson.bezerra@ifrn.edu.br
http://docente.ifrn.edu.br/adorilsonbezerra
 Construção de
Tabelas Verdade

Introdução
Dadas as proposições simples p, q, r... podemos combiná-
las usando conectivos:
~ ˄ ˅ ⩡ → ↔
e construir proposições compostas:
P(p, q) = ~p ˅ (p → q)
Q(p, q, r) = (p ↔ ~q) ˄ q
R(p, q, r) = (p ↔ ~q ˅ r) ˄ ~(q ˅ (p ↔ ~r))

V(P) = ???
V(Q) = ???
V(R) = ???
 Construção de
Tabelas Verdade

Objetivo:
Procedimento sistemático para construção
de tabela verdade para proposições
compostos, a fim de determinar seus
valores lógicos em função dos valores
lógicos das proposições formadoras
 Construção de
Tabelas Verdade

Número de linhas
2n => n é o números proposições
simples formadores da composta
Exemplo:
R(p, q, r) = (p ↔ ~q ˅ r) ˄ ~(q ˅ (p ↔ ~r))

2³ = 8
 Construção de
Tabelas Verdade
p q r R(p, q, r)
Exemplo 1 V V V
R(p, q, r) = (p ↔ ~q ˅ r) ˄
2 V V F
~(q ˅ (p ↔ ~r))
3 V F V

Nº de linhas = 2³ = 8 4 V F F

5 F V V

6 F V F

7 F F V

8 F F F

Fator de alternância => 2² 2¹ 2⁰

 Construção de
Tabelas Verdade

1ª RESOLUÇÃO
1.Forma-se as colunas correspondentes
às proposições simples
2.Forma-se as colunas para cada
operação por ordem de precedência
a)Repete até a operação final
 Construção de
Tabelas Verdade
Precedência dos operadores
lógicos e outros símbolos

Outros
Ordem Operação Símbolo
símbolos

1 Negação ~ ˥

2 Conjunção ˄ ᐧ &

3 Disjunção ⩡
4 Condicional → ᑐ

5 Bicondicional ↔
 Construção de
Tabelas Verdade

1ª RESOLUÇÃO
Ex. P(p, q)= ~(p^~q)
p q ~q p ^ ~q ~(p ^ ~q)
1 V V F F V

2 V F V V F

3 F V F F V

4 F F V F V

Ordem de preenchimento => 1 1 2 3 4

 Construção de
Tabelas Verdade

2ª RESOLUÇÃO
1.Formam-se as colunas correspondentes
às proposições simples
2.Formam-se as colunas para cada
conectivo e proposição simples
3.As colunas são preenchidas pela ordem
de precedência
a)Repete até a operação final
 Construção de
Tabelas Verdade

2ª RESOLUÇÃO
Ex. P(p, q)= ~(p^~q)
p q ~ (p ^ ~ q)
1 V V V V F F V

2 V F F V V V F

3 F V V F F F V

4 F F V F F V F

Ordem de preenchimento => 4 1 3 2 1

(os passos 1 são apenas replicação
das colunas mais a esquerda (p e q))
 Construção de
Tabelas Verdade

3ª RESOLUÇÃO
Eliminando-se as primeiras colunas da 2ª
resolução, tem se uma tabela-verdade
simplificada
 Construção de
Tabelas Verdade

3ª RESOLUÇÃO
Ex. P(p, q)= ~(p^~q)
~ (p ^ ~ q)
1 V V F F V

2 F V V V F

3 V F F F V

4 V F F V F

Ordem de preenchimento => 4 1 3 2 1

 Construção de
Tabelas Verdades

Exercícios:
1) Fazer as tabelas-verdade das proposições
abaixo nas 3 formas de resolução:
a)P(p, q) = ~(p ^ q) v ~(q ↔ p)
b)P(p, q, r) = p v ~r → q ^ ~r
c)P(p, q, r) = (p→ q)^(q→r)→(p→r)
d)P(p, q, r) = (p→(~q v r))^~(q v (p ↔ ~r))
e)P(p, q) = ~(p v q) ↔ ~p ^ ~q
 Construção de
Tabelas Verdade

Exercícios para casa

1) Capítulo 3 do livro Iniciação

à Lógica Matemática
→ Ler capítulo e fazer os
exercícios
Perguntas
 Referências e créditos

Leitura Obrigatória

Alencar Filho, Edgard de. Iniciação à lógica matemática. São

Paulo: Nobel, 2002.
 Referências e créditos

Leitura recomendada

Lógica matemática
http://bianchi.pro.br/logicamat/logicamatematica.php

Lógica https://pt.wikipedia.org/wiki/L%C3%B3gica

Lógica Matemática https://pt.wikipedia.org/wiki/L

%C3%B3gica_matem%C3%A1tica

RACIOCÍNIO LÓGICO DESCOMPLICADO - TABELA VERDADE

https://www.youtube.com/watch?v=tyLgDVuMt1I
 Licença

Este trabalho foi licenciado com a Licença

Creative Commons Atribuição - CompartilhaIgual
3.0 Não Adaptada. Para ver uma cópia desta
licença, visite
http://creativecommons.org/licenses/by-sa/3.0/
ou envie um pedido por carta para Creative
Commons, 444 Castro Street, Suite 900,
Mountain View, California, 94041, USA.