FACULDADE SENAC - POA

UNIDADE CURRICULAR: Fundamentos Computacionais

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

Lista de Exercícios 1: Lógica Proposicional – alfabeto, interpretação dos conetivos e tabela-verdade

Exercício 1. Classifique as sentenças abaixo com P as sentenças declarativas (afirmativas, proposições), com I as sentenças interrogativas, com M as sentenças imperativas e
com E as sentenças exclamativas.
a) ( ) Antônio é filho de Pedro.
b) ( ) Pedro é canoense.
c) ( ) Quem nesta turma é brasileiro?
d) ( ) Algum avião é vermelho.
e) ( ) Maria, feche a porta e estude!
f) ( ) Como vai, tudo bem?
g) ( ) Mario é gaúcho e gremista.
h) ( ) Ah! Boa tarde!

Resposta: a)P. b)P. c)I. d)P. e)M. f)I. g)P. h)E.

Exercício 2. Formalize através dos símbolos de um alfabeto proposicional as sentenças abaixo:

a) Dois é número par, mas três é número ímpar.
b) Quatro ou sete é número par.
c) Quatro não é número par, portanto cinco é número par.
d) Se dois e quatro são números pares então oito é número par.
Resposta:Realizando a seguinte associação dos símbolos proposicionais:
D= Dois é número par.
I= Três é número ímpar.
S= Sete é número par.
C= Cinco é número par.
Q= Quatro é número par.
T=Oito é número par
a)(𝐷⋀𝐼)
b) (𝑄 ∨ 𝑆)
c) (𝑄 → 𝐶)
d) (𝐷 → 𝑇)

Exercício 3. Considerando o apresentado neste capítulo, determine se as sentenças abaixo são V (verdadeira) ou F (falsas).
a) O símbolo da disjunção é um símbolo lógico denominado de conetivo e sua representação é  . Em português é representado pela palavra ou.
b) O símbolo lógico denominado de conetivo do condicional é representado pelo símbolo  . Em português é representado pela palavra mas.
c) A frase Maria é filha de Pedro é um exemplo de sentença imperativa que não pode ser usada na Lógica proposicional, pois é um exemplo de sentença aberta.

1
 d) A formalização (A) é uma possibilidade na lógica proposicional para representar a sentença declarativa fechada: Maria não é filha de Pedro.
Resposta: a)V. b)F. c)F. d)V.
Exercício 4. Considere a sentença composta:

Mario é taxista, mas se Mário não é proprietário de carro então Mário é motorista.

A fórmula que simboliza no alfabeto proposicional essa sentença é:

a) ( ) P →( RS)
b) ( ) P (Q →S)
c) ( ) (P Q) →S
d) ( )  (P Q) →S
e) ( ) ( P  Q) →S

Justificativa
Mario é taxista, mas se Mário não é proprietário de carro então Mário é motorista
P=Mario é taxista
Q=Mário é proprietário de carro
S=Mário é motorista
Mario é taxista, mas se Mário não é proprietário de carro então Mário é motorista

P  (Q →S)
Resposta: b

2
Exercício 5. Qual das alternativas abaixo é a melhor representação pela lógica proposicional para a sentença declarativa composta:
Maria não é brasileira. Mas se Maria fosse Pernambucana então Maria seria brasileira. Logo Maria não é pernambucana.
a) ( ) (ABAB)
b) ( ) ((AB)→B)
c) ( ) (A(B→A) B)
d) ( ) (A(A→A) A)
e) ( ) (A(B→A) →B)

Maria não é brasileira. Mas se Maria fosse Pernambucana então Maria seria brasileira. Logo Maria não é pernambucana.
A= Maria seria brasileira.
B=Maria é Pernambucana.
Maria não é brasileira. Mas se Maria fosse Pernambucana então Maria seria brasileira. Logo Maria não é pernambucana.

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

Resposta: e.

Exercício 6. Formalize as seguintes frases na Lógica Proposicional, indicando os símbolos proposicionais utilizados
e fornecendo o significado de cada símbolo utilizado.
Após, determine o valor-lógico da frase, justificando sua resposta através da identificação do(s) conetivo(s) presente(s) na frase.

a) Dois ou quatro é número par.

b) Sete e quatro são números pares.
c) Dois é número par, mas sete não é um número par.
d) Dois ou cinco é número par.
e) Sete ou cinco é um número par.
f) Cinco não é número par, entretanto quatro é um número par.

