FACULDADE SENAC - POA

UNIDADE CURRICULAR: Fundamentos Computacionais

CURSO: ADS DOCENTE: Magda Leyser (mleyser@senacrs.com.br)

Lista de Exercícios 2 – Tabela – verdade e Classificação das fórmulas

Exercício 1. Construa a tabela-verdade dos 3 grupos de fórmulas abaixo, observando a ordem de avaliação da esquerda para direita e que a precedência
estabelecida para os símbolos lógicos é: parênteses, negação, conjunção, disjunção, condicional e bi condicional.
Relembrando a definição das atribuições de valores-verdade dos conetivos na seguinte tabela:
P Q P PQ PQ (P→Q) (PQ)
V V F V V V V
V F F F V F F
F V V F V V F
F F V F F V V

a) (RR) a) (PP) a) (P→P)

b) (P (Q Q)) b) ((S→P)  (S→P))
b) ((S→P)  S → P)
c) (P  (Q Q)) c) (A(B→A) →B)
c) (A(B→A) →B)
d)  (P Q) →S d) ((AB)(AB))
d) ((AB)(AB))
e) (( P( Q →Q))) e) ((A→ B) (A→B))
e) ((A→ B) (B→A))
f) ((P →RQ)  (P→S)  (S→ RQ))
f) ((P →RQ)  (P→S)  S→ RQ)

Após a construção da tabela verdade, classifique o resultado da avalição do último conetivo conforme a definição abaixo.
Seja  uma fórmula proposicional. Considerem-se todas as possíveis atribuições de valor-verdade para os símbolos proposicionais de . Diz-se
que  é uma tautologia se todas as interpretações de  são verdadeiras. Diz-se que  é uma contradição se todas as interpretações de  são falsas. Diz-
se que  é uma indeterminação (contingência ou sofisma) se existe pelo menos uma atribuição de valor-verdade que fornece uma interpretação falsa
para  e existe outra atribuição de valor-verdade para os símbolos proposicionais que fornece uma interpretação verdadeira para . Representado pelo
seguinte esquema:
Resposta

a) (RR)
Nesta fórmula temos o símbolo proposicional R, ou seja, 1 símbolo proposicional que deverão ser avaliados com V ou F, portanto na construção da tabela-
verdade teremos 21=2 linhas de valor-lógico

R R (RR)
V F F
F V F
Observando que todas as linhas da última coluna da tabela verdade da fórmula são falsas, então classificamos a fórmula (RR) como uma Contradição.

b) (P (Q Q))

Nesta fórmula temos os símbolos proposicionais P e Q, ou seja, 2 símbolos proposicionais que deverão ser avaliados com V ou F, portanto na construção
da tabela-verdade teremos 22=4 linhas de valor lógico.

P Q Q (Q Q) (P (Q Q))

V V F F F
V F V F F
F V F F F
F F V F F

2
Observando que todas as linhas da última coluna da tabela verdade da fórmula são falsas, então a classificação da fórmula (P (Q Q)) é uma
Contradição.

c) (P  (Q Q))

P Q Q (Q Q)  (Q Q) (P (Q Q))
V V F F V F
V F V F V F
F V F F V F
F F V F V F
Observando que todas as linhas da última coluna da tabela verdade da fórmula são falsas, então classificamos a fórmula (P (Q Q)) como uma
Contradição.

d)  (P Q) →S

Nesta fórmula temos os símbolos proposicionais P , Q e S, ou seja, 3 símbolos proposicionais que deverão ser avaliados com V ou F, portanto na construção
da tabela-verdade teremos 23=8 linhas de valor-lógico

P Q S (P Q)  (P Q)  (P Q) →S

V V V V F V
V V F V F V
V F V F V V
V F F F V F
F V V F V V
F V F F V F
F F V F V V
F F F F V F

Observando que todas as linhas da última coluna da tabela verdade da fórmula temos duas linhas falsas, e, as demais linhas verdadeiras, então classificamos
a fórmula  (P Q) →S como uma Indeterminação.

3
 e) (( P( Q →Q)))

P Q P ( Q→Q) (P ( Q →Q) ) (P ( Q →Q) )

V V F V V F
V F F V V F
F V V V V F
F F V V V F
Observando que todas as linhas da última coluna da tabela verdade da fórmula são falsas, então classificamos a fórmula (P(Q →Q)) como uma
Contradição.

a) (PP)
P P (P P )
V F V
F V V

Observando que todas as linhas da última coluna da tabela verdade da fórmula são verdadeiras, então classificamos a fórmula (P P) como uma
Tautologia.

b) ((S→P)  S → P)

S P (S→P) S (S→P) S (S→P)→P

V V V V V
V F F F V
F V V F V
F F V F V

4
Observando que todas as linhas da última coluna da tabela verdade da fórmula são verdadeiras, então classificamos a fórmula (S (S→P)→P) como
uma Tautologia.

c) (A(B→A) →B)

A B A (B→A) A(B→A) B (A(B→A) →B)

V V F V F F V
V F F V F V V
F V V F F F V
F F V V V V V

Observando que todas as linhas da última coluna da tabela verdade da fórmula são verdadeiras, então classificamos a fórmula (A(B→A) →B)
como uma Tautologia.

d) ((AB)(AB))

A B (AB) (AB) A B (AB) (AB)(AB)

V V V F F F F V
V F F V F V V V
F V F V V F V V
F F F V V V V V
Observando que todas as linhas da última coluna da tabela verdade da fórmula são verdadeiras, então classificamos a fórmula (AB)(AB)
como uma Tautologia.

