Anexo:Reglas de inferencia

Reglas de transformación
Lógica proposicional
Reglas de inferencia
Modus tollendo tollens / ponens Modus ponendo ponens / tollens Introducción del bicondicional / eliminación Introducción de la conjunción / eliminación Introducción de la disyunción / eliminación Silogismo disyuntivo / hipotético Dilema constructivo / destructivo Absorción
Reglas de reemplazo
Asociatividad Conmutatividad Distributividad Doble negación Leyes de De Morgan Transposición Implicación material Exportación Tautología Introducción de la negación
Lógica predicativa
Generalización / instanciación universal Generalización / instanciación existencial
Lógica modal

Esta es una lista de reglas de inferencia, leyes lógicas que están relacionadas con fórmulas matemáticas.

Introducción

Las reglas de inferencia son reglas de transformación sintácticas que se pueden usar para inferir una conclusión a partir de una premisa para crear un argumento. Se puede utilizar un conjunto de reglas para inferir cualquier conclusión válida si es completa, mientras que nunca se infiere una conclusión válida, si no es segura. Un conjunto de reglas completo y seguro no necesita incluir todas las reglas de la siguiente lista, ya que muchas de las reglas son redundantes, y se pueden probar mediante las demás reglas.

Las reglas de descarga permiten la inferencia de una subderivación basada en una suposición temporal. La notación siguiente

$\varphi \vdash \psi \,\!$

indica dicha subderivación a partir del supuesto temporal $\varphi \,\!$ to $\psi \,\!$.

Reglas para la lógica sentencial clásica

La lógica sentencial también se conoce como lógica proposicional.

Reglas para la negaciones

Reductio ad absurdum (o Introducción de la Negación)

$\varphi \vdash \psi \,\!$

${\underline {\varphi \vdash \lnot \psi }}\,\!$

$\lnot \varphi \,\!$

Reductio ad absurdum (relacionada con el principio del tercero excluido)

$\lnot \varphi \vdash \psi \,\!$

${\underline {\lnot \varphi \vdash \lnot \psi }}\,\!$

$\varphi \,\!$

No contradicción (o Negación de la eliminación)

$\varphi \,\!$

${\underline {\lnot \varphi }}\,\!$

$\psi \,\!$

Eliminación de la doble negación

${\underline {\lnot \lnot \varphi }}\,\!$

$\varphi \,\!$

Introducción de la doble negación

${\underline {\varphi \quad \quad }}\,\!$

$\lnot \lnot \varphi \,\!$

Reglas para condicionales

Teorema de la deducción (o Introducción del Condicional)

${\underline {\varphi \vdash \psi }}\,\!$

$\varphi \rightarrow \psi \,\!$

Modus ponens (o Eliminación del Condicional)

$\varphi \rightarrow \psi \,\!$

${\underline {\varphi \quad \quad \quad }}\,\!$

$\psi \,\!$

Modus tollens

$\varphi \rightarrow \psi \,\!$

${\underline {\lnot \psi \quad \quad \quad }}\,\!$

$\lnot \varphi \,\!$

Reglas para conjunciones

Adjunción (o Introducción de la Conjunción)

$\varphi \,\!$

${\underline {\psi \quad \quad \ \ }}\,\!$

$\varphi \land \psi \,\!$

Simplificación (o Eliminación de la Conjunción)

${\underline {\varphi \land \psi }}\,\!$

$\varphi \,\!$

${\underline {\varphi \land \psi }}\,\!$

$\psi \,\!$

Reglas para disyunciones

Adición (o Introducción de la Disyunción)

${\underline {\varphi \quad \quad \ \ }}\,\!$

$\varphi \lor \psi \,\!$

${\underline {\psi \quad \quad \ \ }}\,\!$

$\varphi \lor \psi \,\!$

Análisis de casos

$\varphi \lor \psi \,\!$

$\varphi \rightarrow \chi \,\!$

${\underline {\psi \rightarrow \chi }}\,\!$

$\chi \,\!$

Silogismo disyuntivo

$\varphi \lor \psi \,\!$

${\underline {\lnot \varphi \quad \quad }}\,\!$