3
g) Se oito dividido por dois tem resto igual a zero então oito é um número par.
h) Se nove dividido por dois tem resto igual a zero então nove é um número par.
i) Se nove é um número par então nove dividido por dois tem resto igual a zero.
j) Oito dividido por dois tem resto igual a zero se e somente se oito é um número par.
k) Cinco é número primo, pois os divisores de cinco são um e cinco. Portanto com os divisores de quatro são um, dois e quatro, temos que quatro não é primo.
l) Como nove dividido por dois não tem resto igual a zero então: nove é ímpar.

Resposta: Realizando a seguinte associação dos símbolos proposicionais:

D= Dois é número par. Valor-lógico verdadeiro
I= Três é número ímpar. Valor-lógico verdadeiro
S= Sete é número par. Valor-lógico falso
C= Cinco é número par. Valor-lógico falso
Q= Quatro é número par. Valor-lógico verdadeiro
T=Oito é número par. Valor-lógico verdadeiro
A= Oito dividido por dois têm resto igual a zero.
R= Nove é um número par.
B= Nove dividido por dois têm resto igual a zero.
E=Cinco é divisor de cinco.
U=Um é divisores de cinco.
M= Cinco é primo.
N= Um é divisores de quatro.
O= Dois é divisores de quatro.
P= Quatro é divisores de quatro.
W= Quatro é primo.
Z= Nove é impar.

a)(𝐷 ∨ 𝑄) valor-lógico verdadeiro pois é a disjunção de duas proposições verdadeira.

b) (𝑆 ∧ 𝑄) valor-lógico falso pois é a conjunção de uma proposição falsa com uma verdadeira.
c) (𝐷 ∧  𝑆) valor-lógico verdade pois é a conjunção de uma proposição D verdadeira com uma  𝑆 verdadeira, pois S é falso
d) (𝐷 ∨ 𝐶) valor-lógico verdadeiro pois é a disjunção de uma proposição verdadeira e outra falsa.
e) (𝑆 ∨ 𝐶) valor-lógico falso pois é a disjunção de duas proposições falsas.

4
f)( 𝐶 ∧ 𝑄)
valor-lógico verdadeiro
pois é a conjunção de uma sentença negada que resulta em verdade e uma proposição verdadeira.

C Q 𝐶 ( 𝐶 ∧ 𝑄)

Cinco é número par. Quatro é número par. Verdadeiro Verdadeiro

Valor-lógico falso Valor-lógico verdadeiro

g)(𝐴 → 𝑇)
h)(𝐵 → 𝑅)
i)(𝑅 → 𝐵)
j) (𝐴 ↔ 𝑇)
k) (𝐸 ∧ 𝑈 → 𝑀) → (𝑁 ∧ 𝑂 ∧ 𝑃 → 𝑊)
l) (𝑅 → 𝑍)

Exercício 7. Considerando as proposições simples:

P: Paulo é aprovado no exame. R: Paulo recebe o título de doutor.
Q: Paulo conclui a tese. S: Paulo lecionará na faculdade.
T: Paulo ensinará no colégio.
Traduza (para a linguagem natural) as seguintes proposições compostas abaixo:
a) (P  Q)  R
b) R → ( P  Q )
c) (P Q) → S
d) P → (R  S )
e) (P Q  R) → T
f) S  ( P  Q  R)
g) R → (S  T )
h) T  R

Resposta:
a) Paulo é aprovado no exame e conclui a tese, ou ele não recebe o título de doutor.
b) Se Paulo recebe o título de doutor então Paulo é aprovado no exame e conclui a tese.
c) Paulo não é aprovado no exame e não conclui a tese, portanto Paulo não lecionará na faculdade.
d) Se Paulo não é aprovado no exame então ele não recebe o título de doutor e Paulo lecionará na faculdade.
e) Se Paulo é aprovado no exame, conclui a tese e recebe o título de doutor então Paulo não ensinará no colégio.
f) Paulo lecionará na faculdade se e somente se Paulo é aprovado no exame, conclui a tese e recebe o título de doutor.
g) Se Paulo recebe o título de doutor então Paulo lecionará na faculdade e não ensinará no colégio.
h) Paulo lecionará ensinará no colégio se e somente se ele não recebe o título de doutor.
5
Exercício 8. Considerando as proposições simples:

