Matemática Discreta I DECOM

Prof. Lucília Figueiredo ICEB - UFOP

Lista de Exercícios 05 - Lógica de Predicados

Álgebra de Quantificadores
¬∀x.p(x) = ∃x.¬p(x) {∀ De Morgan}
¬∃x.p(x) = ∀x.¬p(x) {∃ De Morgan}
∀x.(p(x) ∧ q(x)) = ∀x.p(x) ∧ ∀x.q(x) {∀ Distributividade}
∃x.(p(x) ∨ q(x)) = ∃x.p(x) ∨ ∃x.q(x) {∃ Distributividade}
∀x.p(x) = ∀y.p(y) {∀ Renomeação}
∃x.p(x) = ∃y.p(y) {∀ Renomeação}
Nas duas últimas regras, y não deve ocorrer livre em p(x)
1. Prove a seguinte equivalência usando as regras da Álgebra de Predicado.

∀x.¬∃y.(p(x) → p(y)) = f alse

∀x.¬∃y.(p(x) → p(y)) {∃De Morgan}

= ∀x.∀y.¬(p(x) → p(y)) {implicação}
= ∀x.∀y.¬(¬p(x) ∨ p(y)) {∨De Morgan}
= ∀x.∀y.(¬¬p(x) ∧ ¬p(y)) {Dupla Neg}
= ∀x.∀y.(p(x) ∧ ¬p(y)) {y não ocorre livre em p(x)}
= ∀x.(p(x) ∧ ∀y.¬p(y)) {∀Renomeação}
= ∀x.(p(x) ∧ ∀x.¬p(x)) {∀Distributividade}
= ∀x.(p(x) ∧ ¬p(x)) {Complemento}
= ∀x.f alse {x não ocorre em f alse}
= f alse
2. Para cada uma das fórmulas a seguir, marque com um X, dentre as fórmulas logo abaixo, aquela que é
equivalente à fórmula dada.

(a) ∃ x(P (x) ∨ Q(x)) (b) ∀x (P (x) → Q(x))

∀x (P (x) ∧ Q(x)) ¬∃x ¬(¬Q(x) → P (x))
¬∀x ¬P (x) ∨ ¬∀x ¬Q(x) ¬∃x (¬Q(x) → ¬P (x))
¬∀x ¬P (x) ∧ ¬∀x ¬Q(x) ¬∃x ¬(¬Q(x) ∨ ¬P (x))
¬∀x ¬P (x) ∨ ¬∀x ¬Q(x) ¬∃x (¬Q(x) ∧ ¬P (x))

(c) ∃x P (x) → ∀y Q(y) (d) ¬∀x ∃y (A(y) ∧ B(x, y))

∃x ¬P (x) ∨ ∀y Q(y) ∀x ∀y (A(y) → ¬B(x, y))
∃x ¬P (x) ∧ ∀y Q(y) ∃x ∀y (A(y) → ¬B(x, y))
∃x ¬P (x) → ∀y Q(y) ∀x ∀y (A(y) → B(x, y))
∀x ¬P (x) ∨ ∀y Q(y) ∀x ∃y (A(y) → B(x, y))
Resposta:
(a) ¬∀x ¬P (x) ∨ ¬∀x ¬Q(x)
(b) ¬∃x (¬Q(x) ∧ ¬P (x))
(c) ∀x ¬P (x) ∨ ∀y Q(y)
(d) ∃x ∀y (A(y) → ¬B(x, y))