• Author / Uploaded
• juan godoy

Citation preview

UNIVERSIDAD NACIONAL DE JUJY Facultad de Ingenieria

Ingeniería en Informática Licenciatura en Sistemas

TRABAJO PRÁCTICO Nº 4 Cálculo de Predicados

Lógica Computacional

2018

1. Formalizar considerando como dominio un conjunto de personas, los predicados: "B(x) = x es un barbero. I(x,y) = x es igual a y. A(x,y) = x afeita a y " y la constante "j=Juan" a) b) c) d) e) f) g) h) i) j)

"Todos los barberos son afeitados por sí mismos". "Sólo hay un barbero". "No hay nadie que afeite a un barbero". "Algún barbero es afeitado por diferentes personas". "Existe un barbero que afeita a todos los que no se afeitan a sí mismos". "Juan afeita a los que no se afeitan a sí mismos". "Sólo los barberos afeitan a los que no se afeitan a sí mismos". "Hay barberos que no afeitan a nadie pero Juan afeita a alguien". "Todos son barberos y afeitan a Juan sólo si Juan no se afeita a sí mismo". "Los barberos no afeitan a Juan a menos que Juan sea barbero".

2. Formalizar las siguientes frases: a) "Sólo los pájaros o los aviones son capaces de volar. Las personas que viajan en avión son capaces de volar. Federico es una persona que viaja en avión, pero no es un avión. Luego Federico es un pájaro”. ASIGNAR: PE(x) = “x es una persona”

CV(x) = “x es capaz de volar”

PA(x) = “x es un pájaro”

F = “Federico”

A(x) = “x es un avión”

VA(x) = x viaja en avión

b) "Todos los tiburones comen a alguna persona. Los peces largos y blancos son tiburones. Existen peces largos y blancos viviendo en aguas profundas. Cualquier persona comida por un pez de agua profunda es buceador. Por tanto: Existen buceadores”. ASIGNAR: T(x) = ”x es un tiburón”

P(x) = ”x es una persona”

C(x,y) = ”x come a y”

LB(x) = ”x es un pez largo y blanco”

AP(x) = ”x vive en aguas profundas” B(x) = ”x es buceador” c) "No existen funciones recursivas primitivas que no sean totales. Una función no es recursiva primitiva a menos que sea computable. La función de Ackerman no es recursiva primitiva. Por tanto, se puede concluir que: Es suficiente que la función de Ackerman sea total y computable para que no todas las funciones totales y computables sean recursivas primitivas". ASIGNAR: R(x) = “x es recursiva primitiva” T(x) = “x es total”

Profesor Adjunto: Mg. Ing. Héctor Pedro Liberatori Aydante de 1º: Mg. Ing. Sebastián Figueroa

C(x) = “x es computable”

1

UNIVERSIDAD NACIONAL DE JUJY Facultad de Ingenieria

TRABAJO PRÁCTICO Nº 4 Cálculo de Predicados

Ingeniería en Informática Licenciatura en Sistemas Lógica Computacional

2018

d) “Todo el que estudia lógica aprenderá algo interesante y estará capacitado para cualquier alto cargo. Los alumnos del plan nuevo tienen la suerte de enfrentarse a la asignatura más valiosa de su vida académica: la lógica. Cualquiera puede llegar a ser presidente siempre que esté capacitada para algún alto cargo. Carmela se ha matriculado en el plan nuevo y existen altos cargos. Luego Carmela puede llegar a ser presidente" ASIGNAR: E(x,y)="x estudia y”

A(x,y)="x aprende y"

I(x)="x es interesante"

L(x)="x es un alto cargo"

N(x)="x está en el plan nuevo"

C(x,y)="x está capacitado para y"

P(x)="x puede llegar a ser presidente" l="lógica" c="Carmela

Profesor Adjunto: Mg. Ing. Héctor Pedro Liberatori Aydante de 1º: Mg. Ing. Sebastián Figueroa

2