5
e) ((A→ B) (B→A))

A B (A→B) B A (B→A) ((A→ B) (B→A))

V V V F F V V
V F F V F F V
F V V F V V V
F F V V V V V

Observando que todas as linhas da última coluna da tabela verdade da fórmula são verdadeiras, então classificamos a fórmula ((A→ B)
(B→A)) como uma Tautologia.

f) ((P →RQ)  (P→S)  S→ RQ)

Nesta fórmula temos os símbolos proposicionais P, R, Q e S, ou seja, 4 símbolos proposicionais que deverão ser avaliados com V ou F, portanto
na construção da tabela-verdade teremos 24=16 linhas de valor lógico

P Q R S
V V V V
V V V F
V V F V
V V F F
V F V V
V F V F
V F F V
V F F F
F V V V
F V V F
F V F V
F V F F
F F V V
F F V F
F F F V
F F F F

6
((P →RQ)  (P→S)  S→ RQ)

P Q R S P Q RQ (P →RQ)

V V V V F F V V
V V V F F F V V
V V F V F F F V
V V F F F F F V
V F V V F V V V
V F V F F V V V
V F F V F V V V
V F F F F V V V
F V V V V F V V
F V V F V F V V
F V F V V F F F
F V F F V F F F
F F V V V V V V
F F V F V V V V
F F F V V V V V
F F F F V V V V

7
((P →RQ)  (P→S)  S→ RQ)

• *
P Q R S P Q RQ (P →RQ) (P→S) S (P →RQ)  (P→S)  S *→ •
V V V V F F V V V F F V
V V V F F F V V F V F V
V V F V F F F V V F F V
V V F F F F F V F V F V
V F V V F V V V V F F V
V F V F F V V V F V F V
V F F V F V V V V F F V
V F F F F V V V F V F V
F V V V V F V V V F F V
F V V F V F V V V V V V
F V F V V F F F V F F V
F V F F V F F F V V F V
F F V V V V V V V F F V
F F V F V V V V V V V V
F F F V V V V V V F F V
F F F F V V V V V V V V

Observando que todas as linhas da última coluna da tabela verdade da fórmula são verdadeiras, então classificamos a fórmula
((P →RQ)  (P→S)  S→ RQ) como uma Tautologia.

8
 a) (P→P)

P P (P →P)
V F V
F V F
Observando que há pelo menos uma linha verdadeira e outra falsa na avaliação final da fórmula, então classificamos a fórmula (P→P) como uma
Indeterminação (sofisma ou contingência).

b) ((S→P)  (S→P))

S P (S→P) (S→P)  (S→P)

V V V V
V F F F
F V V V
F F V V
Observando que há pelo menos uma linha verdadeira e outra falsa na avaliação final da fórmula, então classificamos a fórmula ((S→P)  (S→P)) como
uma Indeterminação (sofisma ou contingência).

c) (A(B→A) →B)

A B A (B→A) A(B→A) (A(B→A) →B)

V V F V F V
V F F V F V
F V V F F V
F F V V V F

Observando que há pelo menos uma linha verdadeira e outra falsa na avaliação final da fórmula, então classificamos a fórmula
(A(B→A) →B) como uma Indeterminação (sofisma ou contingência).

9
 d) ((AB)(AB))

A B (AB) (AB) A B (AB) (AB)(AB)

V V V F F F F V
V F F V F V F F
F V F V V F F F
F F F V V V V V
Observando que há pelo menos uma linha verdadeira e outra falsa na avaliação final da fórmula, então classificamos a fórmula ((AB)(AB))
como uma Indeterminação (sofisma ou contingência).

e) ((A→ B) (A→B))

A B (A→B) A B (A →B) (A→B)  (A →B)

V V V F F V V
V F F F V V F
F V V V F F F
F F V V V V V

Observando que há pelo menos uma linha verdadeira e outra falsa na avaliação final da fórmula, então classificamos a fórmula (A→B)  (A →B)
como uma Indeterminação (sofisma ou contingência).

10
 f) ((P →RQ)  (P→S)  (S→ RQ))

• *
P Q R S P Q RQ (P →RQ) (P→S) (S→ RQ) (S→ RQ) •*
V V V V F F V V V V F F
V V V F F F V V F V F F
V V F V F F F V V F V V
V V F F F F F V F V F F
V F V V F V V V V V F F
V F V F F V V V F V F F
V F F V F V V V V V F F
V F F F F V V V F V F F
F V V V V F V V V V F F
F V V F V F V V V V F F
F V F V V F F F V F V F
F V F F V F F F V V F F
F F V V V V V V V V F F
F F V F V V V V V V F F
F F F V V V V V V V F F
F F F F V V V V V V F F

Observando que há pelo menos uma linha verdadeira e outra falsa na avaliação final da fórmula, então classificamos a fórmula
((P →RQ)  (P→S)  (S→ RQ)) como uma Indeterminação (sofisma ou contingência).

11
Exercício 2: Construa a tabela-verdade das fórmulas e classifique o resultado em tautologia, indeterminação ou contradição.

a) (A A)→A

b)  (A B)(C→B)→( AC)

c) P ∧ (¬P ∨ Q) → Q

d) (P ∧ Q) ∧ R ↔ R ∨ (¬P ∨ ¬Q)

e) (PQ)  (QP)

f) (PQ)  (Q→R) P →R

g) (Q (PQ))  (P→Q)

h) (PQ)  (QP)

i) (PQ)  (Q→R) P →R

j) (Q (PQ))  (P→Q)

12