Esta es una lista de reglas de inferencia , leyes lógicas que se relacionan con fórmulas matemáticas.
Introducción
Las reglas de inferencia son reglas de transformación sintáctica que se pueden utilizar 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 está completa, pero nunca se puede inferir una conclusión inválida si es sólida. Un conjunto de reglas sólido y completo no necesita incluir todas las reglas de la siguiente lista, ya que muchas de las reglas son redundantes y pueden probarse con las otras reglas.
Las reglas de descarga permiten inferir a partir de una subderivación basada en un supuesto temporal. A continuación, la notación
![{\displaystyle \varphi \vdash \psi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
indica tal subderivación del supuesto temporal a .![{\displaystyle \varphi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \psi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Reglas para el cálculo proposicional
Reglas para negaciones
- Reductio ad absurdum (o Introducción a la Negación )
![{\displaystyle \varphi \vdash \psi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\underline {\varphi \vdash \lnot \psi }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \lno \varphi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Reductio ad absurdum (relacionado con la ley del tercero excluido )
![{\displaystyle \lnot \varphi \vdash \psi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\underline {\lnot \varphi \vdash \lnot \psi }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varphi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Ex contradicción con el quodlibet
![{\displaystyle \varphi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\underline {\lnot \varphi }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \psi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Reglas para condicionales
- Teorema de deducción (o Introducción condicional )
![{\displaystyle {\underline {\varphi \vdash \psi }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varphi \rightarrow \psi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Modus ponens (o Eliminación Condicional )
![{\displaystyle \varphi \rightarrow \psi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\underline {\varphi \quad \quad \quad }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \psi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Modo de peaje
![{\displaystyle \varphi \rightarrow \psi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\underline {\lnot \psi \quad \quad \quad }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \lno \varphi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Reglas para conjunciones
- Adjunción (o Introducción a la Conjunción )
![{\displaystyle \varphi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\underline {\psi \quad \quad \ \ }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varphi \land \psi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Simplificación (o eliminación de conjunciones )
![{\displaystyle {\underline {\varphi \land \psi }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varphi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\underline {\varphi \land \psi }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \psi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Reglas para disyunciones
- Introducción a la adición (o disyunción )
![{\displaystyle {\underline {\varphi \quad \quad \ \ }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varphi \lor \psi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\underline {\psi \quad \quad \ \ }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varphi \lor \psi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Análisis de casos (o Prueba por Casos o Argumento por Casos o Eliminación de Disyunción )
![{\displaystyle \varphi \rightarrow \chi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \psi \rightarrow \chi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\underline {\varphi \lor \psi }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle\chi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Silogismo disyuntivo
![{\displaystyle \varphi \lor \psi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\underline {\lnot \varphi \quad \quad }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \psi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varphi \lor \psi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\underline {\lnot \psi \quad \quad }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varphi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Dilema constructivo
![{\displaystyle \varphi \rightarrow \chi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \psi \rightarrow \xi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\underline {\varphi \lor \psi }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \chi \lor \xi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Reglas para bicondicionales
- Introducción bicondicional
![{\displaystyle \varphi \rightarrow \psi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\underline {\psi \rightarrow \varphi }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varphi \leftrightarrow \psi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Eliminación bicondicional
![{\displaystyle \varphi \leftrightarrow \psi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\underline {\varphi \quad \quad }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \psi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varphi \leftrightarrow \psi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\underline {\psi \quad \quad }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varphi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varphi \leftrightarrow \psi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\underline {\lnot \varphi \quad \quad }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \lno \psi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varphi \leftrightarrow \psi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\underline {\lnot \psi \quad \quad }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \lno \varphi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varphi \leftrightarrow \psi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\underline {\psi \lor \varphi }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \psi \land \varphi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varphi \leftrightarrow \psi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\underline {\lnot \psi \lor \lnot \varphi }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \lnot \psi \land \lnot \varphi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Reglas del cálculo de predicados clásico
En las siguientes reglas, es exactamente igual excepto que tiene el término dondequiera que tenga la variable libre .![{\displaystyle \varphi (\beta /\alpha)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varphi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle\beta}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varphi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \alpha }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Generalización universal (o introducción universal )
![{\displaystyle {\underline {\varphi {(\beta /\alpha )}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \forall \alpha \,\varphi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Restricción 1: es una variable que no ocurre en .
Restricción 2: no se menciona en ninguna hipótesis o supuestos no descargados.![{\displaystyle\beta}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varphi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle\beta}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Creación de instancias universal (o eliminación universal )
![{\displaystyle \forall \alpha \,\varphi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\overline {\varphi {(\beta /\alpha )}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Restricción: Ninguna aparición libre de in cae dentro del alcance de un cuantificador que cuantifique una variable que ocurre en .![{\displaystyle \alpha }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varphi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle\beta}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Generalización existencial (o introducción existencial )
![{\displaystyle {\underline {\varphi (\beta /\alpha )}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \existe \alpha \,\varphi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Restricción: Ninguna aparición libre de in cae dentro del alcance de un cuantificador que cuantifique una variable que ocurre en .![{\displaystyle \alpha }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varphi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle\beta}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Instanciación existencial (o eliminación existencial )
![{\displaystyle \existe \alpha \,\varphi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\underline {\varphi (\beta /\alpha )\vdash \psi }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \psi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Restricción 1: es una variable que no ocurre en .
Restricción 2: No existe ninguna ocurrencia, libre o vinculada, de in .
Restricción 3: no se menciona en ninguna hipótesis o supuestos no descargados.![{\displaystyle\beta}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varphi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle\beta}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \psi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle\beta}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Reglas de la lógica subestructural.
Los siguientes son casos especiales de generalización universal y eliminación existencial; Estos ocurren en lógicas subestructurales, como la lógica lineal .
- Regla de debilitamiento (o monotonicidad de vinculación ) (también conocido como teorema de no clonación )
![{\displaystyle \alpha \vdash \beta }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\overline {\alpha ,\alpha \vdash \beta }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Regla de contracción (o idempotencia de vinculación ) (también conocido como teorema de no eliminación )
![{\displaystyle {\underline {\alpha ,\alpha ,\gamma \vdash \beta }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \alpha ,\gamma \vdash \beta }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
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 determinada.
Todas las reglas utilizan los operadores lógicos básicos. Una tabla de verdad muestra una tabla completa de "operadores lógicos" , que proporciona definiciones de todas las (16) funciones de verdad posibles de 2 variables booleanas ( p , q ):
donde T = verdadero y F = falso, y las columnas son los operadores lógicos :
- 0 , falso , contradicción ;
- 1 , NOR , NOR lógico ( flecha de Peirce );
- 2 , no implicación inversa ;
- 3 , ¬p , Negación ;
- 4 , No implicación material ;
- 5 , ¬q , Negación ;
- 6 , XOR , disyunción exclusiva ;
- 7 , NAND , NAND lógico ( trazo de Sheffer );
- 8 , Y , Conjunción lógica ;
- 9 , XNOR , si y sólo si , bicondicional lógico ;
- 10 , q , función de proyección ;
- 11 , si/entonces , material condicional ;
- 12 , p , función de proyección ;
- 13 , entonces/si, implicación inversa ;
- 14 , O , Disyunción lógica ;
- 15 , verdadero , Tautología .
Cada operador lógico se puede utilizar en una afirmación sobre variables y operaciones, mostrando una regla básica de inferencia. Ejemplos:
- El operador de la columna 14 (OR) muestra la regla de la suma : cuando p =T (la hipótesis selecciona las dos primeras líneas de la tabla), vemos (en la columna 14) que p ∨ q =T.
- Podemos ver también que, con la misma premisa, otras conclusiones son válidas: las columnas 12, 14 y 15 son T.
- El operador de la columna 8 (Y), muestra la regla de simplificación : cuando p ∧ q =T (primera línea de la tabla), vemos que p =T.
- Con esta premisa, también concluimos que q =T, p ∨ q =T, etc., como se muestra en las columnas 9 a 15.
- El operador de la columna 11 (SI/ENTONCES), muestra la regla del Modus ponens : cuando p → q =T yp = T 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, siempre que p → q sea verdadero y p sea verdadero, q también debe ser verdadero.
Las máquinas y las personas bien capacitadas utilizan este método de mirar tablas para hacer inferencias básicas y comprobar si se pueden obtener otras inferencias (para las mismas premisas).
Ejemplo 1
Considere las siguientes suposiciones: "Si llueve hoy, entonces no iremos en canoa hoy. Si no hacemos un viaje en canoa hoy, entonces iremos en canoa mañana. Por lo tanto (símbolo matemático de "por lo tanto" es ), si hoy llueve, mañana haremos un viaje en canoa". Para hacer uso de las reglas de inferencia de la tabla anterior, supongamos que la proposición "Si llueve hoy", "Hoy no iremos en canoa" y "Mañana haremos un viaje en canoa". Entonces este argumento es de la forma:![{\displaystyle \por lo tanto }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle p}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle r}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\begin{aligned}p\rightarrow q\\q\rightarrow r\\\por lo tanto {\overline {p\rightarrow r}}\\\end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ejemplo 2
Consideremos un conjunto más complejo de suposiciones: "Hoy no hace sol y hace más frío que ayer". "Iremos a nadar sólo si hace sol", "Si no vamos a nadar, haremos una barbacoa" y "Si vamos a hacer una barbacoa, estaremos en casa al atardecer" llevan a la conclusión " Estaremos en casa al atardecer". Prueba por reglas de inferencia: Sean la proposición "Hoy hace sol", la proposición "Hace más frío que ayer", la proposición "Iremos a nadar", la proposición "Haremos una barbacoa" y la proposición " Estaremos en casa al atardecer". Entonces las hipótesis se convierten en y . Usando nuestra intuición conjeturamos que la conclusión podría ser . Usando la tabla de Reglas de Inferencia podemos probar la conjetura fácilmente:![{\displaystyle p}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle r}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle s}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle t}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \neg p\wedge q,r\rightarrow p,\neg r\rightarrow s}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle s\rightarrow t}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle t}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ver también
Referencias
- ^ Kenneth H. Rosen: Matemáticas discretas y sus aplicaciones , quinta edición, p. 58.