P: Paulo diminui os erros cometidos. R: Paulo aprendeu o conteúdo.

Q: Há motivação para o estudo S: O professor é bom.
Simbolizar (ou seja, passar para a linguagem proposicional):
a) Se o professor é bom, Paulo aprende o conteúdo.
b) Se o professor não é bom, não há motivação para estudar.
c) O professor é bom, há motivação para o estudo e, além disso, Paulo aprende o conteúdo.
d) Paulo não aprendeu o conteúdo, ele não diminuiu os erros cometidos.
e) Se Paulo não diminuiu os erros cometidos, o professor não era bom ou não havia motivação para estudar.
f) Paulo aprendeu o conteúdo ou diminui os erros cometidos.
Resposta:
a) (S→R)
b) (S →  Q )
c) (S QR)
d) (R →P )
e) (P→SQ)
f) (RP)

Exercício 9: A sentença declarativa composta que melhor representa a fórmula (A→(CB)) está na alternativa:
a) ( )Maria é gaúcha, portanto Maria gosta de chimarrão e churrasco.
b) ( )Se Maria não é gaúcha então ela não gosta de churrasco.
c) ( )Maria não é gaúcha logo ela não é brasileira.
d) ( ) Se Maria gosta de chocolate então ela não gosta de salgado e não tem receio de engordar.
e) ( )Maria gosta de chocolate, mas tem medo de engordar.
Resposta: d.

6
Exercício 10: Considerando a construção da tabela-verdade da fórmula  (S→Q) (SR)→ S

Qual das afirmações abaixo descreve o número correto de possibilidades para as possíveis atribuições das combinações de
valores-verdade.
a) 2 linhas de combinações de valores-verdade pois a fórmula possui somente um símbolo proposicional.
b) 4 linhas de combinações de valores-verdade pois a fórmula possui somente dois símbolos proposicionais.
c) 6 linhas de combinações de valores-verdade pois a fórmula possui somente dois símbolos proposicionais.
d) 8 linhas de combinações de valores-verdade pois a fórmula possui somente três símbolos proposicionais.
e) 10 linhas de combinações de valores-verdade pois a fórmula possui somente 4 símbolos proposicionais.

Pois temos e símbolos proposicionais diferentes entre si (S, Q e R) portanto o número de combinações de valor-lógico (verdadeiro, falso)
É 23=8 casos.

S Q R
Verdade
Verdade
Falso
Verdade
Verdade
Falso
Falso
Verdade
Verdade
Falso
Falso
Verdade
Falso
Falso

Resposta: d.

Exercício 11: Sabendo-se que as proposições A e B são verdadeiras e a proposição C é falsa,

assinala qual proposição abaixo é verdadeira. Justifica sua resposta apresentando a avaliação
de cada conetivo da fórmula(s) escolhida(s).
a) ( ) ( C→ A)
b) ( ) ( (AB) →C)
c) ( )  (C→( BA))
d) ( ) ( (AB) C)
e) ( ) ( (AC) B)

Resposta: b.

7
 A B 𝐶
verdadeiro verdadeiro Falso

( (AB) C)

A B 𝐶 (AB)  (AB) C  (AB)  C

verdadeiro verdadeiro Falso Verdadeiro falso Verdadeiro falso

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

A B 𝐶 𝐴 𝐶 𝐵 (AC) (AC) B

verdadeiro verdadeiro Falso falso Verdadeiro falso Falso Falso

Exercício 12: Sabendo-se que as proposições A é verdadeira e as proposições B e C são falsas, qual das proposições seguintes é verdadeira:
a) ( ) (A→C)  C
b) ( ) ((AB)C)
c) ( )  (C→( BA))
d) ( ) ((AC)C)
e) ( ) ( (AC) B)
Resposta: e.

Exercício 13: Construa a tabela-verdade das fórmulas abaixo:

a) P → PP
b) C(A→E)  EC
c) (A→B)(BA)
d) (BA) BA
Resposta:

8
 a) P → PP
P= 3 é par.

Se 2 é par então 2 não é par ou 2 é par.

P P PP P → PP
Verdadeiro Falso Verdadeiro Verdadeiro
Falso Verdadeiro Verdadeiro Verdadeiro

