Diferencia entre revisiones de «Práctica 4 (pre 2010, Paradigmas)»

De Cuba-Wiki
Línea 50: Línea 50:
<br>Clausal: {{P(a,y)},{Q(a)},{~R(y)}}
<br>Clausal: {{P(a,y)},{Q(a)},{~R(y)}}


*v)
v)
<br><math> \forall x.(P(x) \wedge \exists y.(Q(y) \vee \forall z.\exists w.(P(z) \wedge \neg Q(w)))) </math>
<br><math> \forall x.(P(x) \wedge \exists y.(Q(y) \vee \forall z.\exists w.(P(z) \wedge \neg Q(w)))) </math>
<br><math> = \forall x.(P(x) \wedge \exists y.\forall z.\exists w.(Q(y) \vee (P(z) \wedge \neg Q(w)))) </math>
<br><math> = \forall x.(P(x) \wedge \forall z.(Q(f(x)) \vee (P(z) \wedge \neg Q(g(z))))) </math>
<br><math> = \forall x.(P(x) \wedge \forall z.([Q(f(x)) \vee P(z)] \wedge [Q(f(x)) \vee \neg Q(g(z))])) </math>
<br><math> = \forall x.\forall z.(P(x) \wedge [Q(f(x)) \vee P(z)] \wedge [Q(f(x)) \vee \neg Q(g(z))]) </math>
<br>Clausal: {{P(x)},{Q(f(x)) v P(z)},{Q(f(x)) v ~Q(g(z))}}


==Ejercicio 06==
==Ejercicio 06==

Revisión del 15:42 17 may 2008

Plantilla:Back

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)

Ejercicio 05

Por favor ante cualquier error corrijan:

i)
Skolem:


Clausal: {{x < f(x)}}

ii)
Skolem:


Clausal: {{a < b}}

iii)
Skolem:




Clausal: {{~P(x) v P(f(x))}, {~P(x) v Q(f(x))}}

iv)
Skolem:


Clausal: {{P(a,y)},{Q(a)},{~R(y)}}

v)





Clausal: {{P(x)},{Q(f(x)) v P(z)},{Q(f(x)) v ~Q(g(z))}}

Ejercicio 06

Ejercicio 07

Ejercicio 08

Ejercicio 09

Ejercicio 10

Ejercicio 11

Ejercicio 12

Ejercicio 13

Ejercicio 14

Ejercicio 15

Ejercicio 16