![](https://static.filadd.com/files/f%23132382/html/external_resources/bg8.png)
Reglas de inferencia y deducciones
Modus Ponens: Nos autoriza a obtener como conclusión (Q) el consecuente de un
enunciado condicional cunado sabemos que el antecedente es el caso. Esto es por la
regla condicional
Si el antecedente es V, el consecuente es V.
Modus Tollens: Nos autoriza a obtener como conclusión (Q) el antecedente de un
enunciado condicional cuando sabemos que el consecuente es el caso. Esto es por la
regla condicional Si el antecedente es V, el consecuente es V.
Silogismo hipotético: Te permite concatenar enunciados condicionales.
Simplificación: Si entendemos la afirmación de una conjunción como la afirmación de su
verdad, quiere decir que ambos conjuntos son válidos.
Adjunción: Si dos premisas son verdaderas, su conjunción también lo es.
Silogismo disyuntivo: Una disyunción y negación de uno de los disyuntos. Si uno de los
disyuntos es falso, el otro no lo es. Esto es así por la regla de las disyunciones.
Instantación universal: Por regla de argumento universal, el argumento será válido
mientras todos y cada uno de los casos sea verdadero.
Pruebas indirectas (por absurdo): Se utiliza cuando otras estrategias son inviables. Parte
de suponer que aquello que se pretende probar no es el caso, y usarlo como un
supuesto provisional para arribar a una contradicción, usando las reglas de inferencia.
Este archivo fue descargado de https://filadd.com