Re: Tom Clancy's End War - 4 Links [Accion][Full][Pc]
ii. ¬x estudiante (x) tomó(x,Francés,Primavera2011) ¬aprobó (x,Francés)
3. ¿Qué quieren decir en lenguaje natural la siguientes sentencia de LPO? (! Significa que existe uno y solamente uno, no más)(20 puntos) ( ) ( ) ( ) a. ( ) i. Dos personas que hablan el mismo lenguaje se entiendenentre sí. b. ( ) ( ) ( ) i. Dos personas que se entienden entre sí pueden tener una amistad ( ) ( ) ( ) c. i. Existe algún agente de seguros que vende pólizas a todas las personas que no están aseguradas. ( ) ( ) ( ) d. ( ) i. No existe ninguna persona que compre pólizas caras ii. Nadie compra pólizas caras ( ) ( ) e. ( ) i. Kevin y Joan tienen una sola hija (de ambos, cada uno podría tenermás hijos por separado) .
f.
( ) ( ) ( ) ( ) i. Toda persona nacida en México, de padre y madre nacidos ambos también en México es ciudadano mexicano por nacimiento
( )
(
)
4. En el ejemplo visto en clase sobre “Mato la curiosidad al gato?” muestra paso por paso como se convierten las siguientes sentencias de LPO a CNF (Forma Normal Conjuntiva) (Son 9 pasos, las sentencias enCNF también vienen en la presentación vista en clase)(20 puntos) a. (x) Perro(x) Dueño(Jack,x) b. (x) ((y) Perro(y) Dueño(x, y)) AmanteAnimales(x) c. (x) AmanteAnimales(x) (y) Animal(y) ¬Mata(x,y) d. Mata(Jack,Tuna) Mata(Curiosidad,Tuna) e. Gato(Tuna) f. (x) Gato(x) Animal(x)
Paso 1: Eliminar conectivos (NO HAY). Paso 2: Eliminar todos los conectivos a. (x) Perro(x) Dueño(Jack,x) b. (x) ((y) ¬(Perro(y) Dueño(x, y))) AmanteAnimales(x) c. (x) ¬AmanteAnimales(x) ((y) Animal(y) ¬Mata(x,y)) (se elimina el primero de c) (x) ¬AmanteAnimales(x) ((y) ¬Animal(y) ¬Mata(x,y)) (se elimina el segundo de c) d. Mata(Jack,Tuna) Mata(Curiosidad,Tuna) e. Gato(Tuna) f. (x) ¬Gato(x) Animal(x) Paso 3: Reducir el alcance de cada símbolo de negación a. b. c. d.e. f. (x) Perro(x) Dueño(Jack,x) (x) ((y) ¬Perro(y) ¬Dueño(x, y)) AmanteAnimales(x) (x) ¬AmanteAnimales(x) ((y) ¬Animal(y) ¬Mata(x,y)) Mata(Jack,Tuna) Mata(Curiosidad,Tuna) Gato(Tuna) (x) ¬Gato(x) Animal(x)
Paso 4: Estandarizar variables: Están estandarizadas. En cada sentencia, no hay cuantificadores diferentes que usen la misma variable (por ejemplo, si hubiera doscuantificadores x en diferentes partes de la sentencia que cuantifiquen segmentos
diferentes de ella, es decir, si en realidad se supone que son dos variables diferentes, no deben llamarse ambas x, hay que cambiar el nombre a una de ellas). Paso 5: Eliminar cuantificadores existenciales introduciendo constantes/funciones de Skolem: a. b. c. d. e. f. Perro(spike) Dueño(Jack,spike) (x)...
Regístrate para leer el documento completo.