$\psi \,\!$

$\varphi \lor \psi \,\!$

${\underline {\lnot \psi \quad \quad }}\,\!$

$\varphi \,\!$

Reglas para bicondicionales

Introducción del bicondicional

$\varphi \rightarrow \psi \,\!$

${\underline {\psi \rightarrow \varphi }}\,\!$

$\varphi \leftrightarrow \psi \,\!$

Eliminación del bicondicional

$\varphi \leftrightarrow \psi \,\!$

${\underline {\varphi \quad \quad }}\,\!$

$\psi \,\!$

$\varphi \leftrightarrow \psi \,\!$

${\underline {\psi \quad \quad }}\,\!$

$\varphi \,\!$

$\varphi \leftrightarrow \psi \,\!$

${\underline {\lnot \varphi \quad \quad }}\,\!$

$\lnot \psi \,\!$

$\varphi \leftrightarrow \psi \,\!$

${\underline {\lnot \psi \quad \quad }}\,\!$

$\lnot \varphi \,\!$

$\varphi \leftrightarrow \psi \,\!$

${\underline {\psi \lor \varphi }}\,\!$

$\psi \land \varphi \,\!$

$\varphi \leftrightarrow \psi \,\!$

${\underline {\lnot \psi \lor \lnot \varphi }}\,\!$

$\lnot \psi \land \lnot \varphi \,\!$

Reglas de la lógica de predicados clásica

En las siguientes reglas, $\varphi (\beta /\alpha )\,\!$ es exactamente igual que $\varphi \,\!$ excepto por tener el término $\beta \,\!$ en todas partes $\varphi \,\!$ tiene la variable libre $\alpha \,\!$.

Generalización Universal (o Introducción Universal)

${\underline {\varphi {(\beta /\alpha )}}}\,\!$

$\forall \alpha \,\varphi \,\!$

Restricción 1: $\beta$ es una variable que no ocurre en $\varphi$.
Restricción 2: $\beta$ no se menciona en ninguna hipótesis ni suposiciones no rehabilitadas.

Instanciación Universal (o Eliminación Universal)

$\forall \alpha \,\varphi \!$

${\overline {\varphi {(\beta /\alpha )}}}\!$

Restricción: No hay ocurrencia libre de $\alpha \,\!$ in $\varphi \,\!$ cae dentro del alcance de un cuantificador cuantificar una variable que ocurre en $\beta \,\!$.

Generalización Existencial (o Introducción Existential)

${\underline {\varphi (\beta /\alpha )}}\,\!$

$\exists \alpha \,\varphi \,\!$

Instanciación Existencial (o Eliminación Existential)

$\exists \alpha \,\varphi \,\!$

${\underline {\varphi (\beta /\alpha )\vdash \psi }}\,\!$

$\psi \,\!$

Restricción 1: $\beta$ es una variable que no ocurre en $\varphi \,\!$.
Restricción 2: No hay ocurrencia, libre o unida, de $\beta \,\!$ in $\psi \,\!$.
Restricción 3: $\beta$ no se menciona en ninguna hipótesis ni suposiciones no rehabilitadas.

Tabla: Reglas de Inferencia

Las reglas anteriores se pueden resumir en la siguiente tabla.​ La columna "Tautología" muestra cómo interpretar la notación de una regla dada.

