Práctica 4 (pre 2010, Paradigmas)

Ejercicio 01

• i) {□}
• ii) {□}
• iii) {□}
• iv) {□}
• v) { {~q,p} }
• vi) { {p},{q,r} }

Ejercicio 02

• i. i-iv Tautologias
• ii. (¬p -> q)^(p -> q)^(¬p -> ¬q) = (pvq)^(~pvq)^(pv¬q) = { {p,q},{~p,q},{p,~q} } = { {p,q},{~p,q},{p,~q},{p} } = { {p,q},{~p,q},{p,~q},{p},{q} } -> Con lo cual debe cumplirse p^q.

Ejercicio 04

• i) $\forall x.\forall y.(Q(x,y)\vee \neg P(x,y))$
• ii) $\forall x.\forall y.(\neg P(x,y)\vee \neg Q(x,y)\vee R(x,y))$
• iii) $\forall x.\exists y.(\neg P(x,y)\vee Q(x,y))$