175610193

Prévia do material em texto

UNIVERSIDADE FEDERAL DO PIAUÍ 
CENTRO DE EDUCAÇÃO ABERTA E À DISTÂNCIA
COORDENAÇÃO DO CURSO DE LICENCIATURA EM COMPUTAÇÃO
Disciplina: Lógica para computação
Professor: Martony Demes
Polo:____________Tutor:__________________________________
Aluno:__________________________________________________
Lista de Exercício Avaliativa 1
Dadas as 12 questões a seguir, escolha 10 e resolva!
1. Diferencie linguagem, sintaxe e semântica na lógica proposicional.
_______________________________________________________________________________________________________________________________________________________________________________________
_______________________________________________________________________________________________________________________________________________________________________________________
2. Qual conectivo torna-se falso apenas em um caso?
a. ∧
b. ∨
c. →
d. ↔
e. nenhum
3. Qual das seguintes expressões não é uma proposição?
a. "2 + 2 = 4"
b. "Leia com atenção!"
c. "4 + 1 = 2"
d. "São Paulo é uma cidade"
4. A fórmula p ∧ ¬p ∧ ¬p ∧¬p representa:
a. A) Tautologia
b. B) Contradição
c. C) Contingência
d. D) Implicação
5. A proposição inversa de p→q é:
a. ¬q → ¬p
b. ¬p → ¬q
c. q → p
d. ¬q ∨ p
6. A equivalência p→q≡¬p∨q é:
a. falsa
b. tautológica
c. inválida
d. inexistente
7. A fórmula (p∨q)↔(q∨p) é uma:
a. Contradição
b. Contingência
c. Tautologia
d. Nenhuma das anteriores
8. Classifique como tautologia, contradição ou contingência:
a. (p∧q)∨¬p
b. p↔p
c. p∧¬p
9. Construa a tabela-verdade de ¬((p∧¬q)→¬r).
10. Demonstre a equivalência: p→q≡¬p∨q usando tabela-verdade.
11. Qual é a contrapositiva de p→q?
a. q → p
b. ¬q → ¬p
c. ¬p → ¬q
d. ¬q ∨ ¬p
image1.jpg
image2.png