Regla de inferencia

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 a partir 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 tenga sentido, es necesaria una cierta forma semántica para las aserciones de las reglas de inferencia y las reglas de inferencia en sí mismas.

Reglas de inferencia clásicas

Algunas de las reglas de inferencia más conocidas son:

En la lógica proposicional:

En la lógica de primer orden:

  • Regla de Generalización universal

En la lógica modal:

  • Regla de Necesitación

Véase también


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Regla — Saltar a navegación, búsqueda Una regla es: Regla Juridica: Derechos Y Obligaciones De Una Persona. Instrumento de medición: regla (instrumento) En lógica y matemática: Regla de inferencia, un método para construir inferencias válidas. Axioma,… …   Wikipedia Español

  • Inferencia — Una inferencia es una evaluación que realiza la mente entre expresiones bien formadas de un lenguaje (EBF) que, al ser relacionadas intelectualmente como abstracción, permiten trazar una línea lógica de condición o implicación lógica entre las… …   Wikipedia Español

  • regla — (Del lat. regŭla). 1. f. Instrumento de madera, metal u otra materia rígida, por lo común de poco grueso y de forma rectangular, que sirve principalmente para trazar líneas rectas, o para medir la distancia entre dos puntos. 2. Aquello que ha de… …   Diccionario de la lengua española

  • Inferencia bayesiana — La inferencia bayesiana se aplica a muchos dominios de la teoría de la decisión La inferencia bayesiana es un tipo de inferencia estadística en la que las evidencias u observaciones se emplean para actualizar o inferir la probabilidad de que una… …   Wikipedia Español

  • Regla — (Del lat. regula.) ► sustantivo femenino 1 Instrumento hecho de material rígido de forma rectangular que sirve para trazar líneas rectas o para medir la distancia entre dos puntos: ■ para hacer dibujo lineal es imprescindible una regla. SINÓNIMO… …   Enciclopedia Universal

  • Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… …   Wikipedia Español

  • Lógica modal — Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.[1] Los operadores modales son expresiones que califican la verdad de los juicios.[1] Por ejemplo, en la oración es… …   Wikipedia Español

  • Silogismo — El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como premisas y otra como conclusión, siendo la última una inferencia necesariamente deductiva de las otras dos. Fue formulado por primera vez por Aristóteles, en …   Wikipedia Español

  • Lógica — La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico,… …   Wikipedia Español

  • Demostración automática de teoremas — Saltar a navegación, búsqueda Para otros usos de este término, véase Demostración. La demostración automática de teoremas (de siglas ATP, por el término en inglés …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”