Correccion de la hoja de costos estmados

INTRODUCCIÓN A LA LÓGICA DE PREDICADOS
Hemos visto como la Lógica Proposicional nos permite descubrir la validez formal de una inferencia atendiendo esencialmente a las letras enunciativas y a losconectores presentes en un argumento. El problema surge, sin embargo, cuando nos encontramos con razonamientos que, siendo formalmente válidos, no deben tal validez unicamente a la naturaleza de susletras enunciativas y sus conectores lógicos, sino que tenemos que ir más allá de los mismos con el objeto de poder demostrar tal validez. Veamos un ejemplo:
Ningún fosil puede estartraspasado de amor
Una ostra puede estar traspasada de amor
.....................................................
Las ostras no son fósiles
Sisolamente existiera la lógica de Enunciados nos encontraríamos con una inferencia que no sería válida formalmente [de ¬p y q es imposible poder derivar ¬r], y, sin embargo, el sentido común nos dice que eneste razonamiento, suponiendo que las premisas fueran ciertas, parece evidente que podría seguirse la conclusión señalada.
Por suerte la Lógica dispone de otros recursos para hacer frente a este tipode inferencias.En este sentido, en Lógica de Predicados, este argumento podría simbolizarse así:
* "x (Fx ® ØPx)
* "x (0x ® Px)----------------------------------------------------------------------
* "x (0x ® Ø(Fx)
De todos modos, e independientemente de esta formalización distinta a la de la Lógica de Enunciados, la cual atendía esencialmente a sus letras enunciativas y susconectores, ahora, en la Lógica de Predicados es necesario tener presente otros elementos
ELEMENTOS ESENCIALES EN LOGICA DE PREDICADOS

Hemos visto que la Lógica de Enunciados se basaba esencialmente endos tipos de elementos: las letras enunciativas y los conectores.
Pues bien, en la Lógica de Predicados los elementos esenciales son tres:
* Expresiones que se refieren a Individuos
*...