práctica 3

practica 3.5
● Bertoldo y Bartolo son rufianes.
○ rufian(bertoldo).
○ rufian(bartolo).
● Romeo y Bertoldo, como su nombre indica, son nobles.
○ noble(romeo).
○ noble(bertoldo).
● Bartolo es un plebeyo.
○ plebeyo(bartoldo).
● Gertrudis y Julieta son damas.
○ dama(julieta).
○ dama(gertrudis)
● Julieta es hermosa.
○ hermosa(julieta).
● Los plebeyos desean a cualquier dama, mientras que los nobles sólo a aquellas que
son hermosas.
○ desean(H,M):-plebeyo(H),dama(M).
○ desean(H,M):-noble(H),hermosa(M).
● Los rufianes, para satisfacer sus instintos, raptan a las personas a las que desean.
○ raptan(X,Y):-dama(M),rufianes(X)
● Los rufianes, para satisfacer sus instintos, raptan a las personas a las que desean.
○ personas(X):-rufian(X).
○ personas(X):-noble(X)
○ personas(X):-dama(X)
○ raptan(X,Y):-personas(X),rufian(Y).
● Construya los hechos y las reglas en lenguaje declarativo.
%Las estrellas jóvenes son azuladas e irregulares. Las estrellas irregulares pueden ser
amarillentas o rosadas. Las estrellas amarillentas son luminosas. Las estrellas rosadas son
luminosas. Hay estrellas que son jóvenes. Por consiguiente, existen estrellas luminosas y
azuladas.
azuladas.
luminosas.
estrella_joven:-azuladas,irregular.
irregular:-amarillenta.
irregular:-rosada.
amarillenta:-luminosas.
rosada:-luminosas.

práctica 3.6
Separar en frases sencillas, diferenciar predicados y términos, codificar en LPO y finalmente
codificar en Prolog.
● Las estrellas jóvenes son azuladas e irregulares. Las estrellas irregulares pueden
ser amarillentas o rosadas. Las estrellas amarillentas son luminosas. Las estrellas
 rosadas son luminosas. Hay estrellas que son jóvenes. Por consiguiente, existen
estrellas luminosas y azuladas.
○ azuladas.
○ luminosas.
○ estrella_joven:-azuladas,irregular.
○ irregular:-amarillenta.
○ irregular:-rosada.
○ amarillenta:-luminosas.
○ rosada:-luminosas.
● Las amapolas pueden ser plantadas tanto en épocas frías como cálidas. Si son
plantadas en épocas frías poseerán hojas verdes y separadas. Si son plantadas en
épocas cálidas poseerán flores de colores claros y regulares.
○ amapolas_plantadas:-frias,calidadas
● Las hormigas ibéricas pueden vivir tanto en lugares secos como en lugares
húmedos.Todas las hormigas construyen hormigueros. Algunos hormigueros son
subterráneos y otros son superficiales.

práctica 3.3

Simbolice de su lenguaje a la lógica:

Existe algún esclavo que no tiene padre
● (∃e Esclavo(e) ∧ ¬ (Padre(p,e)))
●
No es cierto que existan vaqueros cobardes.
● ¬(∃xCobarde()∧Vaquero(X) )

La función real g alcanza un máximo absoluto en x = Y​.

● (∃g función_real(g) ^ máximo _absoluto(g,x=Y)).

Ningún policía miente si es de noche.

● ∀x¬Policia(x)∧Miente(x)∧Noche(x)

Existe un único marciano.

● ∃!xMarciano(X)

Elmer es el padre más responsable de todos los padres.

● ∀xPadres(x)∧mas_responsable(elmer)

​Todas las vacas viven en China, y existe una vaca que no tiene dueño.
● (∀XVacas(X)∧Viven(X,china)) ∧(∃XVacas(X)∧¬dueño(X,Y))

Si hace frío, ocurre que al salir me resfrío.

● resfrio(Yo)⇔frio(Yo)∧salgo(Yo)

Práctica 3.3(continuación)
 (a) Todos aman a (b) Alguien ama a (c) Nadie ama a
alguien; alguien ; alguien.

● ∀x T(x) ^aman(x,Y) ● ∃x Aman(X, Y) ● ¬(∀x) Aman(X, Y)

● ∀x∃^aman( x,Y ) ● ∃x T(x) ^aman(x,Y)
● ∀​x Aman(x, Y) ● ∃x​∀​x ​^aman( x,Y )

Algunos tigres no son valientes.

● ∃x tigres(x)∧ ¬valientes(x)

(​a) Ningún oso es (b) Ningún animal [¿Son a y b

animal ; es oso equivalentes?]

● ∀x¬oso(x)∧animal(x) ● ∀x¬animal(x)∧oso(x) sino son equivalente

u otra posibilidad puede ser u otra posibilidad puede ser
● ∀xoso(x)→¬animal(x) ● ∀xanimal(x)→¬oso(x)

Si todos los soldados son calvos, entonces ningún calvo es civil.

● (∀xsoldados(x)∧calvos(x))→(∀x¬calvos(x)∧civil(x))
● (∀xsoldados(x)∧calvos(x))→(∀xcivil(x)∧¬calvos(x))

0 es el único natural que no es mayor que 0.

● (∃xn_naturales(x)∧numero_cero(x)^¬mayor_cero(x))

Ningún animal que no sea gato le gusta a Jean.

● ∀xanimal(x)→gato(x)∧gusta(x,jean)

Hay un barbero que afeita a todos los que no se afeitan a sí mismos.

● ∃x,∀y barbero(x)∧afeita(x,y)∧¬afeitan(x,x)

El nieto de Pabu conoce a una prima de Rambo que no conoce a ningún perro gris.
[No utilice las relaciones nieto y primo; defínalas utilizando
las relaciones padre, hijo y hermano].

● nieto(N,A):-padre(A,P),hijo(N,P).
● primo(J,C):-padre(A,J),padre(B,C),hermano(A,B).
 ● nieto(n,pabu)∧conoce(n,prima(x,rambo))∧¬conoce(rambo,(∀y¬perro(y)∧gr
is(y)).
Tome un párrafo de un periódico e intente simbolizarlo.
● La misión New Horizons de la NASA sobrevoló Plutón el pasado 14 de julio y
desde entonces está enviando datos e imágenes del planeta enano a la Tierra.
● sobrevolo_pluton(newhorizons)​∧datos(​newhorizons,pluton​)∧imagenes(​new
horizons,pluton​).