Módulo Teórico

Entrega

Módulo

Herramientas de Lógica Computacional

Nombre de la entrega

Métodos de demostración y cálculo de predicados

Nivel académico

Profesional

Tipo de entrega

Resumen
 INSTRUCCIONES PARA
REALIZAR LA ENTREGA
Nota
Tenga en cuenta que el tutor le indicará qué herramienta requiere y qué
estrategia deberá desarrollar para evidenciar su participación individual
en un trabajo colaborativo.

ENTREGA SEMANA 4

En la semana 4 debe presentar en un archivo PDF un resumen sobre los diferentes métodos de
demostración en el sistema ecuacional. Para ello deberá completar la siguiente tabla:

Nombre del Descripción en palabras Condiciones del

Ejemplo del método
método del método método

En la que:

• Nombre del método: corresponde al nombre del esquema de demostración.

• Descripción en palabras del método: indicar en palabras cómo funciona el esquema de
demostración.

• Ejemplo del método: presentar un teorema del cálculo proposicional y la comprobación del
mismo empleando el esquema de demostración descrito en la columna anterior. Este ejemplo
no puede ser alguno de los desarrollados en la Lectura fundamental del Módulo.

POLITÉCNICO GRANCOLOMBIANO
22
 • Condiciones del método: resaltar en esta columna, si aplica, las condiciones necesarias
para usar el esquema de demostración.

La evaluación de esta actividad estará fundamentada en:

• Resumen que contenga todos los esquemas de demostración.

• La descripción de cada método es clara, es de elaboración propia y no corresponde a una
transcripción de lo presentado en alguna de la Lectura fundamental del Módulo.

• La comprobación presentada en el ejemplo aplica correctamente el esquema de

demostración

• Se exponen correctamente las condiciones de cada método.

ENTREGA SEMANA 7

Objetivo de esta entrega: explorar el uso del cálculo de predicados en su campo profesional.

Actividad: cada estudiante debe presentar un campo de la ingeniería de sistemas donde se

haga uso del cálculo de predicados, para lo cual se espera que cada aporte contenga una
descripción completa y clara del contexto en el que se usa el cálculo de predicados, un
ejemplo concreto en ese contexto y si existen limitaciones de uso.

Entrega: archivo PDF

• Presentar un contexto en la ingeniería de sistemas en el que se use el cálculo de predicados.

• Exponer en el contexto presentado un ejemplo concreto del uso de los axiomas y teoremas
del cálculo de predicados.

• Exponer las limitaciones (si existen) del cálculo de predicados en el contexto que se haya
presentado.

POLITÉCNICO GRANCOLOMBIANO
33
La evaluación de esta actividad estará fundamentada en:

• El contexto presentado sí requiere el uso del cálculo de predicados.

• Se expone un ejemplo concreto del uso del cálculo de predicados.
• Se exponen las limitaciones (si existen) del cálculo de predicados en el contexto dado.

POLITÉCNICO GRANCOLOMBIANO
44