Monografías Plus      Agregar a favoritos      Ayuda      Português      Ingles     

Deducción en la Lógica de Predicados

Enviado por Pablo Turmero



Partes: 1, 2

Monografias.com
Razonamiento Recordatorio: El razonamiento se utiliza para obtener nuevos hechos ciertos a partir de otros que lo son o al menos se supone que lo son. Por lo tanto razonar consiste en deducir las consecuencias de un conjunto de axiomas. Las reglas de deducción del Cálculo de Predicados permiten deducir a partir de un conjunto de axiomas cualquier consecuencia de ellos.
Monografias.com
Ejemplo de deducción Axiomas: Todas las personas andan Todo objeto que anda se mueve Juan no se mueve Demostrar que Juan no es una persona. Posible formalización con proposiciones: Demostrar ~Persona Juan sabiendo que ?x,(Persona x?Anda x), ?x,(Anda x?Mueve x) y ~Mueve Juan
Monografias.com
Ejemplo de deducción, II Utilizando las iniciales: Los símbolos de predicados unarios P, A y M representan las condiciones ser una persona, andar y moverse respectivamente. El símbolo de constante J representa a Juan. Axiomas: A = {?x,(Px?Ax); ?x,(Ax?Mx) ; ~MJ }
Monografias.com
Lenguaje lógico Un lenguaje lógico está formado por una colección de símbolos de variables, constantes, funciones y predicados. En este curso supondremos que hay al menos una constante, lo que implica que el conjunto de valores posibles de las variables no es vacío. Esta hipótesis se puede evitar, pero con demostraciones más complicadas.
Monografias.com
Lenguaje lógico, II En el ejemplo anterior hay una constante, J, y tres predicados unarios (P, A y M). Un lenguaje lógico determina dos lenguajes asociados: términos y fórmulas. En el ejemplo anterior hay un solo término, J, e infinitas fórmulas como las que se han mostrado como axiomas.
Monografias.com
Lenguaje lógico, III Otro ejemplo: Constantes: 0. Funciones: f (unaria). Predicados: = (binario infijo). Términos: fff…f0, fff…fx, etc. Predicados: f0=ff0, ?x,fx=0, etc.
Monografias.com
Lenguaje Lógico, IV Lenguaje de la Aritmética: Constantes: 0. Funciones: S (siguiente, unaria), + (suma, binaria infija) y * (producto, binaria infija). Predicado: = (binario infijo). Términos: SS0+S(x*y) etc. También abreviadamente: 2+(x*y+1), etc. Fórmulas: ?x,?y,~y+Sx=0, etc.
Monografias.com
Lenguaje Lógico, V Lenguaje de la Semiótica: Constantes: 0 (cadena vacía). Funciones: S? (anteposición, unaria) y + (concatenación, binaria). Predicado: = (binario infijo) Términos: SaSb0+Sa(x+y), etc. También abreviadamente: “ab”+Sa(x+y), etc. Fórmulas: ?x,?y,~y+Sx=0, etc.
Monografias.com
Ejemplo de deducción, III Recordamos nuestro ejemplo inicial: Predicados unarios: P (es persona), A (anda) y M (se mueve). Constante: J (Juan). Axiomas: ?x,(Px?Ax); ?x,(Ax?Mx) ; ~MJ.
Monografias.com
Ejemplo de deducción, IV De?x,(Px?Ax) se deduce PJ?AJ De lo anterior se deduce ~AJ?~PJ [*] De ?x,(Ax?Mx) se deduce AJ?MJ De lo anterior se deduce ~MJ?~AJ Por el modus ponens, de lo anterior y ~MJ se deduce ~AP. Por el modus ponens, de lo anterior y [*] se deduce ~PJ.
Monografias.com
Ejemplo de deducción, V La deducción anterior se escribe habitualmente como sigue: ?x,(Ax?Ux) [Axioma] AP?UP [R. de especificación] ~UP?~AP [R. implicación contrarr.] ~UP [Axioma] ~AP [Modus Ponens]
Monografias.com
Ejemplo de deducción, V ?x,(Mx?Ax) [Axioma] MP?AP [R. de especificación] ~AP ?~MP [R. implicación contrarr.] ~MP [Modus Ponens] La única regla nueva en el ejemplo anterior es la de especificación.
Monografias.com
Lógica de predicados: Reglas de deducción Todas las de la lógica proposicional, sustituyendo sus átomos por los de la lógica de predicados (con una limitación en la regla de deducción de implicaciones que se describirá enseguida).
Monografias.com
Lógica de predicados: Reglas de deducción, II Si permitiéramos lenguajes lógicos sin constantes habría que restringir la utilización del modus ponens para no permitir deducciones como x=x, x=x ? ?y,y=y ? ?y,y=y
Monografias.com
Lógica de predicados: Reglas de deducción, III Regla de especificación Ejemplo: ?a,~Sa=0 ? ~S(c+SS0)=0 - ??,? ? ? [?: Cualquier variable] - ??,? ? ??/? [?: Cualquier variable] [?: Término todas cuyas variables son nuevas] Sin la restricción anterior, habría deducciones falsas como ?a,?b,b=Sa ? ?b,b=Sb
Monografias.com
Lógica de predicados: Reglas de deducción, IV Regla de generalización: Ejemplo: (~x=0 ? ?y,x+x=SSy) ? ?x, (~x=0 ? ?y,x+x=SSy) - ? ? ??,? [?: Cualquier variable no ligada en ?]. Significado: Las variables libres pueden tener valor arbitrario.
Partes: 1, 2

Página siguiente 

Comentarios


Trabajos relacionados

Ver mas trabajos de Epistemologia

 
 

Nota al lector: es posible que esta página no contenga todos los componentes del trabajo original (pies de página, avanzadas formulas matemáticas, esquemas o tablas complejas, etc.). Recuerde que para ver el trabajo en su versión original completa, puede descargarlo desde el menú superior.


Todos los documentos disponibles en este sitio expresan los puntos de vista de sus respectivos autores y no de Monografias.com. El objetivo de Monografias.com es poner el conocimiento a disposición de toda su comunidad. Queda bajo la responsabilidad de cada lector el eventual uso que se le de a esta información. Asimismo, es obligatoria la cita del autor del contenido y de Monografias.com como fuentes de información.

Iniciar sesión

Ingrese el e-mail y contraseña con el que está registrado en Monografias.com

   
 

Regístrese gratis

¿Olvidó su contraseña?

Ayuda