Tautologia e

Contradição
Tabela-Verdade
para Fórmulas
Complexas
1
 ▪ Na lógica clássica, os valores verdade podem ser dois:
▪ Verdadeiro (V)
▪ Falso (F)

▪ O valor verdade de uma fórmula é determinado com base nos valores

verdade de suas variáveis proposicionais e a semântica dos seus
conectivos.
p q p  q p q p  q p q p → q p q p  q
p ~p V V V V V V V V V V V V
V F V F F V F V V F F V F F
F V F V F F V V F V V F V F
F F F F F F F F V F F V 2
▪ Exemplo:
▪ Considerando p = V, q = F e r = V, determine o valor verdade da seguinte fórmula:

p  q → ~(r  p) = ?

3
▪ Exemplo:
▪ Considerando p = V, q = F e r = V, determine o valor verdade da seguinte fórmula:

p  q → ~(r  p) = ?

4
▪ Exemplo:
▪ Considerando p = V, q = F e r = V, determine o valor verdade da seguinte fórmula:

p  q → ~(r  p) = ?
pq=? ~(r  p) = ?

5
▪ Exemplo:
▪ Considerando p = V, q = F e r = V, determine o valor verdade da seguinte fórmula:

p  q → ~(r  p) = ?
pq=? ~(r  p) = ?
p=V q=F

6
▪ Exemplo:
▪ Considerando p = V, q = F e r = V, determine o valor verdade da seguinte fórmula:

p  q → ~(r  p) = ?
pq=V ~(r  p) = ?
p=V q=F

7
▪ Exemplo:
▪ Considerando p = V, q = F e r = V, determine o valor verdade da seguinte fórmula:

p  q → ~(r  p) = ?
pq=V ~(r  p) = ?
p=V q=F rp=?

8
▪ Exemplo:
▪ Considerando p = V, q = F e r = V, determine o valor verdade da seguinte fórmula:

p  q → ~(r  p) = ?
pq=V ~(r  p) = ?
p=V q=F rp=?
r=V p=V

9
▪ Exemplo:
▪ Considerando p = V, q = F e r = V, determine o valor verdade da seguinte fórmula:

p  q → ~(r  p) = ?
pq=V ~(r  p) = ?
p=V q=F rp=V
r=V p=V

10
▪ Exemplo:
▪ Considerando p = V, q = F e r = V, determine o valor verdade da seguinte fórmula:

p  q → ~(r  p) = ?
pq=V ~(r  p) = F
p=V q=F rp=V
r=V p=V

11
▪ Exemplo:
▪ Considerando p = V, q = F e r = V, determine o valor verdade da seguinte fórmula:

p  q → ~(r  p) = F
pq=V ~(r  p) = F
p=V q=F rp=V
r=V p=V

12
▪ Exemplo:
▪ Considerando p = V, q = F e r = V, determine o valor verdade da seguinte fórmula:

p  q → ~(r  p) = F
pq=V ~(r  p) = F
p=V q=F rp=V
r=V p=V

sub[p  q → ~(r  p)] = { p , q , r , r  p, ~(r  p), p  q, p  q → ~(r  p)}

13
▪ Exemplo:
▪ Considerando p = V, q = F e r = V, determine o valor verdade da seguinte fórmula:

p  q → ~(r  p) = F

14
▪ Uma FBF A é satisfazível caso haja pelo menos uma combinação de
valores para suas variáveis proposicionais tal que A = V
▪ Uma FBF A é falsificável caso haja pelo menos uma combinação de
valores para suas variáveis proposicionais tal que A = F
▪ Uma FBF A é uma contradição caso qualquer combinação de valores
para suas variáveis proposicionais tornem A = F
▪ Uma FBF A é uma tautologia caso qualquer combinação de valores
para suas variáveis proposicionais tornem A = V

15
▪ Voltando ao exemplo, sabemos que para os valores de p = V, q = F e r
= V temos:
p  q → ~(r  p) = F

