Avellaneda Vargas Margarita

Profesor

Herramientas de Lógica Computacional

Materia

Politécnico Grancolombiano
Universidad

Bogotá D.C Mayo 1 del 2021

 Luis Gerardo Salas Alfonso
100266192
Francisco Eduardo Aguilera
1611980839
John Alexander Henao Villa
100243974
Jairo Claro Andrade
2021020168
Ingrid Lissette Gómez Arias
2011024792
Presentado por

Herramientas de Lógica Computacional

Materia

Politécnico Grancolombiano
Universidad

Bogotá D.C Mayo 1 del 2021

 Tabla de contenido
Introducción ............................................................................................................................................ 4
1. Presentar un contexto en la ingeniería de sistemas en el que se use el cálculo de predicados. . 5
2. Exponer en el contexto presentado un ejemplo concreto del uso de los axiomas y teoremas del
cálculo de predicados. .................................................................................................................... 5
3. Exponer las limitaciones (si existen) del cálculo de predicados en el contexto que se haya
presentado. ..................................................................................................................................... 6
Conclusiones .......................................................................................................................................... 8
Bibliografía.............................................................................................................................................. 9
 Introducción

La Lógica Formal proporciona un medio para representar argumentos de una manera

formal y rigurosa, estudia los fundamentos relacionados con su validez y los métodos
para inferir proposiciones a partir de otras consideradas válidas.

Por su parte, la Lógica Computacional es una disciplina que estudia la aplicación de la

Lógica Formal para la representación computacional de argumentos, las técnicas de
deducción automática o asistida por computadora, los fundamentos relacionados con
validez de sistemas de proposiciones y, las aplicaciones de esas técnicas a las diferentes
áreas de las Ciencias Computacionales en todas las etapas del desarrollo del software,
es decir, especificación, diseño, construcción y verificación formal de programas.

Para demostrar una proposición se necesita básicamente un conjunto de hipótesis,

definiciones, transformación de fórmulas que son reglas de inferencia o deducción de
naturaleza sintáctica, y otros resultados demostrados con anterioridad o que son
considerados axiomáticamente verdaderos.

De acuerdo con las diferentes semánticas usadas a diario en el lenguaje cotidiano y el

incremento del uso de la lógica a través de la tecnología, ha hecho que cada vez estos
términos sean más integrados con la realidad, es decir, la lógica o cálculo matemáticos,
siempre ha sido uno de los pilares fundamentales y más importante en la programación,
ya sea esto la interacción entre máquinas, Hombre/Máquina o Máquina/Hombre.
 1. Presentar un contexto en la ingeniería de sistemas en el que se use el cálculo
de predicados.

En ingeniería de sistemas, el cálculo de predicados se utiliza en muchas áreas de la

programación y actualmente se utiliza en el campo de la inteligencia artificial para
determinar las diversas situaciones que pueden surgir en un entorno natural. Se recopiló
siguiendo acciones algorítmicas y esta información se almacenó en bases de datos, es
decir, los datos son el aprendizaje de las máquinas que les permite actuar como lo hace
la inteligencia humana. Por ejemplo, la inteligencia cognitiva se basa en el aprendizaje
estadístico. Se introducen en la máquina millones de definiciones, lemas, conceptos. Y
relaciones a través de axiomas y teoremas del cálculo de predicados para que aprendan
el contexto del lenguaje; Las máquinas leen la información, la interpretan y la justifican,
lo cual es un valor estratégico para la toma de decisiones.

También podemos decir que el cálculo de predicados a partir de la ingeniería de sistemas

tiene varios aspectos relacionados: la manera en que se puede estructurar un problema
a solucionar, cómo se produce la lógica. En el entorno de programación, el código es
siempre vital, y cualquier software de programación o ingeniero de sistemas debe
considerar cuándo la programación es la lógica que necesita tener al resolver o crear un
algoritmo en la inteligencia artificial, como cuando se desarrolla en el mismo campo. Lo
que importa es que la ingeniería debe brindar una descripción general de lo que debe
hacerse. Mucha gente cree que los programadores se sientan frente a una computadora
para comenzar a programar, como muestran las películas de piratas informáticos ficticios.
Pero esto es realmente una gran mentira porque cuando un desarrollador comienza a
escribir código y plantea la inteligencia artificial, es porque ya ha creado un esquema del
programa, una prueba de escritorio o algún otro método que le ayudará a obtener una
vista previa de los códigos de visualización que obtiene la inteligencia artificial.

2. Exponer en el contexto presentado un ejemplo concreto del uso de los

axiomas y teoremas del cálculo de predicados.

Ejemplo: Escribir en lenguaje común la negación de la proposición: "Ningún turista

Colombiano paga por acceder al zoológico de Santacruz"

Conjunto referencial (x): {personas}

Predicados:

p(x): turista

q (x): paga por acceder al zoológico de Santacruz

Simbolización: ∀x [p(x) → ¬q(x)]

Negación: ¬ {∀x [p(x) → ¬q(x)]}

1. Aplicar Ley de Morgan:

¬{∀x[p(x) → ¬q(x)]} ⇒ ∃x {¬[p(x) → ¬q(x)]}

2. Aplicar Axioma de la implicación:

∃x {¬[p(x) → ¬q(x)]} ⇒ ∃x {¬[¬p(x) V ¬q(x)]}

3. Aplicar Ley de Morgan:

∃x {¬[¬p(x) V ¬q(x)]} ⇒ ∃x {¬[¬p(x) ∧ ¬[¬q(x)]}

4. Aplicar Teorema doble negación

∃x {¬[¬p(x) ∧ ¬[¬q(x)]} ⇒ ∃x {p(x) ∧ q(x)]}

5. Por lo tanto la negación de ¬{∀x[p(x) → ¬q(x)]} equivale a ∃x {p(x) ∧ q(x)]}

“Existe al menos una persona que es turista colombiana y que paga por
acceder al zoológico Santacruz”

3. Exponer las limitaciones (si existen) del cálculo de predicados en el contexto

que se haya presentado.
Conclusiones
 Bibliografía

https://www.obsbusiness.school/blog/que-necesitas-para-aprender-programar-
inteligencia-artificial