Lista de Exercicios II

Prévia do material em texto

UNIVERSIDADE FEDERAL DE SERGIPE
DEPARTAMENTO DE SISTEMAS DE INFORMAÇÃO
Lógica Matemática
Professor: André Vinicius Rodrigues Passos Nascimento
Lista de Exercícios II
1. Determinar V (p) e V (q) em cada um dos seguintes casos, sabendo:
a) V (p → q) = V e V (p ^ q) = F
b) V (p → q) = V e V (p v q) = F
c) V (p ↔ q) = V e V (p ^ q) = V
Observação: Utilize tabelas-verdade para demonstrar as conclusões.
2. Determinar V (p) e V (q) em cada um dos seguintes casos, sabendo:
a) V (p → ~ q) = V , V (~ p ↔ q) = F e V (p ^ ~ q) = F
b) V (p v q) = V , V (~ p v q) = V e V (~ q → p) = V
Observação: Utilize tabelas-verdade para demonstrar as conclusões.
3. Determinar V (p) e V (q) em cada um dos seguintes casos, sabendo:
c) V (~p → ~ q) = V , V ( p ↔ ~q) = F e V (p v q) = V
d) V (p v q) = F , V (~p v ~q) = V e V ( p → q) = F
Observação: Utilize tabelas-verdade para demonstrar as conclusões.
4. Determinar a ordem em que as operações lógicas serão executadas nas seguintes
proposições compostas:
a) p ^ ~ q → r v s
b) (p ↔ q v (~ r → s)) ^ ~ t
c) p → r ↔ q v ~ r
d) p → (p → ~ r) ↔ q v r