UNIVERSIDADE FEDERAL DE CAMPINA GRANDE

DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃO

CURSO DE BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO

Disciplina: FMCC1
Professor:
Semestre: 2020.1e Turma: Data: / /
Aluno.......:
Numero....: 01 Matricula....:

Prova
Assinatura do Aluno(a):
NOTA FINALIZADA

QUESTÃO
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
A
LETRA

B
C
D
E

Instruções para preenchimento do gabarito

a) ESTRITAMENTE PROIBIDO TIRAR FOTO

DA PROVA COM PENA DE NOTA ZERO.
b) Verifique se a prova está completa.
c) Não serão permitidas rasuras nas questões de
múltipla escolha.
e) Hora da prova NÃO é hora de tirar dúvidas do
conteúdo com o professor.
f) A caligrafia deve ser nítida, clara e legível.
Figura 1: Não rasure, risque, fure ou dobre a região
em que se encontra o QR CODE. Boa prova!

LATEX♡

Código: VT:BS6PUEHTZQ?E:E32KJ3JGTK;42J 1
 Desenvolva e justifique toda as questões!

Questões sem desenvolvimento serão desconsideradas!

Questão 1 - Qual é a tabela verdade da expressão: ((𝑝 ∨ 𝑞) → (𝑟 ∧ 𝑞)) ∨ 𝑞, considerando a se-

guinte ordem da tabela verdade: (𝑇, 𝑇, 𝑇 ), (𝑇, 𝑇, 𝐹 ), (𝑇, 𝐹, 𝑇 ), (𝑇, 𝐹, 𝐹 ), (𝐹, 𝑇, 𝑇 ), (𝐹, 𝑇, 𝐹 ), (𝐹, 𝐹, 𝑇 ),
(𝐹, 𝐹, 𝐹 ):

a) 𝑇, 𝑇, 𝐹, 𝐹, 𝑇, 𝑇, 𝑇, 𝑇

b) 𝑇, 𝑇, 𝐹, 𝑇, 𝑇, 𝐹, 𝑇, 𝑇

c) 𝑇, 𝐹, 𝑇, 𝐹, 𝑇, 𝐹, 𝐹, 𝐹

d) 𝑇, 𝑇, 𝐹, 𝐹, 𝐹, 𝑇, 𝐹, 𝑇

e) 𝐹, 𝐹, 𝐹, 𝑇, 𝑇, 𝐹, 𝑇, 𝑇

Questão 2 - Qual é a tabela verdade da expressão: ¬(¬𝑞 → ¬𝑝) ∨ (¬𝑝 → 𝑞), considerando a seguinte
ordem da tabela verdade: (𝑇, 𝑇 ), (𝑇, 𝐹 ), (𝐹, 𝑇 ), (𝐹, 𝐹 ):

a) 𝑇, 𝑇, 𝐹, 𝐹

b) 𝑇, 𝑇, 𝐹, 𝑇

c) 𝑇, 𝑇, 𝑇, 𝐹

d) 𝑇, 𝑇, 𝑇, 𝑇

e) 𝐹, 𝑇, 𝑇, 𝑇

Questão 3 - Marque a proposição abaixo que seja uma tautologia.

a) Se João é alto, então João é alto e Maria é bonita.

b) Se João é alto, então João é alto ou Maria é bonita.

c) Se João é alto ou Maria é bonita, então João é alto e Maria é bonita.

d) Se João é alto ou João não é alto, então Maria é bonita.

e) Se João é alto ou Maria é bonita, então Maria é bonita.

Questão 4 - Dizer que Andre é artista ou Bernado não é engenheiro é equivalente a dizer que:

a) Andre não é artista e Bernardo é engenheiro.

b) Andre é artista se e somente se Bernardo não é engenheiro.

c) Se Andre não é artista, então Bernardo é engenheiro.

d) Se Bernardo é engenheiro, então Andre é artista.

e) Se andre é artista, então Bernardo não é engenheiro.

2 Código: VT:BS6PUEHTZQ?E:E32KJ3JGTK;42J
Questão 5 - Dado os argumento abaixo, qual é válido?

a) 𝑝 ∧ 𝑞, 𝑞 → 𝑟 ⊢ 𝑝 ∧ 𝑟

b) 𝑝 → 𝑞, 𝑞 → 𝑟 ⊢ 𝑝 ∧ 𝑟

c) 𝑝 → 𝑞, 𝑞 → 𝑟 ⊢ 𝑝 ∨ 𝑟

d) 𝑝 → 𝑞, ¬𝑝 ⊢ ¬𝑞

e) 𝑝 ∧ 𝑞, 𝑞 ∨ 𝑟 ⊢ 𝑝 ∧ 𝑟

Questão 6 - Marque a proposição abaixo que seja uma tautologia.

a) Se Lucas é baixo, então Lucas é baixo e Juliana é inteligente.

b) Se Lucas é baixo, então Lucas é baixo ou Juliana é inteligente.

c) Se Lucas é baixo ou Lucas não é baixo, então Juliana é inteligente.

d) Se Lucas é baixo ou Juliana é inteligente, então Lucas é baixo e Juliana é inteligente.

e) Se Lucas é baixo ou Juliana é inteligente, então Juliana é inteligente.

Questão 7 - Marque a proposição abaixo que seja uma contradição:

a) 𝑝 ∨ ¬𝑝

b) 𝑝 Y ¬𝑝

c) (𝑝 ∨ 𝑞) ∧ (¬𝑝 ∧ ¬𝑞)

d) 𝑝 ∨ ¬(𝑝 ∧ 𝑞)

e) (𝑝 ∧ ¬𝑞) ∨ (𝑞 → 𝑝)

Questão 8 - Considere as informações abaixo:

I O número de linhas de uma tabela-verdade é sempre um número par.

√
II A proposição: (10 < 10) ←→ 8 − 3 = 6 é falsa.

III A proposicção: (𝑝 → 𝑞) ∨ (¬𝑞) é uma tautologia.

É verdade o que se afirma apenas em:

a) II

b) I e II

c) I

d) I e III

e) I, II e III

Questão 9 - Considere as proposições abaixo. Marque a alternativa que apresenta o argumento válido.

a) ¬(¬𝑝 Y 𝑞), ¬𝑞, 𝑝 Y 𝑞, ⊢ 𝑝 ∧ ¬𝑞

Código: VT:BS6PUEHTZQ?E:E32KJ3JGTK;42J 3
 b) ¬(¬𝑝 Y 𝑞), ¬𝑞, ⊢ 𝑝 ↔ 𝑞

c) ¬(¬𝑝 Y 𝑞), ¬𝑞, 𝑝 Y 𝑞, ⊢ 𝑝 → 𝑞

d) ¬(¬𝑝 Y 𝑞), ¬𝑞, ⊢ 𝑝 Y ¬𝑞

e) ¬(¬𝑝 Y 𝑞), ¬𝑞, 𝑝 Y 𝑞, ⊢ ¬(𝑝 ∧ ¬𝑞)

Questão 10 - Qual das alternaticas abaixo apresenta valor lógico falso. Considere a interpretação que o
conjunto universo é o conjunto dos números inteiros.

a) (∀𝑥)(∃𝑦)(𝑥 + 𝑦 = 0)

b) (∀𝑥)(∃𝑦)(𝑥 + 𝑦 = 𝑥)

c) (∃𝑦)(∀𝑥)(𝑥 + 𝑦 = 0)

d) nenhuma das alternativas

e) (∃𝑦)(∀𝑥)(𝑥 + 𝑦 = 𝑥)

[ 1 - FMCC1/logica/q08.xml ] [ 2 - FMCC1/logica/q09.xml ] [ 3 - FMCC1/logica/q10.xml ] [ 4 - FMCC1/logica/q11.xml ] [ 5 - FMCC1/logica/q13.xml ] [ 6 - FMCC1/logica/q15.xml ]

[ 7 - FMCC1/logica/q16.xml ] [ 8 - FMCC1/logica/q17.xml ] [ 9 - FMCC1/logica/q18.xml ] [ 10 - FMCC1/logica/q19.xml ] [ 11 - FMCC1/cnum/q02.xml ] [ 12 - FMCC1/cnum/q03.xml
] [ 13 - FMCC1/conjuntos/q02.xml ] [ 14 - FMCC1/conjuntos/q03.xml ] [ 15 - FMCC1/conjuntos/q06.xml ] [ 16 - FMCC1/conjuntos/q08.xml ] [ 17 - FMCC1/conjuntos/q12.xml ] [ 18 -
FMCC1/somas/q01.xml ]

VT:BS6PUEHTZQ?E:E32KJ3JGTK;42J

4 Código: VT:BS6PUEHTZQ?E:E32KJ3JGTK;42J