Control 8

Jorge Olguín Leiva

Lógica Matemática y Digital

Instituto IACC

17/03/2019
 Desarrollo

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

a) Identifique las secciones.
Las secciones serian; Predicados, Cláusulas y Goal.
b) Identifique los hechos.
Los hechos son todo el contenido de la sección Clausulas.
c) Mencione las reglas y la unificación en el caso de que exista.
El procedimiento de unificación consiste en hacer coincidir dos expresiones. Esto se logra
básicamente reemplazando variables por constantes u otras variables.
En este caso, Cunado (A,C), Hermana (C,B), etc.

Predicados
Mondeterm Hermana (STRING, STRING)
Mondeterm Hermano (STRING, STRING)
Mondeterm Casado (STRING, STRING)
Mondeterm Cunado (STRING, STRING)
Cláusulas
Casado (“Tiberio”, “Carolina”)
Casado (“Jaider”, “Adriana”)
Hermano (“Jaider”, “Tiberio”)
Hermana (“Adriana”, “Edna”)
Hermana (“Adriana”, “Mónica”)
Cunado (A, C),
Hermana (C, B),
Cunado (A, B),
Hermano (A, C)
Casado (C, B)
Goal
Cunado (“Jaider”, Z)
2) Siendo las siguientes reglas, diseñe el diagrama de bloques correspondiente:

Regla 1 Regla 2 Regla 3 Regla 4 Regla 5 Regla 6

Si A y B Si D, E y F Si H y I Si C y G Si G y J Si K y L
Entonces C Entonces G Entonces J Entonces K Entonces L Entonces M

Para hacer el diagrama asigne los valores A = Verdadero, G = Falso, K = Falso, L = Falso,
determine el Valor de H, mediante la estrategia de encadenamiento de reglas orientado a un objetivo.
Regla 6: Sabemos que K y L son falsos, por lo que mediante Modus Ponendo Ponens M también
será Falso.
Regla 4: Por otro lado sabemos que G es falso pero no sabemos que es C, pero como K es falso y
aplicando Modus Tollendo Tollens, C será verdadero.
Regla 1: Siguiendo la misma línea, nos dicen que A es verdadero, y como dedujimos que C
también es verdadero, aplicando Modus Ponendo Ponens, B es verdadero
Regla 2: Nos dicen que G es falso, por lo que Modus Tollendo Tollens, al menos una premisa (D,
E o F), será falsa.
Regla 5: Sucede lo mismo que en la regla 4, ya que si G y J entonces L y sabemos que L es falso,
nuevamente por ModusTollendo Tollens J puede ser verdadero.
Regla 3: Entonces, si J es verdadera, podemos aplicar Modus Ponendo Ponens y tanto H como I
serán Verdadera.
3) Diseñe un algoritmo que permita hallar los abuelos de Luis, basándose en los siguientes hechos.
Julio es el padre de Jaider
José es el padre de Adriana
Jaider es el padre de pedro
Adriana es la hermana de pedro
Pedro es hermano de Luis

Lamento no completar esta pregunta, no pude entender bien el concepto, por más que busque

información en la web pero esta es bastante escueta y difícil de entender. Por tiempo solo

completaré las dos primeras.

 Bibliografía

Link 1 Acceso

Link 2 Acceso