Práctica 4 (pre 2010, Paradigmas)

De Cuba-Wiki

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 < f(a)}}

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)}}

Ejercicio 06

Ejercicio 07

Ejercicio 08

Ejercicio 09

Ejercicio 10

Ejercicio 11

Ejercicio 12

Ejercicio 13

Ejercicio 14

Ejercicio 15

Ejercicio 16