Você está na página 1de 5

MINISTÉRIO DA EDUCAÇÃO

INSTITUTO FEDERAL DE EDUCAÇÃO CIÊNCIA E TECNOLOGIA DO CEARÁ


CAMPUS DE SOBRAL
_______________________________________________________________________________________
Matemática discreta – Lógica proposicional – Lista 02
Professor – Aurélio Lima
Curso – Licenciatura em Matemática
_______________________________________________________________________________________
1 – Tautologia, contradição e contingência
Definição 1. Uma tautologia é uma proposição composta cujo valor lógico é sempre a verdade (V),
independente dos valores lógicos das proposições simples que a compõem.

Definição 2. Uma contradição é uma proposição composta cujo valor lógico é sempre a falso (F), independente
dos valores lógicos das proposições simples que a compõem.

Definição 3. Uma contingência é uma proposição composta em cuja tabela-verdade ocorrem, na coluna de
saída, os valores lógicos V (verdade) e F (falso).

Questão 01. Complete a tabelas-verdade abaixo:


a)

b)

c)
d)

e)

f)

g)
2 – Sentenças equivalentes e sentenças implicativas
Definição 4. Duas sentenças compostas p e q são ditas equivalentes, e escrevemos 𝑝 ⇔ 𝑞, quando possuírem
as mesmas tabelas-verdade.

Definição 5. Dizemos que a sentença composta p implica na sentença composta q, e escrevemos 𝑝 ⇒ 𝑞, nos
casos em que a última coluna da tabela-verdade de 𝑝 → 𝑞 contiver apenas V.

Questão 02. Complete a tabelas-verdade abaixo:


a)

b)

c)
d)

e)
Exercícios
Questão 01. Construa as tabelas-verdade das sentenças (𝑝 ∨ 𝑞) → 𝑟 e 𝑝 ∨ (𝑞 → 𝑟). Discuta a importância
dos parênteses numa sentença.

Questão 02. Escreva a negação das sentenças abaixo.


1 – “Robério é torcedor do Cruzeiro e Douglas é torcedor do São Paulo”
2 – “Samir é aluno do IFCE ou Esther é aluna da UVA”
3 – “Dimas não é irmão da Daniele ou Neto é casado com a Nívia”
4 – “O crime foi investigado e o autor não foi encontrado”
5 – “Se Pedrosa tem uma moto vermelha, então o céu não amarelo”
6 – “Estou de férias e, se tenho vontade, então viajo”

Questão 03. Determine, utilizando a tabela-verdade, quais proposições são Tautologias, Contradições e
Contingências.
a) (𝑝 → 𝑞) ∧ (𝑝 ∨ 𝑞) ∧ ¬𝑞
b) (¬𝑝 ∨ ¬𝑞) → (𝑝 → 𝑞)
c) (𝑝 ∧ 𝑞) → (𝑝 ↔ (𝑞 ∨ 𝑟))

Questão 04. Prove as seguintes relações lógicas.


a) (𝑝 ∨ 𝑞) ∧ ¬𝑞 ⇒ 𝑝
b) (𝑝 → 𝑞) ∧ ¬𝑞 ⇒ ¬𝑝
c) (𝑝 → 𝑞) ⇔ (𝑝 ∧ ¬𝑞) → ¬𝑝
d) (𝑝 → 𝑞) → 𝑟 ⇔ (𝑝 ∧ ¬𝑟) → ¬𝑞

Questão 05. Classifique as afirmações como Verdadeiro ou Falso.


a) ∀𝑥, ∀𝑦, 𝑥 + 𝑦 = 0
b) ∀𝑥, ∃𝑦, 𝑥 + 𝑦 = 0
c) ∃𝑥, ∀𝑦, 𝑥 + 𝑦 = 0
d) ∃𝑥, ∃𝑦, 𝑥 + 𝑦 = 0
e) ∀𝑥, ∀𝑦, 𝑥 ∙ 𝑦 = 0
f) ∀𝑥, ∀𝑦, 𝑥 ∙ 𝑦 = 0
g) ∃𝑥, ∀𝑦, 𝑥 ∙ 𝑦 = 0
h) ∃𝑥, ∃𝑦, 𝑥 ∙ 𝑦 = 0
i) ∃𝑥, ∀𝑦, 𝑥 + 𝑦 = 𝑦
j) ∃𝑥, ∀𝑦, 𝑥 ∙ 𝑦 = 𝑦

_______________________________________________________________________________________
Av. Dr. Guarani, 317 - Bairro Derby Clube – CEP: 62.040-730 - Sobral – CE.
Telefone: (88) 3112-8100

Você também pode gostar