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 |
---|
|
Lógica predicativa |
---|
|
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
![{\displaystyle \varphi \vdash \psi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae553fcf21b1130ce4af41d5dc2d4e6671239923)
indica dicha subderivación a partir del supuesto temporal
to
.
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)
![{\displaystyle \varphi \vdash \psi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae553fcf21b1130ce4af41d5dc2d4e6671239923)
![{\displaystyle {\underline {\varphi \vdash \lnot \psi }}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e4b894c29baed56356346eb501f4c44bf0b3f22b)
![{\displaystyle \lnot \varphi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc70d0c5351401c1dce766669f73a3c1bb54a5b3)
- Reductio ad absurdum (relacionada con el principio del tercero excluido)
![{\displaystyle \lnot \varphi \vdash \psi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e36e1421dabae4bc766f8e888afe6b8b80727f5)
![{\displaystyle {\underline {\lnot \varphi \vdash \lnot \psi }}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3400ee5d6e24e847ceaf364f7db251400bfffbc4)
![{\displaystyle \varphi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca38cae992cf33a25f380c941c0e3f34193704ad)
- No contradicción (o Negación de la eliminación)
![{\displaystyle \varphi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca38cae992cf33a25f380c941c0e3f34193704ad)
![{\displaystyle {\underline {\lnot \varphi }}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7fe09f355767045f6425f1943d2259fbca8742a2)
![{\displaystyle \psi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38353b935ec50c2f579b1cbad9ec1280247fefcf)
- Eliminación de la doble negación
![{\displaystyle {\underline {\lnot \lnot \varphi }}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ce68c967ffe013c9ae916ae2aa07c4fc9124c22)
![{\displaystyle \varphi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca38cae992cf33a25f380c941c0e3f34193704ad)
- Introducción de la doble negación
![{\displaystyle {\underline {\varphi \quad \quad }}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/74266c23d6787d0884ac3be0d87b3f75f9f72346)
![{\displaystyle \lnot \lnot \varphi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/13f082ac65375ead53136a9f1559194b0d464811)
Reglas para condicionales
- Teorema de la deducción (o Introducción del Condicional)
![{\displaystyle {\underline {\varphi \vdash \psi }}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0aae47eebc5376d4a8c7ce1235a55fff5d928cad)
![{\displaystyle \varphi \rightarrow \psi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6991f80c12810503343bfb9866d26904d6be2165)
- Modus ponens (o Eliminación del Condicional)
![{\displaystyle \varphi \rightarrow \psi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6991f80c12810503343bfb9866d26904d6be2165)
![{\displaystyle {\underline {\varphi \quad \quad \quad }}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0b5b4af47f4c2a2e216d6a4a5874329e5cc7db5)
![{\displaystyle \psi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38353b935ec50c2f579b1cbad9ec1280247fefcf)
- Modus tollens
![{\displaystyle \varphi \rightarrow \psi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6991f80c12810503343bfb9866d26904d6be2165)
![{\displaystyle {\underline {\lnot \psi \quad \quad \quad }}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e9c5e0cd4dabd7f3830d26ac3aae0a4abcb351b)
![{\displaystyle \lnot \varphi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc70d0c5351401c1dce766669f73a3c1bb54a5b3)
Reglas para conjunciones
- Adjunción (o Introducción de la Conjunción)
![{\displaystyle \varphi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca38cae992cf33a25f380c941c0e3f34193704ad)
![{\displaystyle {\underline {\psi \quad \quad \ \ }}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea80f24d9e0e6467168438b0f24fcd6631611d7e)
![{\displaystyle \varphi \land \psi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/254a7eda367564a084e5ac76e84fed5540eeeb1d)
- Simplificación (o Eliminación de la Conjunción)
![{\displaystyle {\underline {\varphi \land \psi }}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75da7fa8f6676416e954940c06b9132ac2d3aa3d)
![{\displaystyle \varphi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca38cae992cf33a25f380c941c0e3f34193704ad)
![{\displaystyle {\underline {\varphi \land \psi }}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75da7fa8f6676416e954940c06b9132ac2d3aa3d)
![{\displaystyle \psi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38353b935ec50c2f579b1cbad9ec1280247fefcf)
Reglas para disyunciones
- Adición (o Introducción de la Disyunción)
![{\displaystyle {\underline {\varphi \quad \quad \ \ }}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f3e2ae82ad98a3f104546c09111239ef9063a53c)
![{\displaystyle \varphi \lor \psi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68e992f21db478667db028e352d482b5243b0e5d)
![{\displaystyle {\underline {\psi \quad \quad \ \ }}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea80f24d9e0e6467168438b0f24fcd6631611d7e)
![{\displaystyle \varphi \lor \psi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68e992f21db478667db028e352d482b5243b0e5d)
- Análisis de casos
![{\displaystyle \varphi \lor \psi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68e992f21db478667db028e352d482b5243b0e5d)
![{\displaystyle \varphi \rightarrow \chi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc0264a59f69424d75c9c233ab3274e2f1c413c2)
![{\displaystyle {\underline {\psi \rightarrow \chi }}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3faedf3ea85dd4e0189434a4aec0d659b27bcd7b)
![{\displaystyle \chi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/406a401130ebdcf0327c094dbc44bec078413819)
- Silogismo disyuntivo
![{\displaystyle \varphi \lor \psi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68e992f21db478667db028e352d482b5243b0e5d)
![{\displaystyle {\underline {\lnot \varphi \quad \quad }}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c37d37a61b2b56895c91db4febff0b753daacf9)
![{\displaystyle \psi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38353b935ec50c2f579b1cbad9ec1280247fefcf)
![{\displaystyle \varphi \lor \psi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68e992f21db478667db028e352d482b5243b0e5d)
![{\displaystyle {\underline {\lnot \psi \quad \quad }}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b8e65ffe0618ddc2e13c78fab21ce53d851c7c8)
![{\displaystyle \varphi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca38cae992cf33a25f380c941c0e3f34193704ad)
Reglas para bicondicionales
- Introducción del bicondicional
![{\displaystyle \varphi \rightarrow \psi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6991f80c12810503343bfb9866d26904d6be2165)
![{\displaystyle {\underline {\psi \rightarrow \varphi }}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4856ebdb60efa59305d493668271561cdbafe9dc)
![{\displaystyle \varphi \leftrightarrow \psi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7cef34db0bb60735c85f71b995ce447c17639fb1)
- Eliminación del bicondicional
![{\displaystyle \varphi \leftrightarrow \psi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7cef34db0bb60735c85f71b995ce447c17639fb1)
![{\displaystyle {\underline {\varphi \quad \quad }}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/74266c23d6787d0884ac3be0d87b3f75f9f72346)
![{\displaystyle \psi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38353b935ec50c2f579b1cbad9ec1280247fefcf)
![{\displaystyle \varphi \leftrightarrow \psi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7cef34db0bb60735c85f71b995ce447c17639fb1)
![{\displaystyle {\underline {\psi \quad \quad }}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0698af74efb853cbc465f389dd254568fb235584)
![{\displaystyle \varphi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca38cae992cf33a25f380c941c0e3f34193704ad)
![{\displaystyle \varphi \leftrightarrow \psi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7cef34db0bb60735c85f71b995ce447c17639fb1)
![{\displaystyle {\underline {\lnot \varphi \quad \quad }}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c37d37a61b2b56895c91db4febff0b753daacf9)
![{\displaystyle \lnot \psi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f8975bde787489dde557e44467a01110d45feb2)
![{\displaystyle \varphi \leftrightarrow \psi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7cef34db0bb60735c85f71b995ce447c17639fb1)
![{\displaystyle {\underline {\lnot \psi \quad \quad }}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b8e65ffe0618ddc2e13c78fab21ce53d851c7c8)
![{\displaystyle \lnot \varphi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc70d0c5351401c1dce766669f73a3c1bb54a5b3)
![{\displaystyle \varphi \leftrightarrow \psi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7cef34db0bb60735c85f71b995ce447c17639fb1)
![{\displaystyle {\underline {\psi \lor \varphi }}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7004f304a6dbc7b52b86288693ff525938e14260)
![{\displaystyle \psi \land \varphi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e954308bd0b9159931ad788ca52ded4c5c35275)
![{\displaystyle \varphi \leftrightarrow \psi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7cef34db0bb60735c85f71b995ce447c17639fb1)
![{\displaystyle {\underline {\lnot \psi \lor \lnot \varphi }}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1110b6e62db372e304f6ec2c981c576a5743c079)
![{\displaystyle \lnot \psi \land \lnot \varphi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2fdd6b98fe65f948486f7e4d13ea784eef6d43b)
En las siguientes reglas,
es exactamente igual que
excepto por tener el término
en todas partes
tiene la variable libre
.
- Generalización Universal (o Introducción Universal)
![{\displaystyle {\underline {\varphi {(\beta /\alpha )}}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/24ded2424b14412450914be5b3d3336e9202f268)
![{\displaystyle \forall \alpha \,\varphi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/13fb906bb0986fb26843aed9b41c52c7889e0838)
Restricción 1:
es una variable que no ocurre en
.
Restricción 2:
no se menciona en ninguna hipótesis ni suposiciones no rehabilitadas.
- Instanciación Universal (o Eliminación Universal)
![{\displaystyle \forall \alpha \,\varphi \!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f672685380de9b2c423841fe4db9da5cca4fa0fe)
![{\displaystyle {\overline {\varphi {(\beta /\alpha )}}}\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/98692aac17e37cb346db221dc7b57189a5d1a599)
Restricción: No hay ocurrencia libre de
in
cae dentro del alcance de un cuantificador cuantificar una variable que ocurre en
.
- Generalización Existencial (o Introducción Existential)
![{\displaystyle {\underline {\varphi (\beta /\alpha )}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2bcb3e1ff18348dedad2e4a2f1abc04ee6a46cc0)
![{\displaystyle \exists \alpha \,\varphi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ec39e0785eab8060113722d654f03a26f70def9)
- Instanciación Existencial (o Eliminación Existential)
![{\displaystyle \exists \alpha \,\varphi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ec39e0785eab8060113722d654f03a26f70def9)
![{\displaystyle {\underline {\varphi (\beta /\alpha )\vdash \psi }}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3391285034a4060b83b5504043951e2ede2a998)
![{\displaystyle \psi \,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38353b935ec50c2f579b1cbad9ec1280247fefcf)
Restricción 1:
es una variable que no ocurre en
.
Restricción 2: No hay ocurrencia, libre o unida, de
in
.
Restricción 3:
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.[1] La columna "Tautología" muestra cómo interpretar la notación de una regla dada.
Regla de inferencia | Tautología | Nombre |
| | Modus ponens |
| | Modus tollens |
| | Asociativas |
| | Conmutativa |
| | Ley de proposiciones bicondicionales |
| | Exportación |
| | Transposición o ley del contrarrecíproco |
| | Silogismo hipotético |
| | Implicación material |
| | Distributiva |
| | Absorción |
| | Silogismo disyuntivo |
| | Adición |
| | Adjunción |
| | Simplificación |
| | Conjunción |
| | Doble negación |
| | Simplificación disyuntiva |
| | 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
), 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",
sea "No vamos a entrar en una canoa hoy" y sea
"Vamos a ir en un viaje en canoa de mañana". Entonces este argumento es de la forma:
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
la proposición "Es soleado esto hoy", también la proposición
"Está más frío que ayer", la proposición
"Vamos a ir a nadar", la proposición
"Vamos a tener una barbacoa" y la proposición
"Vamos a estar en casa a la puesta del sol". Entonces las hipótesis se convierten en
y
. Usando nuestra intuición conjeturamos que la conclusión podría ser
. Usando la tabla de las Reglas de Inferencia se puede probar la conjetura fácilmente:
Paso | Razón |
1. | Hipótesis |
2. | Simplificación usando Paso 1 |
3. | Hipótesis |
4. | Modus tollens usando el Paso 2 y 3 |
5. | Hipótesis |
6. | Modus ponens usando el Paso 4 y 5 |
7. | Hipótesis |
8. | Modus ponens usando el Paso 6 y 7 |
Referencias
- ↑ Kenneth H. Rosen: Discrete Mathematics and its Applications,5.ª edición, p. 58.
Enlaces externos
Esta obra contiene una traducción derivada de «List of rules of inference» de Wikipedia en inglés, concretamente de esta versión, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional.