UNIVERSIDADE FEDERAL DE CAMPINA GRANDE

DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃO

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

Disciplina: FMCC1
Professor: Carlos Wilson
Semestre: 2020.3 Turma: X Data: / /
Numero: 01 Código L2;<UCPIQ4ZT2D>K9HIIC1FA4CCGRN

Lista 02

Questão 1 - Escreva as tabelas verdades para determinar se as proposições abaixo são logicamente
equivalentes:

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

b) 𝑝 → 𝑞 e ¬𝑝 ∨ 𝑞

c) 𝑝 ∨ (𝑞 ∧ 𝑟) e (𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟)

Questão 2 - Seja a proposição Se vou à universidade então estudo. Quais das alternativas são equi-
valentes com a proposição? Mostre as tabelas verdades.

a) Se não vou à universidade então não estudo.

b) Se não estudo então não vou à universidade.

c) Se estudo então vou à universidade.

d) Não vou à universidade ou estudo.

e) Não vou à universidade e não estudo.

Questão 3 - Seja 𝑝 proposição: Chimbinha não é o Deus da guitarra. Assinale qual das duas formas
sentenciais é uma contradição. Mostre as tabelas verdades.

i 𝑝 ∨ ¬𝑝

ii ¬𝑝 ∧ ¬(¬𝑝)

Questão 4 - Assinale qual das seguintes formas sentenciais é uma tautologia. Mostre as tabelas
verdades.

a) 𝑝 → (𝑝 ∧ 𝑟)

b) ¬𝑝 ∧ ¬(¬𝑝)

c) 𝑝 ∧ (𝑟 ∨ 𝑝)

d) 𝑟 → (𝑟 → 𝑝)

e) 𝑟 → (𝑝 → 𝑟)

Código: L2;<UCPIQ4ZT2D>K9HIIC1FA4CCGRN 1