Regla de inferencia	Tautología	Nombre
${\begin{aligned}p\\p\rightarrow q\\\therefore {\overline {q\quad \quad \quad }}\\\end{aligned}}$	$((p\wedge (p\rightarrow q))\rightarrow q$	Modus ponens
${\begin{aligned}\neg q\\p\rightarrow q\\\therefore {\overline {\neg p\quad \quad \quad }}\\\end{aligned}}$	$((\neg q\wedge (p\rightarrow q))\rightarrow \neg p$	Modus tollens
${\begin{aligned}(p\vee q)\vee r\\\therefore {\overline {p\vee (q\vee r)}}\\\end{aligned}}$	$((p\vee q)\vee c)\rightarrow p\vee (p\vee q)$	Asociativas
${\begin{aligned}p\wedge q\\\therefore {\overline {q\wedge p}}\\\end{aligned}}$	$(p\wedge q)\rightarrow (q\wedge p)$	Conmutativa
${\begin{aligned}p\rightarrow q\\q\rightarrow p\\\therefore {\overline {p\Leftrightarrow q}}\\\end{aligned}}$	$((p\rightarrow q)\wedge (q\rightarrow p))\rightarrow \ p\Leftrightarrow q$	Ley de proposiciones bicondicionales
${\begin{aligned}(p\wedge q)\rightarrow r\\\therefore {\overline {p\rightarrow (q\rightarrow r)}}\\\end{aligned}}$	$p\rightarrow (q\rightarrow r)$	Exportación
${\begin{aligned}p\rightarrow q\\\therefore {\overline {\neg q\rightarrow \neg p}}\\\end{aligned}}$	$(p\rightarrow q)\rightarrow (\neg q\rightarrow \neg p)$	Transposición o ley del contrarrecíproco
${\begin{aligned}p\rightarrow q\\q\rightarrow r\\\therefore {\overline {p\rightarrow r}}\\\end{aligned}}$	$((p\rightarrow q)\wedge (q\rightarrow r))\rightarrow (p\rightarrow r)$	Silogismo hipotético
${\begin{aligned}p\rightarrow q\\\therefore {\overline {\neg p\vee q}}\\\end{aligned}}$	$(p\rightarrow q)\rightarrow (\neg p\vee q)$	Implicación material
${\begin{aligned}(p\vee q)\wedge r\\\therefore {\overline {(p\wedge r)\vee (q\wedge r)}}\\\end{aligned}}$	$((p\vee q)\wedge r)\rightarrow ((p\wedge r)\vee (q\wedge r))$	Distributiva
${\begin{aligned}p\rightarrow q\\\therefore {\overline {p\rightarrow (p\wedge q)}}\\\end{aligned}}$	$p\rightarrow (p\wedge q)$	Absorción
${\begin{aligned}p\vee q\\\neg p\\\therefore {\overline {q\quad \quad \quad }}\\\end{aligned}}$	$((p\vee q)\wedge \neg p)\rightarrow q$	Silogismo disyuntivo
${\begin{aligned}p\\\therefore {\overline {p\vee q}}\\\end{aligned}}$	$p\rightarrow (p\vee q)$	Adición
${\begin{aligned}p\\q\\\therefore {\overline {p\wedge q}}\\\end{aligned}}$	$((p)\wedge (q))\rightarrow (p\wedge q)$	Adjunción
${\begin{aligned}p\wedge q\\\therefore {\overline {p\quad \quad \quad }}\\\end{aligned}}$	$(p\wedge q)\rightarrow p$	Simplificación
${\begin{aligned}p\\q\\\therefore {\overline {p\wedge q}}\\\end{aligned}}$	$((p)\wedge (q))\rightarrow (p\wedge q)$	Conjunción
${\begin{aligned}p\\\therefore {\overline {\neg \neg p}}\\\end{aligned}}$	$p\rightarrow (\neg \neg p)$	Doble negación
${\begin{aligned}p\vee p\\\therefore {\overline {p\quad \quad \quad }}\\\end{aligned}}$	$(p\vee p)\rightarrow p$	Simplificación disyuntiva
${\begin{aligned}p\vee q\\\neg p\vee r\\\therefore {\overline {q\vee r}}\\\end{aligned}}$	$((p\vee q)\wedge (\neg p\vee r))\rightarrow (q\vee r)$	Resolución

Todas las reglas de uso de los operadores lógicos básicos. Se muestra una tabla completa de "operadores lógicos" mediante una tabla de verdad, dando definiciones de todas las posibles (16) funciones de verdad de las 2 variables booleanas (p, q):

p	q		0	1	2	3	4	5	6	7		8	9	10	11	12	13	14	15
V	V		F	F	F	F	F	F	F	F		V	V	V	V	V	V	V	V
V	F		F	F	F	F	V	V	V	V		F	F	F	F	V	V	V	V
F	V		F	F	V	V	F	F	V	V		F	F	V	V	F	F	V	V
F	F		F	V	F	V	F	V	F	V		F	V	F	V	F	V	F	V

donde V = verdadero y F = falso, y, las columnas son los operadores lógicos: 0, falso, Contradicción; 1, NOR, NOR lógico; 2, Conversión no implicación; 3, ¬p, Negación; 4, No implicación material; 5, ¬Q, Negación; 6, XOR, Disyunción exclusiva; 7, NAND, NAND lógico; 8, Y, Conjunción lógica; 9, XNOR, Si y solo si, Bicondicional lógico; 10, q, Función de proyección; 11, si/entonces, Implicación lógica; 12, p, Función de proyección; 13, entonces/si, Implicación inversa; 14, O, Disyunción lógica; 15, verdad, Tautología.

Cada operador lógico se puede utilizar en una afirmación acerca de variables y operaciones, mostrando una regla básica de inferencia. Ejemplos:

• El operador de la columna-14 (O), muestra la Regla de la adición: cuando p=V (la hipótesis selecciona las dos primeras líneas de la tabla), vemos (en la columna-14) que p∨q=V.

  Se puede ver también que, con la misma premisa, otras conclusiones son válidas: las columnas 12, 14 y 15 son V.

• El operador de la columna-8 (Y), muestra la Regla de simplificación: cuando p∧q=V (primera línea de la tabla), se ve que p=V.

  Con esta premisa, también se concluye que q=V, p∨q=V, etc. como se muestra por columnas 9-15.

• El operador de la columna-11 (SI/ENTONCES), muestra la Regla Modus ponens: cuando p→q=V y p=V sólo una línea de la tabla de verdad (la primera) satisface estas dos condiciones. En esta línea, q también es cierta. Por lo tanto, cada vez que p→q es cierta y p es cierta, q también debe ser cierta.

Ejemplo 1

Consideremos los siguientes supuestos: "Si llueve hoy, entonces no vamos a entrar en una canoa. Si hoy no nos vamos en un viaje en canoa, entonces vamos a ir en un viaje en canoa mañana. Por lo tanto (símbolo matemático para "por lo tanto", es $\therefore$), si llueve hoy, vamos a ir en un viaje en canoa de mañana". Para hacer uso de las reglas de inferencia en la tabla anterior que sea P la proposición "Si llueve hoy", $q$ sea "No vamos a entrar en una canoa hoy" y sea $r$ "Vamos a ir en un viaje en canoa de mañana". Entonces este argumento es de la forma:

${\begin{aligned}p\rightarrow q\\q\rightarrow r\\\therefore {\overline {p\rightarrow r}}\\\end{aligned}}$

Ejemplo 2

Consideremos un conjunto más complejo de hipótesis: "No está soleado hoy y hace más frío que ayer". "Vamos a ir a nadar solamente si está soleado", "Si no vamos natación, entonces tendremos una barbacoa", y "Si vamos a tener una barbacoa, entonces vamos a estar en casa a la puesta del sol" lleva a concluir que "Vamos a estar en casa a la puesta del sol". Demostrado por reglas de inferencia: Sea $p$ la proposición "Es soleado esto hoy", también la proposición $q$ "Está más frío que ayer", la proposición $r$ "Vamos a ir a nadar", la proposición $s$ "Vamos a tener una barbacoa" y la proposición $t$ "Vamos a estar en casa a la puesta del sol". Entonces las hipótesis se convierten en $\neg p\wedge q,r\rightarrow p,\neg r\rightarrow s$ y $s\rightarrow t$. Usando nuestra intuición conjeturamos que la conclusión podría ser $t$. Usando la tabla de las Reglas de Inferencia se puede probar la conjetura fácilmente:

Paso	Razón
1.$\neg p\wedge q$	Hipótesis
2. $\neg p$	Simplificación usando Paso 1
3. $r\rightarrow p$	Hipótesis
4. $\neg r$	Modus tollens usando el Paso 2 y 3
5. $\neg r\rightarrow s$	Hipótesis
6. $s$	Modus ponens usando el Paso 4 y 5
7. $s\rightarrow t$	Hipótesis
8. $t$	Modus ponens usando el Paso 6 y 7