16
▪ Voltando ao exemplo, sabemos que para os valores de p = V, q = F e r
= V temos:
p  q → ~(r  p) = F

▪ Esta fórmula é falsificável e não é uma tautologia.

17
▪ Voltando ao exemplo, sabemos que para os valores de p = V, q = F e r
= V temos:
p  q → ~(r  p) = F

▪ Esta fórmula é falsificável e não é uma tautologia

▪ Será que ela é satisfazível ou é uma contradição?

18
▪ Permite obter todos os valores possíveis para uma determinada
fórmula e assim classificá-la.
▪ Para construir a tabela-verdade para uma fórmula, deve-se considerar
todas as possíveis combinações de valores para as variáveis
proposicionais que aparecem nela.

19
▪ Para nosso exemplo, p  q → ~(r  p) temos as seguintes
combinações para p, q e r:

20
▪ Para nosso exemplo, p  q → ~(r  p) temos as seguintes
combinações para p, q e r:
▪ p = V, q = V, r = V
▪ p = V, q = V, r = F
▪ p = V, q = F, r = V
▪ p = V, q = F, r = F
▪ ...
▪ p = F, q = F, r = F

21
▪ Para nosso exemplo, p  q → ~(r  p) temos as seguintes
combinações para p, q e r:
▪ p = V, q = V, r = V
▪ p = V, q = V, r = F
▪ p = V, q = F, r = V
▪ p = V, q = F, r = F 2n
▪ ...
▪ p = F, q = F, r = F

22
▪ Para nosso exemplo, p  q → ~(r  p) temos as seguintes
combinações para p, q e r:
▪ p = V, q = V, r = V
▪ p = V, q = V, r = F
▪ p = V, q = F, r = V
▪ p = V, q = F, r = F 2n = 8
▪ ...
▪ p = F, q = F, r = F

23
▪ Para nosso exemplo, p  q → ~(r  p) temos as seguintes
combinações para p, q e r:
▪ p = V, q = V, r = V
▪ p = V, q = V, r = F
▪ p = V, q = F, r = V
▪ p = V, q = F, r = F 2n = 8
▪ ...
▪ p = F, q = F, r = F

▪ Para cada combinação de valores, deve-se calcular o valor verdade da

fórmula, usando os valores verdade de suas subfórmulas para obter o
resultado.
24
▪ Exemplo: p  q → ~(r  p)

p q r pq rp ~(r  p) p  q → ~(r  p)

V V V V V F F
V V F V F V V
V F V V V F F
V F F V F V V
F V V V F V V
F V F V F V V
F F V F F V V
F F F F F V V
26
▪ Exemplo: p  q → ~(r  p)

p q r pq rp ~(r  p) p  q → ~(r  p)

V V V V V F F
V V F V F V V
V F V V V F F
V F F Falsificável
V e Satisfazível
F V V
F V V V F V V
F V F V F V V
F F V F F V V
F F F F F V V
27
▪ Construa a tabela-verdade para as fórmulas a seguir e classifique-as:
a) (p → q)  (q → p)
b) (p  ~p) → (q  ~q)
c) (p  q)  (~q  ~p)

28
▪ Construa a tabela-verdade para as fórmulas a seguir e classifique-as:
a) (p → q)  (q → p)
Satisfazível e
Falsificável

p q p → q q → p (p → q)  (q → p)
V V V V V

V F F V F

F V V F F

F F V V V
30
▪ Construa a tabela-verdade para as fórmulas a seguir e classifique-as:
b) (p  ~p) → (q  ~q) Satisfazível e
Tautologia

p q ~p ~q p  ~p q  ~q (p  ~p) → (q  ~q)
V V F F V V V

V F F V V V V

F V V F V V V

F F V V V V V

32
▪ Construa a tabela-verdade para as fórmulas a seguir e classifique-as:
c) (p  q)  (~q  ~p) Falsificável e
Contradição

p q ~p ~q pq ~q  ~p (p  q)  (~q  ~p)

V V F F V F F

V F F V F V F

F V V F F V F

F F V V F V F

34