P→ PP ou P→ (PP)
P P PP P → PP
Verdadeiro Falso Verdadeiro Verdadeiro
Falso Verdadeiro Verdadeiro Verdadeiro
P→ (PP)
P PP (PP) P → (PP)
Verdadeiro V F
Falso F V
(P→ P)P
P P P → P (P → P)P
Verdadeiro Falso
Falso Verdadeiro

9
 b) C(A→E)  EC

C A E A (A→E) C(A→E) EC C(A→E)  EC

Verdadeiro Verdadeiro Verdadeiro F V V V V
Verdadeiro Verdadeiro Falso F V V F F
Verdadeiro Falso Verdadeiro V V V F F
Verdadeiro Falso Falso V F V F F
Falso Verdadeiro Verdadeiro F V V V V
Falso Verdadeiro Falso F V V F F
Falso Falso Verdadeiro V V V F F
Falso Falso Falso V F F F V

A C E A (A→E) C(A→E) EC C(A→E)  EC

Verdadeiro Verdadeiro Verdadeiro F V V V V
Verdadeiro Verdadeiro Falso F V V F F
Verdadeiro Falso Verdadeiro F V V F F
Verdadeiro Falso Falso F V V F F
Falso Verdadeiro Verdadeiro V V V V V
Falso Verdadeiro Falso V F V F F
Falso Falso Verdadeiro V V V F F
Falso Falso Falso V F F F V

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

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

Verdadeiro Verdadeiro V V F V
Verdadeiro Falso F F V V
Falso Verdadeiro V F V V
Falso Falso V F V V

d)(BA)  BA
10
 A B (BA) (BA) B A BA (BA)  BA
Verdadeiro Verdadeiro V F F F F V
Verdadeiro Falso F V V F F F
Falso Verdadeiro F V F V F F
Falso Falso F V V V V V

Exercício 14: Marca com C as afirmações abaixo que são corretas e com E as afirmações abaixo que são erradas. Sendo que você deve corrigir as afirmações
erradas.
a) ( ) (AS) é sempre falso, independente do valor lógico de A e S.
b) ( )(CD) R é falso quando R é verdadeiro.
c) ( ) (S→Q) é verdadeiro quando Q é falso.
d) ( ) (R→S) (AS) é falso quando A, S e R são falsos.
e) ( ) D(R→Q) é falso quando D é falso e R e Q são verdadeiros.

Resposta:
a)E, pois quando A é falso A é verdadeiro, sendo S falso temos AS falso daí  (AS) será verdadeiro.
b) E, pois, se C e D são falsas, temos (CD) falso e daí (CD) é verdadeiro e, portanto, (CD) R será verdadeiro quando R é verdadeiro.
c) E, quando S é falso.
d) E, a fórmula será verdadeira, pois (R→S) será Verdade,  (AS) será verdade, pois a conjunção de A e S será falsa, e, portanto, a disjunção será verdadeira.
e) E, pois, a disjunção de falso comparado com um verdadeiro de (R→Q) resulta em verdade.

Exercício 15: Construir a tabela-verdade das fórmulas abaixo.

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

b) PQ → P

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

d) (S→R)(QA) A→ S

Resposta:

 (PQ)→ PR

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

V V V V F F V V
V V F V F F F V
V F V F V F V V
V F F F V F F F
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 V

PQ → P

P Q Q PQ P PQ → P
V V F F F V
V F V V F F
F V F F V V
F F V F V V

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

12
P Q S (PQ) (PQ)→S  ( (PQ)→S) S (SQ)  ( (PQ)→S)(SQ)  ( (PQ)→S)(SQ)→ Q
V V V V F V F F F V
V V F V F V V V F V
V F V F V F F F F V
V F F F V F V F F V
F V V F V F F F F V
F V F F V F V V V V
F F V F V F F F F V
F F F F V F V F F V

(S→R)(QA) A→ S

(S→R)(QA (S→R)(QA)
S R Q A S S →R A (QA )  (QA ) (S→R)(QA) A→ S
) A
V V V V F V F F V V F V
V V V F F V V V F F F V
V V F V F V F F V V F V
V V F F F V V F V V V V
V F V V F V F F V V F V
V F V F F V V V F F F V
V F F V F V F F V V F V
V F F F F V V F V V V V
F V V V V V F F V V F V
F V V F V V V V F F F V
F V F V V V F F V V F V
F V F F V V V F V V V F
F F V V V F F F V F F V
F F V F V F V V F F F V
F F F V V F F F V F F V
F F F F V F V F V F F V

