Академический Документы
Профессиональный Документы
Культура Документы
Resumen.
LOGICA DE PREDICADOS.
1
Tabla de contenido.
Introduccion .......................................................................................................... 3
Traduccion en logica de predicados ......................................................................... 4
Aplicacion .................................................................................................................. 5
Conclusiones y recomendaciones ............................................................................. 9
Bibliografia ................................................................................................................ 9
Agradecimientos ........................................................................................................ 9
2
Introduccion.
Hemos visto en clases anteriores como la logica proposicional nos permite encontrar la
valides formal de una inferencia atendiendo a las letras enunciativas y a los conectores
presentes en un argumento. El problema surge sin embargo, cuando nos encontramos
con razonamientos que, siendo formalmente validos, no deben tal validez unicamente a
la naturaleza de sus letras enunciativas y sus conectores logicos, si no que tenemos que
ir mas haya de los mismos con el objeto de poder demostrar tal validez.
Ejemplo:
Si solo existiera la logica de enunciados nos encontrariamos con una inferencia que no
seria valida formalmente de ¬p ^ q es imposible poder derivar ¬r, y, sin embargo el
sentido comun nos dice que en este razonamiento, suponiendo que las premisas fueran
ciertas, parece evidente que podria seguirse la conclusion señalada.
Simbolos de conectivos:
• ¬ = Negacion.
• ˆ = Conjuncion 'y'
• ˇ = Disyuncion 'o'
• → = Implicacion
• ↔ = Dobleimplicacion
Signos de puntuacion:
• Parentesis ( ) y coma ,
∀X
Establece que “para todo X, es verdad que . . .”
∃X
Establece que “existe un X, tal que . . .”
Bibliografia.
Agradecimientos.
A dios que nos dio la fuerza y el entendimiento para terminar este documento.
A los amigos que nos apoyaron explicandonos temas del curso de logica.
A nuestros jefes que nos dejaron faltar al trabajo por concluir todas nuestras
materias.
Al profesor, por su comprencion y ayuda en la hora de clases.