Lógica de programación.

Walter Fernando Reyes Peña

LÓGICA MATEMÁTICA Y DIGITAL

Instituto IACC

12-10-2020.-
 DESARROLLO

1. De la siguiente línea de código:

a) Identifique las secciones: (Predicados - Cláusulas – Goal)
b) Identifique los hechos: Es el contenido de la sección Cláusulas
c) Mencione las reglas y la unificación en el caso de que exista.

Con el objeto de dar respuesta a los requerimientos que se nos presentan conforme a
las expresiones que se nos han dado, se responde lo siguiente (Ref. Pág 9 del manal):
 Mondeterm Hermana (STRING, STRING)
Mondeterm Hermano (STRING, STRING)
PREDICADOS Mondeterm Casado (STRING, STRING)
Mondeterm Cunado (STRING, STRING)

Casado (“Tiberio”, “Carolina”)

Casado (“Jaider”, “Adriana”)
Hermano (“Jaider”, “Tiberio”)
Hermana (“Adriana”, “Edna”)
Hermana (“Adriana”, “Mónica”)
CLÁUSULAS
Cunado (A, C),
Hermana (C, B),
Cunado (A, B),
Hermano (A, C)
Casado (C, B)

GOAL Cunado (“Jaider”, Z)

Con la finalidad de generar el diagrama se asignaros los siguientes valores (Ref. Pág
13):

A = Verdadero
G = Falso
K = Falso
L = Falso.
Determine el Valor de H

Procedimiento:

Regla 6: Preliminarmente conocemos que el valor de K y L son falsos, por lo usando

MPP el valor de M igualmente contendrá el valor Falso.

Regla 4: Del mismo modo sabemos que el valor de G es Falso, no obstante tenemos la
inseguridad del valor de C, por lo que, si conocemos el valor de K que es Falso y
aplicando MTT, el valor de C se le asigna el valor de Verdadero.
Regla 1: Continuando con la misma metodología, nos indican que el valor de A es
Verdadero, pero como habíamos calculado en la regla 4 que el valor de C es
Verdadero, aplicando MPP, entonces, B es Verdadero.

Regla 2: Ahora bien, en la Regla 4, vemos que el valor de G es Falso, por lo que si
aplicamos MTT, podemos deducir que una premisa de los valores de: D, E o F, tendrá
como valor Falsa.

Regla 5: Tomando conceptos de las reglas anteriores, vemos que G y J entonces L,

por lo que así concluimos que L es falsa, nuevamente usando la regla de MTT,
tenemos la claridad que J podría tener el valor de verdadera.

Regla 3: Por lo tanto, tenemos que si J tiene el valor de verdadera, aplicando la regla
de MPP, se concluye que H además de I obtendrán el valor Verdadera.

Diagrama:
Regla 1
A
C
Regla 4
B

K Regla 6
Regla 2
D

E G M

Regla 5
F
L

H Regla 3
J
I
 Mondeterm Hermano (STRING, STRING)
Mondeterm Hermana (STRING, STRING)
Mondeterm Padre (STRING, STRING)
PREDICADOS Mondeterm Madre(STRING,STRING)
Mondetern Abuelo(STRING,STRING)
Mondetern Mujer(STRING)
Mondetern Hombre(STRING)
Padre ("Julio", "Jaider").
Padre ("José", "Adriana").
Padre ("Jaider", "Pedro").
Hermanos ("Adriana", "Pedro").
Hermanos ("Pedro", "Luis").
Padres(X,Y):-Padre(X,Y);Madre(X,Y).
Abuelos(X,Y):-Padres(X,M),Padres(M,Y).
hijos(X,Y):-Padres(Y,X).
marido(X,Y):-hombre(X),mujer(Y),hijos(M,X),hijos(M,Y).
Hermana(X,Y):-
CLAUSULAS Madre(M,X),Madre(M,Y),Padre(F,X),Padre(F,Y),X=Y.
Abuelo(X,Y):-Padre(X,K),Padre(K,Y).
Abuelo(X,Y):-Padre(X,K),Madre(K,Y).
Abuela(X,Y):-Madre(X,K),Madre(K,Y).
Abuela(X,Y):-Madre(X,K),Padre(K,Y).
suegra(X,Y):-Madre(X,K),hombre(K),marido(K,Y).
suegra(X,Y):-Madre(X,K),mujer(K),marido(Y,K).
suegro(X,Y):-Padre(X,K),hombre(K),marido(K,Y).
suegro(X,Y):-Padre(X,K),mujer(K),marido(Y,K).
hijo(X,Y):-ninios(X,Y),hombre(X).
hija(X,Y):-hijos(X,Y),mujer(X).
GOAL Abuelo(Z, “Luis”)
REFERENCIAS BIBLIOGRÁFICAS

 IACC (2019). Lógica y matemática digital (Lógica de programación) – Semana 8.