13
Exercício 16: Construir a tabela-verdade das fórmulas abaixo.
a) (A→B) C
b) A→B C
c) (A→B) (AB)
d)  (A (BC)) ( B→A) → C
e)  (AB)  AB
f) A ( A)
Após construir as tabelas-verdade acima, identifique em cada tabela-verdade a linha correspondente ao valor-lógico para a interpretação onde os símbolos
proposicionais estão associados as seguintes sentenças declarativas fechadas (proposições):
A= 2 é maior que 3, notação: 2>3
B= 5 é menor que 6, notação: 5<6
C= 7 é maior que 9, notação: 7>9
E determine o valor lógico da fórmula.
Resposta
a) (A→B) C
A B C (A→B) (A→B) C
V V V V V
V V F V F
V F V F F
V F F F F
F V V V V
F V F V F
F F V V V
F F F V F
A= 2 é maior que 3 é falso
B= 5 é menor que 6 é verdade
C= 7 é maior que 9 é falso.
Portanto, A é falso, B é verdadeiro e C é falso o que corresponde a 6ª linha da tabela-verdade e portanto a sentença em linguagem natural: Se 2 é maior que
3 então 5 é menor que 6. Mas 7 é maior que 9. Tem valor-lógico falso.

14
 b) A→B C

A B C BC A→(B C)

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

Corresponde a 6ª linha da tabela-verdade e portanto a sentença em linguagem natural: Se 2 é maior que 3 então 5 é menor que 6 e 7 é maior que 9. Tem
valor-lógico verdadeiro.

c) (A→B) (AB)

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

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

Corresponde a 3ª linha da tabela-verdade e portanto a sentença em linguagem natural: Se 2 é maior que 3 então 5 é menor que 6 equivale a 2 não é maior
que 3 ou 5 é menor que 6. Tem valor-lógico verdadeiro.

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

15
 (A (BC))  (A (BC)) A ( B→A)  (A (BC)) ( B→A)  (A (BC)) ( B→A) →
A B C (BC)
C
V V V V V F F F F V
V V F V F V F F F V
V F V V V F F V F V
V F F F F V F V V F
F V V V F V V V V V
F V F V F V V V V F
F F V V F V V V V V
F F F F F V V V V F
Corresponde a 6ª linha da tabela-verdade e tem valor-lógico falso.
A sentença em linguagem natural: Nego que 2 é maior que 3, mas 5 é menor que 6 ou 7 é maior que 9. Se 5 é menor que 6 então 2 não é maior que 3.
Portanto 7 é maior que 9.
e)  (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

Sendo A= 2 é maior que 3, notação: 2>3 tem valor lógico Falso

B= 5 é menor que 6, notação: 5<6 tem valor lógico verdadeiro
A sentença que representa a formula  (AB)  AB é Nego que é 2 é maior que 3 e cinco é menor que 6 equivale a 2 não é maior que 3 e cinco não é
menor que 6.
Corresponde a 4ª linha da tabela-verdade e portanto a sentença em linguagem natural tem valor-lógico verdadeiro.

a) A ( A)

16
 A A A(A)
V F F
F V F
Sendo A= 2 é maior que 3, notação: 2>3 tem valor lógico Falso
A sentença que representa a formula A(A) é 2 é maior que 3 mas 2 não é maior que 3
Corresponde a 2ª linha da tabela-verdade e portanto a sentença em linguagem natural: 2 é maior que 3 mas 2 não é maior que 3. Tem valor-lógico falso.

Exercício 17: Construir a tabela-verdade das fórmulas abaixo.

a) (PQ)
b) (PQ)
c) (PQ)
d)  (PQ)
e)  (PQ)
f)  (PQ)
g) (PQ)
h) (PQ)

Resposta parcial
P Q P PQ Q PQ (PQ)  (PQ)   (PQ)
V V F F F F V F V
V F F F V V F V F
F V V V F F F V F
F F V F V F F V F

17
Exemplos de Construção da tabela verdade

Neste vídeo temos a revisão da interpretação dos conetivos e construção de 4 exemplos de tabela-verdade.
https://www.youtube.com/watch?v=5sYQFVVDNcE

Apresenta-se a construção das 8 tabelas-verdade com possibilidades distintas de negação, conjunção e disjunção
https://www.youtube.com/watch?v=7NPWge57mJU

18