Reglas de inferencias logicas

Solo disponible en BuenasTareas
  • Páginas : 15 (3627 palabras )
  • Descarga(s) : 0
  • Publicado : 28 de enero de 2011
Leer documento completo
Vista previa del texto
1 Regla de Inferencia
En lógica, especialmente en lógica matemática, una regla de inferencia es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una aserción llamada conclusión.
Estas relaciones sintácticas son usadas en el proceso de inferencia, por el que se llega a nuevas aserciones verdaderas apartir de otras ya conocidas. Las reglas también se aplican a la lógica informal y a las discusiones, pero la formulación es mucho más difícil y polémica.
Como se mencionó, la aplicación de una regla de inferencia es un procedimiento puramente sintáctico. Sin embargo, debe también ser el válido, o mejor dicho, preservar la validez. Para que el requisito de preservación de la validez tengasentido, es necesaria una cierta forma semántica para las aserciones de las reglas de inferencia y las reglas de inferencia en sí mismas.
Algunas de las reglas de inferencia más conocidas son:
En la lógica proposicional:
* Modus ponendo ponens
* Modus ponendo tollens
* Modus tollendo ponens
* Modus tollendo tollens
* Silogismo hipotético
* Silogismo disyuntivo
En la lógica deprimer orden:
* Regla de Generalización universal
En la lógica modal:
* Regla de Necesitación

2 Modus Ponendo Ponens
En lógica, el modus ponendo ponens (en latín, modo que afirmando afirma), también llamado modus ponens y generalmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente forma:
Si A, entonces B
A
Por lo tanto, B
Por ejemplo, un razonamiento quesigue la forma del modus ponens podría ser:
Si está soleado, entonces es de día.
Está soleado.
Por lo tanto, es de día.
Otro ejemplo sería
Si Javier tiene rabia, es una nube.
Javier tiene rabia.
Por lo tanto, Javier es una nube.
Otra manera de presentar el modus ponens con el condicional es:

Y aún otra manera es a través de la notación del cálculo de secuentes: Con condicional:

En laaxiomatización de la lógica proposicional propuesta por Jan Łukasiewicz, el modus ponens es la única regla de inferencia primitiva. Esto ha motivado que mucha de la discusión en torno al problema de la justificación de la deducción se haya centrado en la justificación del modus ponens.

3 Demostracion en Doble Paso
La teoría de la demostración o teoría de pruebas nos proporciona
métodosalternativos a las tablas de verdad para averiguar
² la validez de una fórmula proposicional: si ' es una fórmula
válida se dice que es demostrable y se escribe ` ':
² si una fórmula ' es consecuencia lógica de un conjunto de
premisas ©: si ' es consecuencia lógica de © se dice que ' es
deducible en el sistema a partir de © y se escribe © ` ':
El objetivo principal de cualquier teoría de pruebas esdemostrar la validez
de fórmulas, independientemente del contexto particular que se estén
considerando: la demostración de la validez de una fórmula o de una deducci
ón en un sistema de demostración no se desarrolla teniendo en cuenta todas
las posibles valoraciones, se obtiene utilizando una secuencia nita de pasos
y, en cada uno de ellos, se aplican las reglas de inferencia del sistema.
Yacomentamos que los sistemas de demostración se suelen dividir endos clases: sistemas directos y sistemas indirectos (o por refutación).
Los primeros aplican una cadena nita de reglas de inferencia hasta llegar
77
78
a la fórmula que se quiere demostrar. Los segundos aplican la técnica de
reducción al absurdo.
Siendo sistemas clásicos, los sistemas de demostración directos tienen
interéshistórico y además son los más naturales ya que son los más cercanos
a la forma de razonamiento habitual.
Los sistemas directos son adaptables a lógicas no clásicas, pero son de
difícil automatización.
Lo sistemas de demostración indirectos son más modernos y adecuados
para su automatización, pero no son aplicables a lógicas distintas de las
lógicas clásicas.
En este capítulo estudiaremos...
tracking img