Diferencia entre revisiones de «Práctica 4 (pre 2010, Paradigmas)»
De Cuba-Wiki
| Línea 15: | Línea 15: | ||
==Ejercicio 03== | ==Ejercicio 03== | ||
==Ejercicio 04== | ==Ejercicio 04== | ||
*i) <math> \forall x.\forall y.(Q(x, y) \vee \neg P(x, y)) </math> | |||
*ii) <math> \forall x.\forall y.(\neg P(x, y) \vee \neg Q(x, y) \vee R(x, y)) </math> | |||
*iii) <math> \forall x.\exists y.(\neg P(x, y) \vee Q(x, y)) </math> | |||
==Ejercicio 05== | ==Ejercicio 05== | ||
==Ejercicio 06== | ==Ejercicio 06== | ||
Revisión del 17:58 14 may 2008
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 03
Ejercicio 04
- i)
- ii)
- iii)
